Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Filozofia Nauki

Authors help

  1. 1 Tyburski M.

Years help

  1. 1 2009

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1
Publication available in full text mode
Content available

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

100%
Tyburski M.
Filozofia Nauki
|
2009
|
vol. 17
|
issue 1
107-122
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.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.