Titlebook: Logical Foundations for Cognitive Agents; Contributions in Hon Hector J. Levesque,Fiora Pirri Book 1999 Springer-Verlag Berlin Heidelberg 1

說(shuō)明

Computing Domain Specific Information, force in the area of reasoning about actions. Ray and his collaborators have succeeded in providing a unifying formalism covering a wide range of complex issues. Much of this work, done within the framework of the situation calculus is nicely explained in Ray’s book on the subject [Rei99].

潰爛

Philosophical and Scientific Presuppositions of Logical AI, excluding the possibility of AI. Likewise work on Al is not neutral with regard to philosophical issues. This chapter presents what we consider the presuppositions of logical AI and also some scientific presuppositions, i.e. some results of science that are relevant. We emphasize the relation to AI rather than philosophy itself..

香料

反叛者

Action, Time and Default,talk and see how compatible our views are on the subject. We also have a common religious (this also means a certain kind of logic) background which affects one’s scientific approach (I can only speak for myself here). So here is how I see things!

brother

Hector J. Levesque,Fiora PirriState of the art of the most significant research in the logical foundations for both reasoning about action and commonsense reasoning of intelligent agents

壓倒

Artificial Intelligencehttp://image.papertrans.cn/l/image/588138.jpg

歸功于

978-3-642-64306-4Springer-Verlag Berlin Heidelberg 1999

盟軍

saphenous-vein

cacophony

Action Inventory for a Knowledge-Based Colloquium Agent. Preliminary Version,he “ world” of researchers in a specific area, and it should infer what operations need to be performed in the hierarchical structure containing the colloquium’s information base. The article proposes that this would be a useful test domain for the situation calculus and GOLOG, as well as for other approaches to reasoning about actions and change.