LiU Electronic Press
Full-text not available in DiVA
Author:
Doherty, Patrick (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab)
Lukaszewicz, Witold (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab)
Madalinska-Bugaj, Ewa
Title:
The PMA and relativizing change for action update
Department:
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab
Linköping University, The Institute of Technology
Publication type:
Conference paper (Refereed)
Language:
English
In:
Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR)
Publisher: Morgan Kaufmann Publishers
Pages:
258-269
Year of publ.:
1998
URI:
urn:nbn:se:liu:diva-41456
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-41456
Local ID:
56713
Subject category:
Computer Science
SVEP category:
Computer science
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.

Available from:
2009-10-10
Created:
2009-10-10
Last updated:
2011-04-15
Statistics:
16 hits