Frames in the space of situations. (English) Zbl 0743.68122

The paper is devoted to the problem of formalization of situations, actions and changes. There are known some paradoxical results of attempts to formalize actions. It is shown in the paper that variables for propositional fluents (functions from a space of situations to (false,true)) range only over a part of the set of all propositional fluents — fluent variables are considered as variables for the fluents that belong to a particular frame (in the sense of McCarthy and Hayes). A particular frame can be represented by a unary predicate, several predicates can be introduced.
It is shown that the Baker’s method for formalizing actions can be rendered in terms of an independence of frames. The essence of the ramification problem is in using frames that are not independent.
Distinguishing between arbitrary fluents and the fluents that belong to a frame in the space of situations enables to achieve greater conceptual clarity.


68T30 Knowledge representation
68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68T27 Logic in artificial intelligence
03B80 Other applications of logic
03B60 Other nonclassical logic
Full Text: DOI


[1] Baker, A., A simple solution to the Yale Shooting Problem, (Brachman, R.; Levesque, H.; Reiter, R., Proceedings First International Conference on Principles of Knowledge Representation and Reasoning (1989)), 11-20
[2] Baker, A.; Ginsberg, M., Temporal projection and explanation, (Proceedings of IJCAI-89. Proceedings of IJCAI-89, Detroit, MI (1989)), 906-911
[3] Church, A., (Introduction to Mathematical Logic, 1 (1956), Princeton University Press: Princeton University Press Princeton, NJ) · Zbl 0073.24301
[4] Finger, J., Exploiting constraints in design synthesis, (Ph.D. Thesis (1986), Stanford University: Stanford University Stanford, CA) · JFM 01.0361.01
[5] Genesereth, M. R.; Nilsson, N. J., (Logical Foundations of Artificial Intelligence (1987), Morgan Kaufmann: Morgan Kaufmann San Mateo, CA) · Zbl 0645.68104
[6] Hanks, S.; McDermott, D., Nonmonotonic logic and temporal projection, Artif. Intell., 33, 3, 379-412 (1987) · Zbl 0654.68107
[7] Lifschitz, V., Formal theories of action (preliminary report), (Proceedings IJCAI-87. Proceedings IJCAI-87, Milan (1987)), 966-972
[8] Lifschitz, V.; Rabinov, A., Things that change by themselves, (Proceedings IJCAI-89. Proceedings IJCAI-89, Detroit, MI (1989)), 864-867 · Zbl 0713.68060
[9] McCarthy, J., Applications of circumscription to formalizing common sense knowledge, Artif. Intell., 26, 89-116 (1986)
[10] McCarthy, J.; Hayes, P., Some philosophical problems from the standpoint of artificial intelligence, (Meltzer, B.; Michie, D., Machine Intelligence, 4 (1969), Edinburgh University Press: Edinburgh University Press Edinburgh), 463-502 · Zbl 0226.68044
[11] Minsky, M., A framework for representing knowledge, (Winston, P., The Psychology of Computer Vision (1975), McGraw-Hill: McGraw-Hill New York), 211-277
[12] Myers, K.; Smith, D., The persistence of derived information, (Proceedings AAAI-88. Proceedings AAAI-88, St. Paul, MN (1988)), 496-500
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.