{"type":"ScholarlyArticle","title":"Defeasible Specifications in Action Theories","authors":[{"name":"Chitta Baral","slug":"chitta-baral","given":"Chitta","family":"Baral","affiliation":""},{"name":"Jorge Lobo","slug":"jorge-lobo","given":"Jorge","family":"Lobo","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1997/207","pdf":"https://ijcai.org/proceedings/1997/0207.pdf","markdown":"https://ijcai.org/proceedings/1997/207.md","bibtex":"https://ijcai.org/proceedings/1997/bibtex/207","volume":{"slug":"1997","title":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1997","url":"https://ijcai.org/proceedings/1997/","year":1997,"location":"Nagoya, Japan","dates":"","editors":"Martha E. Pollack","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Temporal Reasoning","track":"Temporal Reasoning","number":207,"pages":{"first":1441,"last":1445},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}