Nonmonotonic reasoning, conditional objects and possibility. In other words, a nonmonotonic consequence relation that corresponds to universal principles of rational belief is impossible. The default case reasoning of many computer programs reiter 1980 and the use of thnot in microplanner sussman, et. Non monotonic spatial reasoning with answer set programming modulo theories. Pdf we present a conceptual description of nonmonotonic formalisms as essentially twolayered reasoning systems consisting of a monotonic logical.
Intentional reasoning as nonmonotonic reasoning ceur. By contrast, ilp realizes inductive machine learning while most techniques have been developed under the classical monotonic logic. Scalable nonmonotonic reasoning over rdf data using. If there were no model in which the premises are true and the conclusion false, the reasoning would be valid according to a standard, deductive, monotonic logic, and. Pdf quip a tool for computing nonmonotonic reasoning tasks. The logic of definite clauses with negation as failure is nonmonotonic. A monotonic reasoning is more of a welldriven fact which does not retract over a new spectrum of evidence. However, the current bdi models are monotonic and nonmonotonic logics are barely used to reason about time 11 or intentional states. Classical logic is monotonic in the following sense. Declarativism if we made nml inference procedure based.
A nonmonotonic logic is a formal logic whose consequence relation is not monotonic. With this background, some researchers attempt to combine techniques in the context of nonmonotonic inductive logic programming nmilp. Nonmonotonic reasoning nmr addresses a fundamental problem that classical logic methods in computer science encounter when modelling realworld. The formalism of this paper is substantially superseded by that of applications of circumscription to formalizing common sense published in 1986.
The first attempts showed how argumentation results in a very natural way of conceptualizing commonsense reasoning, appropriately reflecting its. Some key notions in nonmonotonic reasoning ceur workshop. This paper gives a possibleworlds interpretation of the nonmonotonic reasoning problem based on standard decision theory and the emerging probability logic. Adding knowledge in monotonic reasoning does not reduce the set of prepositions that arise. Logic in nonmonotonic reasoning alexander bochman computer science department, holon institute of technology hit israel abstract we present a conceptual description of nonmonotonic formalisms as essentially twolayered reasoning systems consisting of a monotonic logical system, coupled with a mechanism of a reasoned choice of default. Default logic is one of the better understoo d formalisms in nonmonotonic reasoning. The relationship between the two constitutes the main theoretical problem of nonmonotonic reasoning, and its solution should hopefully provide an impetus for the future development of the field. Laboratoire cnrs lsis 20102011a ai am indebted to laura giordano and alberto martelli for having provided me their course material. A rule like ps are normally, usually qs is commonly referred to as a default, and the goal is to account for default reasoning not to be confused with default logic, which is a speci c approach. Difference between monotonic and nonmonotonic reasoning. Monotonic and nonmonotonic reasoning in artificial.
The systems central principle is that a tentative conclusion is a decision to make. In this paper, we outline the prototype of an automated inference tool, called quip, which provides a uniform implementation for several nonmonotonic reasoning formalisms. Pdf two paradigms of nonmonotonic reasoning semantic. It is job of belief revision system truth maintenance system tms to establish the state which would have occurred due to. Such forms of reasoning which allow additional information to invalidate old conclusions are called nonmonotonic. Non monotonic logic nml definition monotonic property for every theory t and t ta. One is a default logic, suggested by raymond reiter in 25, the other is a modal approach to nonmonotonic reasoning, initiated by mcdermott and doyle in 221. Monotonic reasoning can be defined in artificial intelligence. It admits various in terpretations, but the most popular is that it assigns meaning to the quanti.
Nonmonotonic reasoning is useful for representing defaults. The present study2 pertains mainly to two approaches to nonmonotonic reasoning. Most studied formal logics have a monotonic consequence relation, meaning that. In nonmonotonic theories, an inference may depend on lack of information. The following chapters deal with formulations of nonmonotonic inheritance, and nonmonotonic reasoning based on nonmonotonic rules. Western philosophers developed classical logic over a period of thirtythree centuries after its introduction in. Nonmonotonic reasoning attempts to capture a form of commonsense reasoning nonmonotonic reasoning often deals with inferences based on defaults or what is usually the case belief change and nonmonotonic reasoning. A non monotonic reasoning is a heuristic inference which can be invalidated or retracted further by adding more pieces. Circumscription formalizes such conjectural reasoning. Nonmonotonic reasoning an overview sciencedirect topics. Nonmonotonic reasoning is a pattern of reasoning that allows an agent to make and retract tentative conclusions from inconclusive evidence. Accordingly,the primary aim of our study will consist in laying down logical foundations for this kind of nonmonotonic reasoning. You j, wang x and yuan l 2001 nonmonotonic reasoning as prioritized argumentation, ieee transactions on knowledge and data engineering. Several paraphrases of this pattern are commonly accepted.
Anything can end before a clause is added, even after it is added. The knowledge base is of fixed size and can not be updated as in prologue file which is fixed during the clause checking and does not update that automatically. Nerode classical logic is the study of safe formal reasoning. In this work, nonmonotonic computational logic, answer set programming in particular, is applied to industrialscale automotive product configuration problems. Especially default and common sense reasoning is of interest. In other words, nonmonotonic logics are devised to capture and represent defeasible inferences, i. But monotonic systems are not good in real problem domains where the information is incomplete, situations change and new assumptions are generated while solving new problems.
Pdf in this study, we will explore the respective roles of logic and non monotonic reasoning in argumentation. In common sense reasoning one often draws conclusions that have to be withdrawn when further information is obtained. Elsevier artificial intelligence 77 1995 3257 artificial intelligence on the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and nperson games phan minh dung division of computer science, asian institute of technology, gpo box 2754, bangkok 10501, thailand. The set of conclusions thus does not grow monotonically with the given information. In other words, adding information never invalidates any conclusions. The application areas include diagnosis of hardware systems and even program debugging. We will argue using examples that humans use such onmonotonic reasoning and that it is required for intelligent behavior. Introduction to non monotonic reasoning lsis pdf book. Nonmonotonic reasoning and the reversibility of belief change.
In other words, non monotonic logics are devised to capture and represent defeasible inferences cf. Non monotonic reasoning has standard applications in areas such as diagnosis and logic programming. Chapter 4 nonmonotonic reasoning alexander bochman abstract nonmonotonic reasoning is a theory of the rational use of assumptions. This is called default or non monotonic reasoning and cannot be. Pdf argumentation and nonmonotonic reasoning paolo. Despite the difference in motivation and technical construction there are strong similarities between these logics which are confirmed when they are finally shown to have a common basis. Alexander bochman computer science department, holon institute of technology hit israel. A default is a rule that can be used unless it overridden by an exception. Second, the rules of the nonmonotonic system p guiding a jsb allow for withdrawing conclusions in the light of new premises. However, the base logic does not need to be nonmonotonic. Non monotonic reasoning in interpretation robert van rooij and katrin schulz 1 introduction the original article of thomason pursues two goals. Hence a nonmonotonic inference may involve the theory as a whole.
The book begins with a discussion of the various types of nonmonotonic reasoning, their applications and their logics. Nonmonotonic reasoning is a particular kind of plausible reasoning. Introduction to non monotonic reasoning lsis pdf book online. This means that whenever t is a set of sentences in such a logic and w is a sentence, then t w. To draw plausible conclusions it is necessary to make assumptions. This study reports a series of three experiments on reasoning with inference rules about nonmonotonic conditionals in the framework of coherence.
Logical foundations of commonsense cambridge tracts in theoretical computer science brewka, gerhard on. Analysis of algorithms for monotonic and non monotonic reasoning john franco, john schlipf, and sean weaver. We describe the relations between nmr and logic, and two main paradigms of nmr, preferential and explanatory one. However, to model commonsense reasoning, it is necessary to be able to jump to plausible conclusions from the given knowledge.
Practical non monotonic reasoning guido governatori knowledge techniques week 2012 nicta members nicta partners au from imagination to impact 2. For nonmonotonic reasoning we will have to alter the classical notions of logical entailment and of proof. This is called default or non monotonic reasoning and cannot be formalized directly in pure fol in general. It is the aim of the proposed monograph to present. What is monotonic and nonmonotonic reasoning in artificial. Is intractability of nonmonotonic reasoning a real drawback. Non monotonic reasoning nonmonotonic reasoning deals with the problem of deriving plausible conclusions, but not infallible, from a knowledge base a set of formulas. If the notion of nonmonotonic reasoning is understood in a broad sense, then probabilistic reasoning can also be subsumed. Non monotonic reasoning is useful for representing defaults. Rational nonmonotonic reasoning microsoft research. I then provide a summary which includes an assessment of the field and what must be done to further research in nonmonotonic reasoning and logic programming. Non monotonic reasoning is based on default reasoning or most probabilistic choice. The present version has an addendum that was not in the published paper. In this paper we introduce nonmonotonic reasoning and the attempts at formalizing it using nonmonotonic logics.
This result suggests that the nonmonotonic community should study the issue of what kind of information is relevant to the application of a default rule elio and f. Nonmonotonic reasoning, nonmonotonic logics and reasoning. Default or non monotonic reasoning in the previous example we made an assumption in the absence of information to the contrary, and revised this assumption later when new knowledge became available. Is human reasoning about nonmonotonic conditionals. On the links between argumentationbased reasoning and. In particular, it provides rigorous mechanisms for taking back conclusions that, in the presence of new information, turn out to be wrong and for deriving new, alternative conclusions instead. Commonsense reasoning 34 ent similarity between objects that might be governed by the same rules. Non monotonic reasoning this is a practical problem for development of expert system due to revising a conclusion belief revision, other conclusions may also depend on it, and this may set off a chain reaction. Nonmonotonic reasoning this is a practical problem for development of expert system due to revising a conclusion belief revision, other conclusions may also depend on it, and this may set off a chain reaction. On natural deduction system for nonmonotonic reasoning. We endeavor to increase our knowledge, even if it complicates some.
A decision method for nonmonotonic reasoning based on. We provide a conceptual description of the field of nonmonotonic reasoning as comprising two essentially different theories, preferential and explanatory nonmonotonic reasoning. Abstract we present a conceptual description of nonmonotonic formalisms as essentially twolayered reasoning systems consisting of a monotonic log ical system, coupled with a mechanism of a reasoned choice of default assumptions. A non monotonic logic is a formal logic whose consequence relation is not monotonic. Circumscription a form of non monotonic reasoning john mccarthy abstract humans and intelligent computer programs must often jump to the conclusion that the objects they can determine to have certain properties or relations are the only objects that do. In nonmonotonic theories, an inference may depend on a lack of information. The many valued and nonmonotonic turn in logic sciencedirect. A decision method for nonmonotonic reasoning based on autoepistemic logic ilkka niemeli helsinki university of technology department of computer science digital systems laboratory otakaari 1, 02150 espoo, finland emaih ilkka.
Research on argumentation and non monotonic reasoning began in full force in the early eighties. The objective behind the area is the use of logic for knowledge representation and reasoning. Donini, marco schaerf 2 dipartimento di informatica e sistemistica, universitci di rome lo sapienza, via salaria 1, i00198 roma, italy received june 1995. The overview includes the major results developed including complexity results that are known about the various theories. This short paper relates the conditional objectbased and possibility theorybased approaches for reasoning with conditional statements pervaded with exceptions, to other methods in nonmonotonic reasoning which have been independently proposed.
We then consider the links between these axioms and the rationality postulates. Theorem proving techniques for these logics are also described. A default is a rule that can be used unless it overridden by. The logic of definite clauses with negation as failure is non monotonic. Reasoners draw conclusions defeasibly when they reserve the right to retract them in the light of further information. Virtually every example in ai that calls upon such reasoning fits the following pattern. Hanks and mcdermott 1987 describe anomalies in the application of default rules and circumscription to an intuitive case of non monotonic reasoning. Non monotonic logics deal with non monotonic reasoning, that involves adopting assumptions that may have to be abandoned in the light of new information. The research on nonmonotonic reasoning includes several attempts to formalize reasoning that refuse to acknowledge one of the fundamental properties of classical logic. Analysis of algorithms for monotonic and nonmonotonic. Judea pearl, in probabilistic reasoning in intelligent systems, 1988.
The term nonmonotonic logic in short, nml covers a family of formal frameworks devised to capture and represent defeasible inference. Nonmonotonic logic stanford encyclopedia of philosophy. Pdf argumentation, nonmonotonic reasoning and logic. The field of nonmonotonic reasoning is now an essential part of the logical approach to artificial intelligence ai. Can introduce abstract study of nonmonotonic consequence relations in same way as we study classical. We show that the nonmonotonicity of common sense reasoning is a function of the way we use logic, not a function of the logic we use. Non monotonic reasoning on board a sony aibo 47 we propose to use non monotonic reasoning to accept the inconsistent information and resolve it to obtain the most plausible interpretation of the state of a robot and its environment. Logical foundations of commonsense gerhard brewka gmd, sankt augustin, germany the right of the university 0 cambridge to print and self.
But, of course, such reasoning must be nonmonotonic, as additional things could change by unrelated reasons. Classical logics share a common property of being monotonic. In this paper, we are presenting a scalable method for nonmonotonic. We think that the truth conditions of generic sentences can be captured by using ordinary quantification and a non monotonic conditional operator. Identifying this state is clearly a crucial initial step towards making a decision and then acting.
Nonmonotonic reasoning provides formal methods that enable intelligent systems to operate adequately when faced with incomplete or changing information. Researchers in non monotonic logic are adamant about disassociating default reasoning from any statistical or empirical interpretation. A logic is nonmonotonic if some conclusions can be invalidated by adding more knowledge. Circumscription a form of nonmonotonic reasoning was published in artificial intelligence in 1980. Nonmonotonic reasoning is a subfield of artificial intelligence trying to find more realistic formal models of reasoning than classical logic. Nonmonotonic formalizations of reasoning deal with the problem of drawing conclusions when the description of either a situation or a problem is incomplete. An overview of nonmonotonic reasoning and logic programming. Tu dresden, ws 201718 introduction to nonmonotonic reasoning slide 34 introducing defaults and default logics. As we will see, the resulting nonmonotonicformalism will form a most natural and immediate generalization of classical logic that allows for nonmonotonic reasoning.
747 41 859 926 563 1081 397 555 715 138 453 91 216 12 866 771 62 609 930 1006 996 347 15 126 931 1221 1441 159 1491 391 189 1137 1145 1035 213 1466 1219 1124 344 1062 1022 60 68 1002 793