Non-Monotonic Logic I
"Non-monotonic" logical systems are logics in which the introduction of new axioms can invalidate old theorems. Such logics are very important in modeling the beliefs of active processes which, acting in the presence of incomplete information, must make and subsequently revise predic...
| Main Authors: | , |
|---|---|
| Language: | en_US |
| Published: |
2004
|
| Online Access: | http://hdl.handle.net/1721.1/5734 |
| _version_ | 1826216310315417600 |
|---|---|
| author | McDermott, Drew Doyle, Jon |
| author_facet | McDermott, Drew Doyle, Jon |
| author_sort | McDermott, Drew |
| collection | MIT |
| description | "Non-monotonic" logical systems are logics in which the introduction of new axioms can invalidate old theorems. Such logics are very important in modeling the beliefs of active processes which, acting in the presence of incomplete information, must make and subsequently revise predictions in light of new observations. We present the motivation and history of such logics. We develop model and proof theories, a proof procedure, and applications for one important non-monotonic logic. In particular, we prove the completeness of the non-monotonic predicate calculus and the decidability of the non-monotonic sentential calculus. We also discuss characteristic properties of this logic and its relationship to stronger logics, logics of incomplete information, and truth maintenance systems. |
| first_indexed | 2024-09-23T16:45:43Z |
| id | mit-1721.1/5734 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T16:45:43Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | mit-1721.1/57342019-04-12T08:27:25Z Non-Monotonic Logic I McDermott, Drew Doyle, Jon "Non-monotonic" logical systems are logics in which the introduction of new axioms can invalidate old theorems. Such logics are very important in modeling the beliefs of active processes which, acting in the presence of incomplete information, must make and subsequently revise predictions in light of new observations. We present the motivation and history of such logics. We develop model and proof theories, a proof procedure, and applications for one important non-monotonic logic. In particular, we prove the completeness of the non-monotonic predicate calculus and the decidability of the non-monotonic sentential calculus. We also discuss characteristic properties of this logic and its relationship to stronger logics, logics of incomplete information, and truth maintenance systems. 2004-10-01T20:33:11Z 2004-10-01T20:33:11Z 1978-08-01 AIM-486 http://hdl.handle.net/1721.1/5734 en_US AIM-486 38 p. 10308025 bytes 8120283 bytes application/postscript application/pdf application/postscript application/pdf |
| spellingShingle | McDermott, Drew Doyle, Jon Non-Monotonic Logic I |
| title | Non-Monotonic Logic I |
| title_full | Non-Monotonic Logic I |
| title_fullStr | Non-Monotonic Logic I |
| title_full_unstemmed | Non-Monotonic Logic I |
| title_short | Non-Monotonic Logic I |
| title_sort | non monotonic logic i |
| url | http://hdl.handle.net/1721.1/5734 |
| work_keys_str_mv | AT mcdermottdrew nonmonotoniclogici AT doylejon nonmonotoniclogici |