Statusvortrag im Promotionsverfahren: "Default Reasoning in Action Theories"

Datum

25.05.2011

Zeit

08:00 - 09:00

Sprecher

Hannes Straß

Zugehörigkeit

TU Dresden

Sprache

en

Hauptthema

Informatik

Andere Themen

Informatik

Beschreibung

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.

Letztmalig verändert: 20.05.2011, 09:35:25