Preferential semantics for action specification in first-order modal action logic

Jan Broersen, Roelf J. Wieringa

    Research output: Contribution to conferencePaperAcademicpeer-review

    13 Downloads (Pure)

    Abstract

    In this paper we investigate preferential semantics for declarative specifications in a First Order Modal Action Logic. We address some well known problems: the frame problem, the qualification problem and the ramification problem. We incorporate the assumptions that are inherent to both the frame and qualification problem into the semantics of the modal Action Logic by defining orderings over Dynamic Logic models. These orderings allow us to identify for each declarative Dynamic Logication specifacation a unique intented model.
    Original languageUndefined
    Number of pages12
    Publication statusPublished - Aug 1998
    EventECAI 1998 Workshop on Practical Reasoning and Rationality - Brighton, United Kingdom
    Duration: 24 Aug 199824 Aug 1998
    http://wasp.cs.vu.nl/~huang/research/prr/prr98/

    Workshop

    WorkshopECAI 1998 Workshop on Practical Reasoning and Rationality
    CountryUnited Kingdom
    CityBrighton
    Period24/08/9824/08/98
    Internet address

    Keywords

    • SCS-Services
    • EWI-10587
    • IR-64222

    Cite this