Erik Sandewall. An Approach to the frame problem, and its Implementation. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 7. Edinburgh University Press, Edinburgh, UK, 1972.  Home/Search   Document Not in Database   Summary   Related Articles   Check

..... 68 7.5.4 FC and the Event Calculus compared . 69 7.6 On the Knowledge Level and its performances . 72 A A previous attempt to discrete time 78 2 Chapter 1 Introduction The search for non monotonic logics dates back its motivation to [San72] at the genesis of the so called Formal Artificial Intelligence. Non monotonic entailment methods have been proposed in the precise attempt to formalize common sense reasoning when reasoning about actions and change. The established research methodology in the field, until the early 90 s, ....

Erik Sandewall. An Approach to the frame problem, and its Implementation. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 7. Edinburgh University Press, Edinburgh, UK, 1972.

....inferences, and by the desire to speed problem solving searches by making quick decisions about where to search that would yield information useful for guiding the search even if proven wrong. They suggesting ways of expressing nonmonotonic reasoning rules (e.g. McCarthy Hayes, 1969; Sandewall, 1972)) and implementing reasoning systems that performed versions of these (e.g. Sussman, Winograd, Charniak, 1971) but rigorous and formal theories appeared later, for unlike ordinary logic, in which one takes contradictions to indicate flawed axioms, useful commonplace rules of nonmonotonic ....

Sandewall, E. (1972). An approach to the frame problem, and its implementation. In Machine Intelligence 7, pp. 195--204. University of Edinburgh Press.

....but they should not be ignored altogether. Let us review some of them. The walking turkey scenario is a toy example of ramification which has often been mentioned in the literature. It was proposed by Ginsberg and Smith in [7] and is analogous to Sandewall s dead friend example from 1972 [14]. The state domain in constructed using two binary valued features, representing whether a particular individual is alive and whether he is walking, respectively. Then R c = fTT; TF; FFg. The state FT is not included since it represents an individual who is walking although not alive. The action E ....

Erik Sandewall. An approach to the frame problem, and its implementation. In Machine Intelligence, Vol. 7, pages 195--204. Edinburgh University Press, 1972.

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