@inproceedings{cc62f7a0a8524d4cad8829f1c683dfb9,
title = "Interpolation properties of action logic: Lazy-formalization to the frame problem",
abstract = "This paper makes a contribution to the meta-theory of reasoning about action.We present two interpolation properties of action logic.We show that the frame axioms which are required for answering a query involve only the objects which are relevant to the query and action description. Moreover, if the action description is expressed by normal form, the required frame axioms depend on only the query itself. Therefore the frame problem may be mitigated by localizing descriptions and postponing the listing of frame axioms till a query occurs. This offers a pragmatic solution to the frame problem. This solution does not rest on any meta-hypotheses most existing solutions to the frame problem rely on.",
author = "Dongmo Zhang and Norman Foo",
year = "2002",
doi = "10.1007/3-540-45757-7\_30",
language = "English",
isbn = "3540441905",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "357--368",
editor = "Sergio Flesca and Sergio Greco and Giovambattista Ianni and Nicola Leone",
booktitle = "Logics in Artificial Intelligence - 8th European Conference, JELIA 2002, Proceedings",
note = "8th European Conference on Logics in Artificial Intelligence, JELIA 2002 ; Conference date: 23-09-2002 Through 26-09-2002",
}