Statusvortrag im Promotionsverfahren: "Default Reasoning in Action Theories"

Date

May 25, 2011

Time

8:00 AM - 9:00 AM

Speaker

Hannes Straß

Affiliation

TU Dresden

Language

en

Main Topic

Informatik

Other Topics

Informatik

Description

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. Modelling a complex domain for which no complete knowledge can be obtained, the axiomatiser faces an unpleasant choice: either they cautiously restrict themselves to the available definite knowledge and live with a limited usefulness of the axiomatisation, or they bravely model some general, defeasible rules as definite knowledge and risk inconsistency in the case of an exception for such a rule. The talk presents a framework for default reasoning in action theories that overcomes these problems and offers useful default assumptions while retaining a correct treatment of default violations. The framework allows to extend action theories with defeasible statements that express how the domain usually behaves. Normality of the world is then assumed by default and can be used to conclude what holds in the domain under normal circumstances. In the case of an exception, the default assumption is retracted, whereby consistency of the domain axiomatisation is preserved.

Last modified: May 20, 2011, 9:35:25 AM