On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc.

Paolo Liberatore

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98)

In this paper we investigate the usefulness of preprocessing part of the input of a given problem to improve the efficiency. We extend the results of [Cadoli et al. ISTCS, 1996] by giving sufficient conditions to prove the unfeasibility of reducing the on-line complexity via an off-line preprocessing. We analyze the problems of diagnosis, planning, reasoning about actions, and belief revision. We analyze other problems from various fields.


 @inproceedings{libe-98,
 title = {On the Compilability of Diagnosis, Planning, Reasoning
 about Actions, Belief Revision, etc.},
 year = {1998},
 author = {Liberatore, Paolo},
 booktitle = {Proceedings of the Sixth International Conference on
 Principles of Knowledge Representation and Reasoning (KR'98)},
 pages = {144--155},
 }
 
HTTP download.
FTP download.