Search (405 results, page 1 of 21)

0.1449133 = product of:
  0.2898266 = sum of:
    0.07245665 = product of:
      0.21736994 = sum of:
        0.21736994 = weight(_text_:3a in 5955) [ClassicSimilarity], result of:
          0.21736994 = score(doc=5955,freq=2.0), product of:
            0.33151442 = queryWeight, product of:
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.039102852 = queryNorm
            0.65568775 = fieldWeight in 5955, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.0546875 = fieldNorm(doc=5955)
      0.33333334 = coord(1/3)
    0.21736994 = weight(_text_:2f in 5955) [ClassicSimilarity], result of:
      0.21736994 = score(doc=5955,freq=2.0), product of:
        0.33151442 = queryWeight, product of:
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.039102852 = queryNorm
        0.65568775 = fieldWeight in 5955, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.0546875 = fieldNorm(doc=5955)
  0.5 = coord(2/4)

Footnote

Rez. in: Philosophisch-ethische Rezensionen vom 09.11.2019 (Jürgen Czogalla), Unter: https://philosophisch-ethische-rezensionen.de/rezension/Goedert1.html. In: B.I.T. online 23(2020) H.3, S.345-347 (W. Sühl-Strohmenger) [Unter: https%3A%2F%2Fwww.b-i-t-online.de%2Fheft%2F2020-03-rezensionen.pdf&usg=AOvVaw0iY3f_zNcvEjeZ6inHVnOK]. In: Open Password Nr. 805 vom 14.08.2020 (H.-C. Hobohm) [Unter: https://www.password-online.de/?mailpoet_router&endpoint=view_in_browser&action=view&data=WzE0MywiOGI3NjZkZmNkZjQ1IiwwLDAsMTMxLDFd].

0.08297182 = product of:
  0.16594364 = sum of:
    0.1571138 = weight(_text_:logic in 3100) [ClassicSimilarity], result of:
      0.1571138 = score(doc=3100,freq=8.0), product of:
        0.2358082 = queryWeight, product of:
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.039102852 = queryNorm
        0.666278 = fieldWeight in 3100, product of:
          2.828427 = tf(freq=8.0), with freq of:
            8.0 = termFreq=8.0
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.0390625 = fieldNorm(doc=3100)
    0.008829828 = product of:
      0.026489483 = sum of:
        0.026489483 = weight(_text_:22 in 3100) [ClassicSimilarity], result of:
          0.026489483 = score(doc=3100,freq=2.0), product of:
            0.13693152 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.039102852 = queryNorm
            0.19345059 = fieldWeight in 3100, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.0390625 = fieldNorm(doc=3100)
      0.33333334 = coord(1/3)
  0.5 = coord(2/4)

Abstract

This book is an essay on the epistemology of classifications. Its main purpose is not to provide an exposition of an actual mathematical theory of classifications, that is, a general theory which would be available to any kind of them: hierarchical or non-hierarchical, ordinary or fuzzy, overlapping or not overlapping, finite or infinite, and so on, establishing a basis for all possible divisions of the real world. For the moment, such a theory remains nothing but a dream. Instead, the authors are essentially put forward a number of key questions. Their aim is rather to reveal the "state of art" of this dynamic field and the philosophy one may eventually adopt to go further. To this end they present some advances made in the course of the last century, discuss a few tricky problems that remain to be solved, and show the avenues open to those who no longer wish to stay on the wrong track. Researchers and professionals interested in the epistemology and philosophy of science, library science, logic and set theory, order theory or cluster analysis will find this book a comprehensive, original and progressive introduction to the main questions in this field.

Date

8. 9.2016 22:04:09

LCSH

Logic, Symbolic and mathematical

Series

Studies in universal logic

Subject

Logic, Symbolic and mathematical

0.08078324 = product of:
  0.16156648 = sum of:
    0.051586814 = product of:
      0.15476044 = sum of:
        0.15476044 = weight(_text_:bliss in 164) [ClassicSimilarity], result of:
          0.15476044 = score(doc=164,freq=2.0), product of:
            0.27972588 = queryWeight, product of:
              7.1535926 = idf(docFreq=93, maxDocs=44218)
              0.039102852 = queryNorm
            0.55325747 = fieldWeight in 164, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              7.1535926 = idf(docFreq=93, maxDocs=44218)
              0.0546875 = fieldNorm(doc=164)
      0.33333334 = coord(1/3)
    0.10997967 = weight(_text_:logic in 164) [ClassicSimilarity], result of:
      0.10997967 = score(doc=164,freq=2.0), product of:
        0.2358082 = queryWeight, product of:
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.039102852 = queryNorm
        0.4663946 = fieldWeight in 164, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.0546875 = fieldNorm(doc=164)
  0.5 = coord(2/4)

0.06284553 = product of:
  0.2513821 = sum of:
    0.2513821 = weight(_text_:logic in 1815) [ClassicSimilarity], result of:
      0.2513821 = score(doc=1815,freq=2.0), product of:
        0.2358082 = queryWeight, product of:
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.039102852 = queryNorm
        1.0660448 = fieldWeight in 1815, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.125 = fieldNorm(doc=1815)
  0.25 = coord(1/4)

0.054989833 = product of:
  0.21995933 = sum of:
    0.21995933 = weight(_text_:logic in 3715) [ClassicSimilarity], result of:
      0.21995933 = score(doc=3715,freq=2.0), product of:
        0.2358082 = queryWeight, product of:
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.039102852 = queryNorm
        0.9327892 = fieldWeight in 3715, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.109375 = fieldNorm(doc=3715)
  0.25 = coord(1/4)

0.054425824 = product of:
  0.2177033 = sum of:
    0.2177033 = weight(_text_:logic in 3924) [ClassicSimilarity], result of:
      0.2177033 = score(doc=3924,freq=6.0), product of:
        0.2358082 = queryWeight, product of:
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.039102852 = queryNorm
        0.92322195 = fieldWeight in 3924, product of:
          2.4494898 = tf(freq=6.0), with freq of:
            6.0 = termFreq=6.0
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.0625 = fieldNorm(doc=3924)
  0.25 = coord(1/4)

Abstract

Many results in fuzzy logic depend on the mathematical structure the truth value set obeys. In this textbook the algebraic foundations of many-valued and fuzzy reasoning are introduced. The book is self-contained, thus nor previous knowledge in algebra or in logic is required. It contains 134 exercises with complete answers, and can therefore be used as teaching material at universities

0.047134142 = product of:
  0.18853657 = sum of:
    0.18853657 = weight(_text_:logic in 3472) [ClassicSimilarity], result of:
      0.18853657 = score(doc=3472,freq=2.0), product of:
        0.2358082 = queryWeight, product of:
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.039102852 = queryNorm
        0.7995336 = fieldWeight in 3472, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.09375 = fieldNorm(doc=3472)
  0.25 = coord(1/4)

0.047134142 = product of:
  0.18853657 = sum of:
    0.18853657 = weight(_text_:logic in 3838) [ClassicSimilarity], result of:
      0.18853657 = score(doc=3838,freq=2.0), product of:
        0.2358082 = queryWeight, product of:
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.039102852 = queryNorm
        0.7995336 = fieldWeight in 3838, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.09375 = fieldNorm(doc=3838)
  0.25 = coord(1/4)

0.04467549 = product of:
  0.17870197 = sum of:
    0.17870197 = product of:
      0.5361059 = sum of:
        0.5361059 = weight(_text_:bliss in 3398) [ClassicSimilarity], result of:
          0.5361059 = score(doc=3398,freq=6.0), product of:
            0.27972588 = queryWeight, product of:
              7.1535926 = idf(docFreq=93, maxDocs=44218)
              0.039102852 = queryNorm
            1.91654 = fieldWeight in 3398, product of:
              2.4494898 = tf(freq=6.0), with freq of:
                6.0 = termFreq=6.0
              7.1535926 = idf(docFreq=93, maxDocs=44218)
              0.109375 = fieldNorm(doc=3398)
      0.33333334 = coord(1/3)
  0.25 = coord(1/4)

Issue

Rev. for school libraries by the Bliss Classification Working Party.

0.0444385 = product of:
  0.177754 = sum of:
    0.177754 = weight(_text_:logic in 971) [ClassicSimilarity], result of:
      0.177754 = score(doc=971,freq=4.0), product of:
        0.2358082 = queryWeight, product of:
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.039102852 = queryNorm
        0.75380754 = fieldWeight in 971, product of:
          2.0 = tf(freq=4.0), with freq of:
            4.0 = termFreq=4.0
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.0625 = fieldNorm(doc=971)
  0.25 = coord(1/4)

Abstract

The book describes a new truth table logic with built-in probabilities. The IF THEN statement is interpreted as the specification of the value of a condition as probability. No 'predicate calculus' is needed in this logic which gives always the results expected according to natural language reasoning used in mathematics and the exact sciences

0.040819366 = product of:
  0.16327746 = sum of:
    0.16327746 = weight(_text_:logic in 691) [ClassicSimilarity], result of:
      0.16327746 = score(doc=691,freq=24.0), product of:
        0.2358082 = queryWeight, product of:
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.039102852 = queryNorm
        0.6924164 = fieldWeight in 691, product of:
          4.8989797 = tf(freq=24.0), with freq of:
            24.0 = termFreq=24.0
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.0234375 = fieldNorm(doc=691)
  0.25 = coord(1/4)

Abstract

Computer scientists create models of a perceived reality. Through AI techniques, these models aim at providing the basic support for emulating cognitive behavior such as reasoning and learning, which is one of the main goals of the Al research effort. Such computer models are formed through the interaction of various acquisition and inference mechanisms: perception, concept learning, conceptual clustering, hypothesis testing, probabilistic inference, etc., and are represented using different paradigms tightly linked to the processes that use them. Among these paradigms let us cite: biological models (neural nets, genetic programming), logic-based models (first-order logic, modal logic, rule-based systems), virtual reality models (object systems, agent systems), probabilistic models (Bayesian nets, fuzzy logic), linguistic models (conceptual dependency graphs, language-based rep resentations), etc. One of the strengths of the Conceptual Graph (CG) theory is its versatility in terms of the representation paradigms under which it falls. It can be viewed and therefore used, under different representation paradigms, which makes it a popular choice for a wealth of applications. Its full coupling with different cognitive processes lead to the opening of the field toward related research communities such as the Description Logic, Formal Concept Analysis, and Computational Linguistic communities. We now see more and more research results from one community enrich the other, laying the foundations of common philosophical grounds from which a successful synergy can emerge. ICCS 2000 embodies this spirit of research collaboration. It presents a set of papers that we believe, by their exposure, will benefit the whole community. For instance, the technical program proposes tracks on Conceptual Ontologies, Language, Formal Concept Analysis, Computational Aspects of Conceptual Structures, and Formal Semantics, with some papers on pragmatism and human related aspects of computing. Never before was the program of ICCS formed by so heterogeneously rooted theories of knowledge representation and use. We hope that this swirl of ideas will benefit you as much as it already has benefited us while putting together this program

Content

Concepts and Language: The Role of Conceptual Structure in Human Evolution (Keith Devlin) - Concepts in Linguistics - Concepts in Natural Language (Gisela Harras) - Patterns, Schemata, and Types: Author Support through Formalized Experience (Felix H. Gatzemeier) - Conventions and Notations for Knowledge Representation and Retrieval (Philippe Martin) - Conceptual Ontology: Ontology, Metadata, and Semiotics (John F. Sowa) - Pragmatically Yours (Mary Keeler) - Conceptual Modeling for Distributed Ontology Environments (Deborah L. McGuinness) - Discovery of Class Relations in Exception Structured Knowledge Bases (Hendra Suryanto, Paul Compton) - Conceptual Graphs: Perspectives: CGs Applications: Where Are We 7 Years after the First ICCS ? (Michel Chein, David Genest) - The Engineering of a CC-Based System: Fundamental Issues (Guy W. Mineau) - Conceptual Graphs, Metamodeling, and Notation of Concepts (Olivier Gerbé, Guy W. Mineau, Rudolf K. Keller) - Knowledge Representation and Reasonings: Based on Graph Homomorphism (Marie-Laure Mugnier) - User Modeling Using Conceptual Graphs for Intelligent Agents (James F. Baldwin, Trevor P. Martin, Aimilia Tzanavari) - Towards a Unified Querying System of Both Structured and Semi-structured Imprecise Data Using Fuzzy View (Patrice Buche, Ollivier Haemmerlé) - Formal Semantics of Conceptual Structures: The Extensional Semantics of the Conceptual Graph Formalism (Guy W. Mineau) - Semantics of Attribute Relations in Conceptual Graphs (Pavel Kocura) - Nested Concept Graphs and Triadic Power Context Families (Susanne Prediger) - Negations in Simple Concept Graphs (Frithjof Dau) - Extending the CG Model by Simulations (Jean-François Baget) - Contextual Logic and Formal Concept Analysis: Building and Structuring Description Logic Knowledge Bases: Using Least Common Subsumers and Concept Analysis (Franz Baader, Ralf Molitor) - On the Contextual Logic of Ordinal Data (Silke Pollandt, Rudolf Wille) - Boolean Concept Logic (Rudolf Wille) - Lattices of Triadic Concept Graphs (Bernd Groh, Rudolf Wille) - Formalizing Hypotheses with Concepts (Bernhard Ganter, Sergei 0. Kuznetsov) - Generalized Formal Concept Analysis (Laurent Chaudron, Nicolas Maille) - A Logical Generalization of Formal Concept Analysis (Sébastien Ferré, Olivier Ridoux) - On the Treatment of Incomplete Knowledge in Formal Concept Analysis (Peter Burmeister, Richard Holzer) - Conceptual Structures in Practice: Logic-Based Networks: Concept Graphs and Conceptual Structures (Peter W. Eklund) - Conceptual Knowledge Discovery and Data Analysis (Joachim Hereth, Gerd Stumme, Rudolf Wille, Uta Wille) - CEM - A Conceptual Email Manager (Richard Cole, Gerd Stumme) - A Contextual-Logic Extension of TOSCANA (Peter Eklund, Bernd Groh, Gerd Stumme, Rudolf Wille) - A Conceptual Graph Model for W3C Resource Description Framework (Olivier Corby, Rose Dieng, Cédric Hébert) - Computational Aspects of Conceptual Structures: Computing with Conceptual Structures (Bernhard Ganter) - Symmetry and the Computation of Conceptual Structures (Robert Levinson) An Introduction to SNePS 3 (Stuart C. Shapiro) - Composition Norm Dynamics Calculation with Conceptual Graphs (Aldo de Moor) - From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language (Adil Kabbaj, Martin Janta-Polczynski) - A Cost-Bounded Algorithm to Control Events Generalization (Gaël de Chalendar, Brigitte Grau, Olivier Ferret)

0.03927845 = product of:
  0.1571138 = sum of:
    0.1571138 = weight(_text_:logic in 3934) [ClassicSimilarity], result of:
      0.1571138 = score(doc=3934,freq=8.0), product of:
        0.2358082 = queryWeight, product of:
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.039102852 = queryNorm
        0.666278 = fieldWeight in 3934, product of:
          2.828427 = tf(freq=8.0), with freq of:
            8.0 = termFreq=8.0
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.0390625 = fieldNorm(doc=3934)
  0.25 = coord(1/4)

LCSH

Mathematical logic
Mathematical Logic and Formal Languages

Subject

Mathematical logic
Mathematical Logic and Formal Languages

0.038995963 = product of:
  0.15598385 = sum of:
    0.15598385 = product of:
      0.46795154 = sum of:
        0.46795154 = weight(_text_:bliss in 821) [ClassicSimilarity], result of:
          0.46795154 = score(doc=821,freq=14.0), product of:
            0.27972588 = queryWeight, product of:
              7.1535926 = idf(docFreq=93, maxDocs=44218)
              0.039102852 = queryNorm
            1.6728933 = fieldWeight in 821, product of:
              3.7416575 = tf(freq=14.0), with freq of:
                14.0 = termFreq=14.0
              7.1535926 = idf(docFreq=93, maxDocs=44218)
              0.0625 = fieldNorm(doc=821)
      0.33333334 = coord(1/3)
  0.25 = coord(1/4)

LCSH

Bliss Bibliographic classification

PRECIS

Documents / Subject classification schemes: Bliss, Henry Evelyn / Bliss bibliographic classification / Texts

Subject

Bliss Bibliographic classification
Documents / Subject classification schemes: Bliss, Henry Evelyn / Bliss bibliographic classification / Texts

0.038883686 = product of:
  0.15553474 = sum of:
    0.15553474 = weight(_text_:logic in 3360) [ClassicSimilarity], result of:
      0.15553474 = score(doc=3360,freq=4.0), product of:
        0.2358082 = queryWeight, product of:
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.039102852 = queryNorm
        0.6595816 = fieldWeight in 3360, product of:
          2.0 = tf(freq=4.0), with freq of:
            4.0 = termFreq=4.0
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.0546875 = fieldNorm(doc=3360)
  0.25 = coord(1/4)

Abstract

Blickt man aus der Perspektive der Gegenwart auf Peirce's 'Pragmatizismus' zurück, so möchte man in ihm vor allem das Umrißprogramm einer 'Logic of Science' von morgen sehen. Es versteht sich von selbst, daß die inzwischen von der analytischen Philosophie mit Hilfe der mathematischen Logik entwickelte Wissenschaftslogik in den technicalities weit über Peirce hinausgekommen ist. Ebenso gewiß scheint jedoch, daß der zweidimensionale (syntaktisch-semantische) Grundansatz, den die moderne 'Logic of Science' dem metaphysisch-antimetaphysischen Programm des Logischen Empirismus verdankt, dem dreidimensionalen semiotischen Ansatz von Peirce prinzipiell unterlegen ist

0.038883686 = product of:
  0.15553474 = sum of:
    0.15553474 = weight(_text_:logic in 4498) [ClassicSimilarity], result of:
      0.15553474 = score(doc=4498,freq=4.0), product of:
        0.2358082 = queryWeight, product of:
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.039102852 = queryNorm
        0.6595816 = fieldWeight in 4498, product of:
          2.0 = tf(freq=4.0), with freq of:
            4.0 = termFreq=4.0
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.0546875 = fieldNorm(doc=4498)
  0.25 = coord(1/4)

LCSH

Logic, Symbolic and mathematical

Subject

Logic, Symbolic and mathematical

0.03684772 = product of:
  0.14739089 = sum of:
    0.14739089 = product of:
      0.44217265 = sum of:
        0.44217265 = weight(_text_:bliss in 1722) [ClassicSimilarity], result of:
          0.44217265 = score(doc=1722,freq=2.0), product of:
            0.27972588 = queryWeight, product of:
              7.1535926 = idf(docFreq=93, maxDocs=44218)
              0.039102852 = queryNorm
            1.5807356 = fieldWeight in 1722, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              7.1535926 = idf(docFreq=93, maxDocs=44218)
              0.15625 = fieldNorm(doc=1722)
      0.33333334 = coord(1/3)
  0.25 = coord(1/4)

0.03401614 = product of:
  0.13606456 = sum of:
    0.13606456 = weight(_text_:logic in 5715) [ClassicSimilarity], result of:
      0.13606456 = score(doc=5715,freq=6.0), product of:
        0.2358082 = queryWeight, product of:
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.039102852 = queryNorm
        0.57701373 = fieldWeight in 5715, product of:
          2.4494898 = tf(freq=6.0), with freq of:
            6.0 = termFreq=6.0
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.0390625 = fieldNorm(doc=5715)
  0.25 = coord(1/4)

Abstract

Luciano Floridi presents an innovative approach to philosophy, conceived as conceptual design. He explores how we make, transform, refine, and improve the objects of our knowledge. His starting point is that reality provides the data, to be understood as constraining affordances, and we transform them into information, like semantic engines. Such transformation or repurposing is not equivalent to portraying, or picturing, or photographing, or photocopying anything. It is more like cooking: the dish does not represent the ingredients, it uses them to make something else out of them, yet the reality of the dish and its properties hugely depend on the reality and the properties of the ingredients. Models are not representations understood as pictures, but interpretations understood as data elaborations, of systems. Thus, Luciano Floridi articulates and defends the thesis that knowledge is design and philosophy is the ultimate form of conceptual design. Although entirely independent of Floridi's previous books, The Philosophy of Information (OUP 2011) and The Ethics of Information (OUP 2013), The Logic of Information both complements the existing volumes and presents new work on the foundations of the philosophy of information.

Content

Vgl. auch das 'Buch-Symposium': unter: Gorichanaz, T., J. Furner u. L. Ma u.a.: Information and design: book symposium on Luciano Floridi's The Logic of Information. In: Journal of documentation. 76(2020) no.2, S.586-616.

0.033674262 = product of:
  0.13469705 = sum of:
    0.13469705 = weight(_text_:logic in 1782) [ClassicSimilarity], result of:
      0.13469705 = score(doc=1782,freq=12.0), product of:
        0.2358082 = queryWeight, product of:
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.039102852 = queryNorm
        0.57121444 = fieldWeight in 1782, product of:
          3.4641016 = tf(freq=12.0), with freq of:
            12.0 = termFreq=12.0
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.02734375 = fieldNorm(doc=1782)
  0.25 = coord(1/4)

Abstract

Logic and the Organization of Information closely examines the historical and contemporary methodologies used to catalogue information objects-books, ebooks, journals, articles, web pages, images, emails, podcasts and more-in the digital era. This book provides an in-depth technical background for digital librarianship, and covers a broad range of theoretical and practical topics including: classification theory, topic annotation, automatic clustering, generalized synonymy and concept indexing, distributed libraries, semantic web ontologies and Simple Knowledge Organization System (SKOS). It also analyzes the challenges facing today's information architects, and outlines a series of techniques for overcoming them. Logic and the Organization of Information is intended for practitioners and professionals working at a design level as a reference book for digital librarianship. Advanced-level students, researchers and academics studying information science, library science, digital libraries and computer science will also find this book invaluable.

Footnote

Rez. in: J. Doc. 70(2014) no.4: "Books on the organization of information and knowledge, aimed at a library/information audience, tend to fall into two clear categories. Most are practical and pragmatic, explaining the "how" as much or more than the "why". Some are theoretical, in part or in whole, showing how the practice of classification, indexing, resource description and the like relates to philosophy, logic, and other foundational bases; the books by Langridge (1992) and by Svenonious (2000) are well-known examples this latter kind. To this category certainly belongs a recent book by Martin Frické (2012). The author takes the reader for an extended tour through a variety of aspects of information organization, including classification and taxonomy, alphabetical vocabularies and indexing, cataloguing and FRBR, and aspects of the semantic web. The emphasis throughout is on showing how practice is, or should be, underpinned by formal structures; there is a particular emphasis on first order predicate calculus. The advantages of a greater, and more explicit, use of symbolic logic is a recurring theme of the book. There is a particularly commendable historical dimension, often omitted in texts on this subject. It cannot be said that this book is entirely an easy read, although it is well written with a helpful index, and its arguments are generally well supported by clear and relevant examples. It is thorough and detailed, but thereby seems better geared to the needs of advanced students and researchers than to the practitioners who are suggested as a main market. For graduate students in library/information science and related disciplines, in particular, this will be a valuable resource. I would place it alongside Svenonious' book as the best insight into the theoretical "why" of information organization. It has evoked a good deal of interest, including a set of essay commentaries in Journal of Information Science (Gilchrist et al., 2013). Introducing these, Alan Gilchrist rightly says that Frické deserves a salute for making explicit the fundamental relationship between the ancient discipline of logic and modern information organization. If information science is to continue to develop, and make a contribution to the organization of the information environments of the future, then this book sets the groundwork for the kind of studies which will be needed." (D. Bawden)

0.031422764 = product of:
  0.12569106 = sum of:
    0.12569106 = weight(_text_:logic in 972) [ClassicSimilarity], result of:
      0.12569106 = score(doc=972,freq=2.0), product of:
        0.2358082 = queryWeight, product of:
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.039102852 = queryNorm
        0.5330224 = fieldWeight in 972, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.0625 = fieldNorm(doc=972)
  0.25 = coord(1/4)

Abstract

Cognition and Artificial Intelligence are entering a new area where the aspects of symbolic manipulation and of connectionism begin to come together. This leads to a dialogue of truly interdisciplinary character. The book covers aspects of Fuzzy Logics, Case Based Reasoning, Learning as well as Meaning, Language, Consciousness. The authors of this topical volume have their background respectively in logic, computer science, physics and mathematics, philosophy, psychology and neurology

0.031422764 = product of:
  0.12569106 = sum of:
    0.12569106 = weight(_text_:logic in 5459) [ClassicSimilarity], result of:
      0.12569106 = score(doc=5459,freq=2.0), product of:
        0.2358082 = queryWeight, product of:
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.039102852 = queryNorm
        0.5330224 = fieldWeight in 5459, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.0304604 = idf(docFreq=288, maxDocs=44218)
          0.0625 = fieldNorm(doc=5459)
  0.25 = coord(1/4)

Content

Inhalt: 1. Introduction; 2. On sets and kinds for IR; 3. Vector and Hilbert spaces; 4. Linear transformations, operators and matrices; 5. Conditional logic in IR; 6. The geometry of IR.