Default Reasoning about Actions

Action Theories are versatile and well-studied knowledge representation formalisms for modelling dynamic domains. However, traditional action theories allow only the specification of definite world knowledge, that is, universal rules for which there are no exceptions. When modelling a complex domain...

Full description

Bibliographic Details
Main Author: Straß, Hannes
Other Authors: Universität Leipzig, Fakultät Mathematik und Informatik
Format: Doctoral Thesis
Language:English
Published: Universitätsbibliothek Leipzig 2012
Subjects:
Online Access:http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-89316
http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-89316
http://www.qucosa.de/fileadmin/data/qucosa/documents/8931/phd.pdf