Non-monotonic logic: Difference between revisions
Importing Wikidata short description: "Formal logic whose conclusion relation is not monotonic" |
→References: →cite book, journal | Alter: issue, doi, url. URLs might have been anonymized. Add: s2cid. Formatted dashes. | Use this tool. Report bugs. | #UCB_Gadget |
||
Line 28: | Line 28: | ||
==References== |
==References== |
||
* N. Bidoit |
*{{cite journal |first1=N. |last1=Bidoit |first2=R. |last2=Hull |title=Minimalism, justification and non-monotonicity in deductive databases |journal=Journal of Computer and System Sciences |volume=38 |issue= 2|pages=290–325 |date=1989 |doi= 10.1016/0022-0000(89)90004-4|url=https://dx.doi.org/10.1016/0022-0000%2889%2990004-4}} |
||
* G. Brewka |
*{{cite book |first=G. |last=Brewka |title=Nonmonotonic Reasoning: Logical Foundations of Commonsense |publisher=Cambridge University Press |date=1991 |isbn=978-0-521-38394-3 |url={{GBurl|S41BSy8Xk44C}}}} |
||
* G. Brewka |
*{{cite book |first1=G. |last1=Brewka |first2=J. |last2=Dix |first3=K. |last3=Konolige |title=Nonmonotonic Reasoning — An Overview |publisher=CSLI publications |location=Stanford |date=1997 |isbn= |pages= |url=http://www.informatik.uni-leipzig.de/~brewka/papers/nonmonbook.ps}} |
||
* M. Cadoli |
*{{cite journal |first1=M. |last1=Cadoli |first2=M. |last2=Schaerf |title=A survey of complexity results for non-monotonic logics |journal=Journal of Logic Programming |volume=17 |issue= 2–4|pages=127–60 |date=1993 |doi= 10.1016/0743-1066(93)90029-G|url=https://dx.doi.org/10.1016/0743-1066%2893%2990029-G}} |
||
* F. |
*{{cite journal |first1=F.M. |last1=Donini |first2=M. |last2=Lenzerini |first3=D. |last3=Nardi |first4=F. |last4=Pirri |first5=M. |last5=Schaerf |title=Nonmonotonic reasoning |journal=Artificial Intelligence Review |volume=4 |issue= 3|pages=163–210 |date=1990 |doi=10.1007/BF00140676 |s2cid=23575942 |url=}} |
||
* |
*{{cite book |author1-link=Dov Gabbay |first=D.M. |last=Gabbay |chapter=Theoretical foundations for non-monotonic reasoning in expert systems |chapter-url=https://link.springer.com/chapter/10.1007/978-3-642-82453-1_15 |doi=10.1007/978-3-642-82453-1_15 |editor-last=Apt |editor-first=K.R. |title= Logics and Models of Concurrent Systems |publisher=Springer |location=NATO ASI Series, Series F: Computer and Systems Sciences |volume=13 |date=1985 |isbn=978-3-642-82453-1 |pages=439–457 |url=}} |
||
* M. |
*{{cite book |editor-first=M.L. |editor-last=Ginsberg |title=Readings in Nonmonotonic Reasoning |publisher=Morgan Kaufmann |date=1987 |isbn=978-0-934613-45-3 }} |
||
* |
*{{cite book |first=J.F. |last=Horty |chapter=Nonmonotonic Logic |chapter-url= |editor-first=Lou |editor-last=Goble |title=The Blackwell Guide to Philosophical Logic |publisher=Wiley |date=2001 |isbn=978-0-631-20692-7 |pages= |url=}} |
||
* W. |
*{{cite book |first=W. |last=Łukaszewicz |title=Non-Monotonic Reasoning |publisher=Ellis-Horwood |date=1990 |isbn=978-0-13-624446-2 |pages= |url=}} |
||
* C.G. Lundberg |
*{{cite journal |first=C.G. |last=Lundberg |title=Made sense and remembered sense: Sensemaking through abduction |journal=Journal of Economic Psychology |volume=21 |issue=6 |pages=691–709 |date=2000 |doi= 10.1016/S0167-4870(00)00027-1|s2cid=11723465 |url=https://web.archive.org/web/20170907080541/https://pdfs.semanticscholar.org/cce4/b4fa69ed4c7cf997f1fbf38542c247bb19ea.pdf}} |
||
* D. Makinson |
*{{cite book |first=D. |last=Makinson |title=Bridges from Classical to Nonmonotonic Logic |publisher=College Publications |location= |date=2005 |isbn= |pages= |url=https://www.researchgate.net/publication/262934388}} |
||
* W. Marek |
*{{cite book |first1=W. |last1=Marek |first2=M. |last2=Truszczynski |title=Nonmonotonic Logics: Context-Dependent Reasoning |publisher=Springer |date=1993 |isbn=978-3-662-02906-0 |url={{GBurl|W-apCAAAQBAJ}}}} |
||
* A. Nait Abdallah |
*{{cite book |first=A. Nait |last=Abdallah |title=The Logic of Partial Information |publisher=Springer |date=1995 |isbn=978-3-642-78160-5 |url={{GBurl|1QarCAAAQBAJ}}}} |
||
==External links== |
==External links== |
Revision as of 10:17, 11 October 2022
This article includes a list of general references, but it lacks sufficient corresponding inline citations. (June 2008) |
A non-monotonic logic is a formal logic whose conclusion relation is not monotonic. In other words, non-monotonic logics are devised to capture and represent defeasible inferences (cf. defeasible reasoning), i.e., a kind of inference in which reasoners draw tentative conclusions, enabling reasoners to retract their conclusion(s) based on further evidence.[1] Most studied formal logics have a monotonic entailment relation, meaning that adding a formula to a theory never produces a pruning of its set of conclusions. Intuitively, monotonicity indicates that learning a new piece of knowledge cannot reduce the set of what is known. A monotonic logic cannot handle various reasoning tasks such as reasoning by default (conclusions may be derived only because of lack of evidence of the contrary), abductive reasoning (conclusions are only deduced as most likely explanations), some important approaches to reasoning about knowledge (the ignorance of a conclusion must be retracted when the conclusion becomes known), and similarly, belief revision (new knowledge may contradict old beliefs).
Abductive reasoning
Abductive reasoning is the process of deriving a sufficient explanation of the known facts. An abductive logic should not be monotonic because the likely explanations are not necessarily correct. For example, the likely explanation for seeing wet grass is that it rained; however, this explanation has to be retracted when learning that the real cause of the grass being wet was a sprinkler. Since the old explanation (it rained) is retracted because of the addition of a piece of knowledge (a sprinkler was active), any logic that models explanations is non-monotonic.
Reasoning about knowledge
If a logic includes formulae that mean that something is not known, this logic should not be monotonic. Indeed, learning something that was previously not known leads to the removal of the formula specifying that this piece of knowledge is not known. This second change (a removal caused by an addition) violates the condition of monotonicity. A logic for reasoning about knowledge is the autoepistemic logic.
Belief revision
Belief revision is the process of changing beliefs to accommodate a new belief that might be inconsistent with the old ones. In the assumption that the new belief is correct, some of the old ones have to be retracted in order to maintain consistency. This retraction in response to an addition of a new belief makes any logic for belief revision to be non-monotonic. The belief revision approach is alternative to paraconsistent logics, which tolerate inconsistency rather than attempting to remove it.
See also
Notes
- ^ Strasser, Christian; Antonelli, G. Aldo. "Non-Monotonic Logic". plato.stanford.edu/index.html. Stanford Encyclopedia of Philosophy. Retrieved 19 March 2015.
References
- Bidoit, N.; Hull, R. (1989). "Minimalism, justification and non-monotonicity in deductive databases". Journal of Computer and System Sciences. 38 (2): 290–325. doi:10.1016/0022-0000(89)90004-4.
- Brewka, G. (1991). Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press. ISBN 978-0-521-38394-3.
- Brewka, G.; Dix, J.; Konolige, K. (1997). Nonmonotonic Reasoning — An Overview. Stanford: CSLI publications.
- Cadoli, M.; Schaerf, M. (1993). "A survey of complexity results for non-monotonic logics". Journal of Logic Programming. 17 (2–4): 127–60. doi:10.1016/0743-1066(93)90029-G.
- Donini, F.M.; Lenzerini, M.; Nardi, D.; Pirri, F.; Schaerf, M. (1990). "Nonmonotonic reasoning". Artificial Intelligence Review. 4 (3): 163–210. doi:10.1007/BF00140676. S2CID 23575942.
- Gabbay, D.M. (1985). "Theoretical foundations for non-monotonic reasoning in expert systems". In Apt, K.R. (ed.). Logics and Models of Concurrent Systems. Vol. 13. NATO ASI Series, Series F: Computer and Systems Sciences: Springer. pp. 439–457. doi:10.1007/978-3-642-82453-1_15. ISBN 978-3-642-82453-1.
- Ginsberg, M.L., ed. (1987). Readings in Nonmonotonic Reasoning. Morgan Kaufmann. ISBN 978-0-934613-45-3.
- Horty, J.F. (2001). "Nonmonotonic Logic". In Goble, Lou (ed.). The Blackwell Guide to Philosophical Logic. Wiley. ISBN 978-0-631-20692-7.
- Łukaszewicz, W. (1990). Non-Monotonic Reasoning. Ellis-Horwood. ISBN 978-0-13-624446-2.
- Lundberg, C.G. (2000). "Made sense and remembered sense: Sensemaking through abduction" (PDF). Journal of Economic Psychology. 21 (6): 691–709. doi:10.1016/S0167-4870(00)00027-1. S2CID 11723465.
- Makinson, D. (2005). Bridges from Classical to Nonmonotonic Logic. College Publications.
- Marek, W.; Truszczynski, M. (1993). Nonmonotonic Logics: Context-Dependent Reasoning. Springer. ISBN 978-3-662-02906-0.
- Abdallah, A. Nait (1995). The Logic of Partial Information. Springer. ISBN 978-3-642-78160-5.
External links
- Antonelli, G. Aldo. "Non-monotonic logic". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy.
- Non-monotonic logic at PhilPapers
- Non-monotonic logic at the Indiana Philosophy Ontology Project