liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
The PMA and relativizing change for action update
1998 (English)In: Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR), Morgan Kaufmann Publishers, 1998, 258-269Conference paper (Refereed)
Abstract [en]

Using intuitions from the temporal reasoning community, we provide a generalization of the PMA, called the modified PMA (MPMA), which permits the representation of disjunctive updates and the use of integrity constraints interpreted as causal constraints. In addition, we provide a number of syntactic characterizations of the MPMA, one of which is constructed by mapping an MPMA update of a knowledge base into a temporal narrative in a simple temporal logic (STL). The resulting representation theorem provides a basis for computing entailments of the MPMA and could serve as a basis for further generalization of the belief update approach for reasoning about action and change.

National Category
Computer Science
URN: urn:nbn:se:liu:diva-41456Local ID: 56713OAI: diva2:262308
Available from2009-10-10 Created:2009-10-10 Last updated:2011-04-15

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Doherty, PatrickLukaszewicz, Witold
By organisation
The Institute of TechnologyKPLAB - Knowledge Processing Lab
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 16 hits
ReferencesLink to record
Permanent link

Direct link