An introduction to nonclassical logic this revised and considerably expanded edition of an introduction to nonclassical logic brings together a wide range of topics, including modal, tense, conditional, intuitionist, manyvalued, paraconsistent, relevant and fuzzy logics. Pdf information retrieval is a nonmonotonic reasoning activity. In a logical ir model1, the information content of a document is represented by a. An introduction to non classical logic from if to is second edition graham priest university of melbourne and university of st andrews. A nonclassical logic for information retrieval springerlink. A manual of intentional logic, university of chicago press 1985. Nonclassical logic an overview sciencedirect topics. Boole, 1854 information computational retrieval based on stored program electronic computers has been an.
An information retrieval model based on modal logic. Firstly, information has played a role in providing a basis for certain accounts of logic. Another standard model is the vector space model, described by salton et al. It gives the reader an introduction to a vast range of non classical logics. A study of smoothing methods for language models applied to. Its one of the most if not the most readable introductions to modal logic. The results have not been widely reported due to the computational complexity of the model crestani95. Variations on language modeling for information retrieval. Of soundness and completeness, for each of the logics described in the first edition of priest, an introduction to non classical logic 3. Mar 12, 2001 part 1, on propositional logic, is the old introduction, but contains much new material.
It introduces the formalisms used in logical models for information retrieval, shows the use of logic to build the models, and presents a brief overview of some of the current logical models in information retrieval. In this book, the author, one of the leading researchers. List of issues journal of applied nonclassical logics. Sierocinski, thomas theret, nathalie and petritis, dimitri 2008. Pages in category non classical logic the following 47 pages are in this category, out of 47 total. Using default logic in information retrieval springerlink. The computer journal 29, 6 the return of the trivial formalizing collectionitem metadata relationships allen h.
Priests introduction to nonclassical logic is my textbook of choice for introducing nonclassical logic to undergraduates. A model of information retrieval based on a terminological logic towards a probabilistic modal logic for semanticbased information retrieval 1980 a logic for default reasoning a nonclassical. An application of plausible reasoning to information retrieval. Logical model of information retrieval based on propositional logic.
Non classical logics play a prominent role in many areas of philosophy. Investigating aboutness axioms using information fields. The geometry of information retrieval information retrieval, ir, is the science of extracting information from documents. The paper motivates the use of a particular conditional logic as the right logic for ir. It is extended to allow conditioning based on evidence derived from the passage of experience which may be nonpropositional in nature. He has been active in information retrieval research since 1969, covering both theoretical and experimental aspects. The wellknown probabilistic model for information retrieval based on bayesian conditioning of probability functions is examined. It is unique in meeting two almost inconsistent aims. Other alternative models of information retrieval include. Logical developments from aristotle to the computer.
In studies in logic and the foundations of mathematics, 2007. Language models and uncertain inference in information retrieval. A non classical logic for information retrieval, the computer journal, 296. An example is giv en in classical logic where inference is often asso ciated with lo gic al implic ation. On the role of logic in information retrieval, information processing and management 34, 1. Information retrieval by logical imaging citeseerx. Computability logic is a semantically constructed formal theory of computabilityas opposed to classical logic, which is a formal theory of truthintegrates and extends classical, linear and intuitionistic logics.
Proceedings of the 21st annual international acm sigir conference on research and development in information retrieval, pages. Logic and uncertainty in information retrieval citeseerx. Information retrieval and situation theory department of. A new framework based on a non classical logic is proposed for investigating ir. Pdf a logical model for information retrieval based on. At a basic level there is the interpretation that good logic arguments are just those arguments where the information in the conclusion is already contained in the. There are many kinds of nonclassical logic, which include. Keith van rijsbergen is a professor of computing science at the university of glasgow. Towards an information logic towards an information logic van rijsbergen, c. To gain an intuition, we explore various equivalent notions of the essence of classical reasoning including the law of the excluded middle and doublenegation elimination. Pdf the use of logic in information retrieval modeling. Using uncertainty in information retrieval adrian giurca abstract the use of logic in information retrieval ir enables one to formulate models that are more general than other well known ir models.
The relationship between logic and information is an intimate one that goes both ways. Uncertainty and logics contains a collection of exciting papers proposing, developing and implementing logical ir models. An outline of a general model for information retrieval. Intelligent text handling using default logic, 1994. A new framework based on a nonclassical logic is proposed for investigating ir. The system assists users in finding the information they require but it does not explicitly return the answers of the questions. A study of similarity functions used in textual information. Nevertheless, many people in the information retrieval community do not yet appreciate the work. Thereis a second type of information retrievalproblemthat is intermediate between unstructured retrieval and querying a relational database. Ir inference process, either through nonclassical logics or some uncertainty. Logic and uncertainty in information retrieval school of. Part i genesis a nonclassical logic for information retrieval part ii logical models toward a broader logical model for information retrieval experiences in information retrieval modelling using structured formalisms and modal logic preferential models of query by navigation a flexible framework for multimedia information retrieval the flow of information in information retrieval. A model of information retrieval based on a terminological logic towards a probabilistic modal logic for semanticbased information retrieval 1980 a logic for default reasoning a non classical. After working through the material in this book, a student should be able to understand most quantified expressions that arise in their philosophical reading.
A study of probability kinematics in rnformation retrieval. The kluwer international series on information retrieval, vol 4. Indeed, some logical models are able to represent, within a uniform framework, various features of ir. The paper that launched a number of papers dealing with the logical model for information retrieval. A language modeling approach to information retrieval. The most widely used model for information retrieval uses boolean logic, discussed by cooper 1 and van rijsbergen 3. Though, i should say, it doesnt go as in depth as, say, a new introduction to modal logic by hughes and cresswell, which is a great booka classicbut isnt the best if you need to ease your way into modal logic. This is the companion website for the following book.
A theoretical basis for the use of cooccurence data in information retrieval. Documents and queries are represented by propositional formulas and we apply techniques of. Pdf a logical model for information retrieval is presented. Computability logic is a semantically constructed formal theory of computabilityas opposed to classical logic, which is a formal theory of truthintegrates and extends classical, linear and intuitionistic logics manyvalued logic rejects bivalence, allowing for truth values other than true and. List of issues latest articles volume 30 2020 volume 29 2019. Logicbased xml information retrieval for determining the. Media in category non classical logic the following 11 files are in this category, out of 11 total. Its relationship to existing retrieval mechanisms is investigated. Logical and uncertainty models for information access.
This new form of conditioning is combined with a nonclassical logic to define a new probabilistic model for information retrieval. Probabilistic retrieval revisited the computer journal. These papers examine the details of various models and other specific techniques and technologies, including reports of testing. Frequently bayes theorem is invoked to carry out inferences in ir, but in dr probabilities do not enter into the processing.
This formalization is a logical implication with an attached measure of uncertainty. Logic for dummies published by wiley publishing, inc. A new principle, the logical uncertainty principle, is proposed, to deal with the inherent uncertainty associated with applicable inferences. Another contender for the title of the first nonclassical logic is the three valued system of lukasiewicz, introduced in 1920 in lu20. Part i, on propositional logic, is the old introduction, but contains much new material.
Part 2 is entirely new, and covers quantification and identity for all the logics in this revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, manyvalued, paraconsistent. These include the information logic model and interaction model. In this paper, we show how this uncertainty problem can be addressed by using default logic. Information retrieval is a nonmonotonic reasoning activity. A model of information retrieval based on a terminological logic. Browse the list of issues and latest articles from journal of applied non classical logics.
In an information system, the user is not certain about the contents of the information system, and the system is not certain about the users needs. This course will study classical and non classical logics using an introduction to non classical logic second edition by graham priest and a variety of supplementary readings. This book is appropriate for use as a text for a graduatelevel course on information retrieval or database systems, and as a reference for researchers and practitioners in industry. An introduction to non classical logic this revised and considerably expanded edition of an introduction to non classical logic brings together a wide range of topics, including modal, tense, conditional, intuitionist, manyvalued, paraconsistent, relevant and fuzzy logics. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. Implicit in many information retrieval models is a logic. We will adopt the probabilistic approach, more specifically that of. Although intuitionism predates it by a decade, lukasiewiczs logic was arguably 11 the first introduced expressly for the purpose of leaving the two. In 1986 van rijsbergen 4 proposed the use of a nonclassical conditional logic for ir. From if to is, edition 2 ebook written by graham priest.
Kenneth konyndyks introduction to modal logic is a must. Information retrieval ir modeling by logic and lattice. No part of this publication may be reproduced, stored in a retrieval system, or transmitted in any form. It is now clear that it is not possible to apply the logical uncertainty principle without a combination of a nonclassical logic formalism and uncertainty theory. Fuzzy and quantum methods of information retrieval to analyse genomic data from patients at. Priests introduction to non classical logic is my textbook of choice for introducing non classical logic to undergraduates. Part i, on propositional logic, is the old introduction, but. It shows how a particular conditional logic is the right logic to do information retrieval. Logic, nonclassical the purpose of this entry is to survey those modern logics that are often called nonclassical, classical logic being the theory of validity concerning truth functions and firstorder quantifiers likely to be found in introductory textbooks of formal logic at the end of the twentieth century.
Another distinction can be made in terms of classifications that are likely to be useful. A language modeling approach to information retrieval, proceedings of the acm sigir, pp. Download for offline reading, highlight, bookmark or take notes while you read an introduction to nonclassical logic. An introduction to formal logic open textbook library. Information retrieval ir is the science concerned with the effective and efficient retrieval of information for. An introduction to nonclassical logic by graham priest. This paper reexamines the principle from the point of view of classical logic. This course will study classical and nonclassical logics using an introduction to nonclassical logic second edition by graham priest and a variety of supplementary readings. I genesis 1 a nonclassical logic for information retrieval ii logical models 2 toward a broader logical model for information retrieval 3 experiences in information retrieval modelling using structured formalisms and modal logic 4 preferential models of query by. Originally, manual indexes were created to provide. Constructive logic william lovas lecture 7 september 15, 2009 1 introduction in this lecture, we design a judgmental formulation of classical logic. Pdf information retrieval is the science concerned with the efficient and effective. This paper formalises a nonclassical logic underlying information retrieval. It gives the reader an introduction to a vast range of nonclassical logics.
1045 433 585 1466 620 451 60 946 1393 411 1307 1005 626 961 631 287 366 426 282 1446 588 945 741 311 239 149 188 1015 831 28 18 98 87 398 884 346 1428 1277 759 684 1183 410 918 320 946 1269 1491 896 305