J. Mc Carthy and P. J. Hayes. Some philosophical problems from the standpoint of articial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 4, pages 463-502. Edinburgh University Press, 1969.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....although we developed our analysis in the context of the Event Calculus, we expect it to be applicable to any formalisms for reasoning about partially ordered events. In particular, we intend to explore the applicability of the proposed approach to frameworks such as the Situation Calculus (Mc Carthy and Hayes, 1969) and the Features and Fluents formalism (Sandewall, 1994) ACKNOWLEDGEMENTS We would like to thank the anonymous reviewers for their useful suggestions. The rst author was supported by ONR grant N00014 97 1 0505, Multidisciplinary University Research Initiative Semantic Consistency in ....

J. Mc Carthy and P. J. Hayes. Some philosophical problems from the standpoint of articial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 4, pages 463-502. Edinburgh University Press, 1969.

....proves that this is possible and does not lead to intricacies. However, the connections with linear logic will be explored in future work. The concept of resource handling is closely related to the notions of action and change, which have recently been the subjects of many researches: see e.g. [8, 10, 11, 13, 14, 19, 20, 21, 22, 23, 25]. Our work differs from them as follows. The language AbstrAct [25] specifies the activities of systems by action rules characterizing agents capable of performing actions that operate on a global shared data space. A feature of AbstrAct is that it distinguishes between actions to induce state ....

....induce state transformations and deductions that can be performed in each state. Our work differs from this work in that we do not have an explicit notion of agent, relying rather on the more logic based notion of goal, and use an aggregation technique of resources based on Horn clauses. The works [20, 22] have introduced the so called situation calculus. Essentially, it consists of using an argument to state that a particular resource is available in a particular situation and of using so called frame axioms, one for each action and each resource, to solve the so called frame problem, i.e. to ....

J. Mac Carthy and P.J. Hayes. Some Philosophical Problems from the Standpoint of Artificial Intelligence. Machine Intelligence, 4:463--502, 1969.

....the connections with linear logic will be explored in future work. The concept of resource handling is closely related to the notions ofhe concept of resource handling is closely related to the notions of action and change, which have recently been the subjects of many researches: see e.g. [20, 22, 21, 19, 13, 11, 14, 23, 10, 8, 25]. Our work differs from them as follows. The language AbstrAct [25] specifies the activities of systems by action rules characterizing agents capable of performing actions that operate on a global shared data space. A feature of AbstrAct is that it distinguishes between actions to induce state ....

....induce state transformations and deductions that can be performed in each state. Our work differs from this work in that we do not have an explicit notion of agent, relying rather on the more logic based notion of goal, and use an aggregation technique of resources based on Horn clauses. The works [20, 22] have introduced the so called situation calculus. Essentially, it consists of using an argument to state that a particular resource is available in a particular situation and of using so called frame axioms, one for each action and each resource, to solve the so called frame problem, i.e. to ....

J. Mac Carthy and P.J. Hayes. Some Philosophical Problems from the Standpoint of Artificial Intelligence. Machine Intelligence, 4:463--502, 1969.

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