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)
| Identifer | oai:union.ndltd.org:netd.ac.za/oai:union.ndltd.org:unisa/oai:umkn-dsp01.int.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) |
Page generated in 0.0016 seconds