- Tytuł:
-
Cyrkumskrypcja: formalizacja rozumowania niemonotonicznego w logice drugiego rzędu
Circumscription: Formalization of Non-monotonic Reasoning in Second Order Logic - Autorzy:
- Tyburski, Michał
- Powiązania:
- https://bibliotekanauki.pl/articles/968361.pdf
- Data publikacji:
- 2009-03-01
- Wydawca:
- Uniwersytet Warszawski. Wydział Filozofii
- Opis:
- 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.
- Źródło:
-
Filozofia Nauki; 2009, 17, 1; 107-122
1230-6894
2657-5868 - Pojawia się w:
- Filozofia Nauki
- Dostawca treści:
- Biblioteka Nauki
Artykuł