Year: 1994
Type: dissertation
Abstract: We show how the non-monotonic nature of common-sense reasoning can be formalised by \ncircumscription. Various forms of circumscription are discussed. A new form of circumscription, \nnamely naive circumscription, is introduced in order to facilitate the comparison of the various \nforms. Finally, some issues connected with the automation of circumscriptive reasoning are \nexamined.
Author: Halland, Kenneth John
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7055412396