Yoav Shoham. What is the frame problem? In Proceedings of the Frame Problem in Artificial Intelligence Workshop, pages 5--22. Morgan Kaufmann, 1987. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Reasoning about Beliefs: An Inference Network Approach - Low (1994) (Correct)
....switch is not turned on as the latter could be due to other reasons such as faulty parts, no electricity supply, etc. This incompleteness characteristic of commonsense rules is closely related to the qualification problem of the frame problem [McCarthy and Hayes, 1969; McDermott, 1987; Shoham, 1987] where it is impossible to declare all conditions for a rule. So when the conclusion fails, since not all conditions are specified, the negation of them may not be implied. To avoid the limitations of monotonicity, most current commonsense belief representation and reasoning systems are ....
Yoav Shoham. What is the frame problem? In Proceedings of the Frame Problem in Artificial Intelligence Workshop, pages 5--22. Morgan Kaufmann, 1987.
Interactive Planning for the Assistance of Human Agents - Lindner (1994) (3 citations) (Correct)
....in. a is a set of propositions that e causes to hold, and d a set of propositions that e clips (causes not to hold in the resulting state) p is the precondition of the event, a and d are its add and delete list. Coping with incompletely specified preconditions (cf. the qualification problem [11, 14]) is important for domains where the number of preconditions may be infinite, a complete acquisition of preconditions is impossible, or proving preconditions is undecidable or computationally intractable. The PNMS treats preconditions as follows: If the precondition of an action holds the action ....
Y. Shoham. What is the frame problem? In M. Georgeff and A. Lansky, editors, Proceedings of the 1986 Workshop Reasoning about Actions and Plans, pages 83--98. Morgan Kaufmann Publishers, 1986.
STRPLAN: A Distributed Planner for Object-Centred Application.. - Llavori (1998) (Correct)
....adopted in current planning systems: the Strips like [30] 31] and the state variable representation [27] In the former, domain actions are represented by means of three lists of logic propositions: precondition, delete and add lists. This representation avoids the well known frame problem [32] [33] [34] by indicating only the propositions that change after applying an action. The latter approach represents actions as value vectors transitions within the vector space implied by a set of domain statevariables. From the point of view of the expressiveness, these two representations are ....
Y. Shoham "What is the frame problem" in Reasoning about Actions and Plans, Morgan Kaufmann, pp 83-98, 1987.
Reasoning about Action in First-Order Logic - Elkan (1992) (29 citations) (Correct)
....axiom, or by no axiom at all if it is a special case of some general frame axiom. However, it is somewhat arbitrary what is considered a separate axiom. In classical logics, two assertions can be viewed as separate axioms if the logical connective that 3 A criterion of parsimony is implicit in [Shoham, 1986]. links them implicitly is and ; one can imagine privileging a different connective. Moreover, nonclassical logics often have a semantics that is entirely formal, but not compositional: the meaning of a set of axioms cannot be defined in terms of independent meanings for each axiom in the set. ....
Yoav Shoham. What is the frame problem ? In Proceedings of the Workshop on Reasoning about Actions and Plans, pages 83--98. Morgan Kaufmann Publishers, Inc., 1986.
PLANNING and INTELLIGENT SYSTEMS - An Introductory Overview - Lagoudakis (1996) (Correct)
No context found.
Shoham, Y. (1987) "What is the Frame Problem", in [Georgeff & Lansky, 1987].
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC