On defaults in action theories

Authors:
Hannes Strass;Michael Thielscher
Affiliations:
Department of Computer Science, Dresden University of Technology;Department of Computer Science, Dresden University of Technology
Venue:
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Year:
2009

Citing 7
Cited 1

A logic-based calculus of events

New Generation Computing
Nonmonotonic logic and temporal projection

Artificial Intelligence
The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation
Some contributions to the metatheory of the situation calculus

Journal of the ACM (JACM)
From situation calculus to fluent calculus: state update axioms as a solution to the inferential frame problem

Artificial Intelligence
Prioritizing Default Logic

Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday)
Preferred subtheories: an extended logical framework for default reasoning

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2

Simple Default Reasoning in Theories of Action

AI '09 Proceedings of the 22nd Australasian Joint Conference on Advances in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We study the integration of two prominent fields of logicbased AI: action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an action theory as internal world model to make useful default assumptions. We show that the mechanism behaves properly in the sense that all intuitively possible conclusions can be drawn and no implausible inferences arise. In particular, it suffices to make default assumptions only once (in the initial state) to solve projection problems.