说明
发表于 2025-3-26 23:56:18
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 .
溃烂
发表于 2025-3-27 02:47:59
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..
香料
发表于 2025-3-27 06:43:40
http://reply.papertrans.cn/59/5882/588138/588138_33.png
反叛者
发表于 2025-3-27 11:27:52
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
发表于 2025-3-27 15:10:50
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
压倒
发表于 2025-3-27 20:38:42
Artificial Intelligencehttp://image.papertrans.cn/l/image/588138.jpg
归功于
发表于 2025-3-28 01:08:09
978-3-642-64306-4Springer-Verlag Berlin Heidelberg 1999
盟军
发表于 2025-3-28 03:02:39
http://reply.papertrans.cn/59/5882/588138/588138_38.png
saphenous-vein
发表于 2025-3-28 09:56:04
http://reply.papertrans.cn/59/5882/588138/588138_39.png
cacophony
发表于 2025-3-28 13:49:50
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.