PL EN


Journal
2009 | 17 | 1 | 107-122
Article title

Circumscription: Formalization of Non-monotonic Reasoning in Second Order Logic

Content
Title variants
PL
Cyrkumskrypcja: formalizacja rozumowania niemonotonicznego w logice drugiego rzędu
EN
Circumscription: Formalization of Non-monotonic Reasoning in Second Order Logic
Languages of publication
PL
Abstracts
PL
We discuss circumscription, a logical formalization of non-monotonic reasoning, introduced by John McCarthy and Vladimir Lifschitz. First section contains presentation of assumptions of logic-based artificial intelligence, problem of non-monotonicity in commonsense reasoning and informal formulation of circumscription. In section two, a formal definition of circumscription is given. The idea of circumscription is discussed from syntactic and semantic point of view. Theoretical investigations are supplemented with examples. In section three, methods of computing circumscription are discussed. Section four contains exemplary circumscription-based formalization of simple non-monotonic reasoning. Finally, not only a comment about the role of logic in artificial intelligence is made but a piece of information about implementation of circumscription is given as well.
Keywords
Journal
Year
Volume
17
Issue
1
Pages
107-122
Physical description
Dates
published
2009-03-01
Contributors
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.ojs-issn-2657-5868-year-2009-volume-17-issue-1-article-562
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.