Global ETD Search

1	Circumscriptive reasoning Halland, Kenneth John 08 1900 (has links) 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) Circumscription Common-sense reasoning Non-monotonic logic Models Satisfiability Soundness Completeness Minimal models Scope Theorem-proving algorithms 004.015113 Logic, Symbolic and mathematical
2	Circumscriptive reasoning Halland, Kenneth John 08 1900 (has links) 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) Circumscription Common-sense reasoning Non-monotonic logic Models Satisfiability Soundness Completeness Minimal models Scope Theorem-proving algorithms 004.015113 Logic, Symbolic and mathematical