Defeasible specifications in action theories

Chitta Baral, Jorge Lobo

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Scopus citations

Abstract

Recent research in formalizing effects of actions on a world in the presence of constraints have mostly concentrated on non-defeasible specifications, where the effect of actions and constraints are strictly specified. In this paper we show how to incorporate defeasibility into the specifications. In our approach we consider extensions of the high level language A of Gelfond and Lifschitz and introduce defeasible constraints and effect propositions. While direct semantics of A does not need a logical language, our semantics is defined using extended logic programming. This is due to the defeasibility of the specification.

Original languageEnglish (US)
Title of host publicationIJCAI International Joint Conference on Artificial Intelligence
Pages1441-1446
Number of pages6
Volume2
StatePublished - 1997
Externally publishedYes
Event15th International Joint Conference on Artificial Intelligence, IJCAI 1997 - Nagoya, Aichi, Japan
Duration: Aug 23 1997Aug 29 1997

Other

Other15th International Joint Conference on Artificial Intelligence, IJCAI 1997
CountryJapan
CityNagoya, Aichi
Period8/23/978/29/97

ASJC Scopus subject areas

  • Artificial Intelligence

Fingerprint Dive into the research topics of 'Defeasible specifications in action theories'. Together they form a unique fingerprint.

Cite this