Circumscriptive reasoning

Description

We show how the non-monotonic nature of common-sense reasoning can be formalised by
circumscription. Various forms of circumscription are discussed. A new form of circumscription,
namely naive circumscription, is introduced in order to facilitate the comparison of the various
forms. Finally, some issues connected with the automation of circumscriptive reasoning are
examined. / Computing / M. Sc. (Computer Science)

Links & Downloads

1. Halland, Kenneth John (1994) Circumscriptive reasoning, University of South Africa, Pretoria, <http://hdl.handle.net/10500/16899>
2. http://hdl.handle.net/10500/16899

Tags

Circumscription

Common-sense reasoning

Non-monotonic logic

Models

Satisfiability

Soundness

Completeness

Minimal models

Scope

Theorem-proving algorithms

004.015113

Logic, Symbolic and mathematical

Additional Fields

Identifer	oai:union.ndltd.org:netd.ac.za/oai:union.ndltd.org:unisa/oai:uir.unisa.ac.za:10500/16899
Date	08 1900
Creators	Halland, Kenneth John
Contributors	Labuschagne, Willem
Source Sets	South African National ETD Portal
Language	English
Detected Language	English
Type	Dissertation
Format	1 online resource (v, 87 leaves)