zbMATH — the first resource for mathematics

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, (), 11-20
[2] Baker, A.; Ginsberg, M., Temporal projection and explanation, (), 906-911
[3] Church, A., ()
[4] Finger, J., Exploiting constraints in design synthesis, () · JFM 01.0361.01
[5] Genesereth, M.R.; Nilsson, N.J., ()
[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), (), 966-972
[8] Lifschitz, V.; Rabinov, A., Things that change by themselves, (), 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, (), 463-502 · Zbl 0226.68044
[11] Minsky, M., A framework for representing knowledge, (), 211-277
[12] Myers, K.; Smith, D., The persistence of derived information, (), 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.