Return to search

Circumscriptive reasoning

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)

Identiferoai:union.ndltd.org:netd.ac.za/oai:union.ndltd.org:unisa/oai:umkn-dsp01.int.unisa.ac.za:10500/16899
Date08 1900
CreatorsHalland, Kenneth John
ContributorsLabuschagne, Willem
Source SetsSouth African National ETD Portal
LanguageEnglish
Detected LanguageEnglish
TypeDissertation
Format1 online resource (v, 87 leaves)

Page generated in 0.0025 seconds