J. McCarthy. Programs with commmon sense. In M. Minsky, editor, Semantic Information Processing, pages 403--418. MIT, Cambridge, 1960. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Reasoning About Action I: A Possible Worlds Approach - Ginsberg, Smith (1987) (105 citations) (Correct)
....the actions being considered are explicitly provided. In [11, 12] we show how the same techniques can be used to advantage in solving the qualification problem. 1.2 Classical approaches 1.2. 1 The monotonic approach The earliest proposal for formalizing reasoning about change is due to McCarthy [19, 23]. The approach involves providing explicit axioms for inferring what propositions hold following each possible action. These axioms are of two sorts: 1) action axioms indicating the things that change when each action takes place, and 2) frame axioms indicating the things that remain unaffected by ....
J. McCarthy. Programs with commmon sense. In M. Minsky, editor, Semantic Information Processing, pages 403--418. MIT, Cambridge, 1960.
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