论文信息 - A Generic Framework for Approximate Simulation in Commonsense Reasoning Systems

A Generic Framework for Approximate Simulation in Commonsense Reasoning Systems

This paper introduces the Slick architecture and outlines how it may be applied to solve the well known Egg-Cracking Problem. In contrast to other solutions to this problem that are based on formal logics, the Slick architecture is based on general-purpose and low-resolution quantitative simulations. On this benchmark problem, the Slick architecture offers greater elaboration tolerance and allows for faster elicitation of more

Mary-Anne Williams | Benjamin Johnston

[1] Bernard Meltzer,et al. Analogical Representations of Naive Physics , 1989, Artif. Intell..

[2] Thom W. Frühwirth,et al. Theory and Practice of Constraint Handling Rules , 1998, J. Log. Program..

[3] Aaron Sloman,et al. An architecture of diversity for commonsense reasoning , 2002, IBM Syst. J..

[4] 山田祐,et al. Open Dynamics Engine を用いたスノーボードロボットシミュレータの開発 , 2007 .

[5] Leora Morgenstern,et al. Mid-Sized Axiomatizations of Commonsense Problems: A Case Study in Egg Cracking , 2001, Stud Logica.

[6] John F. Sowa,et al. Architectures for intelligent systems , 2002, IBM Syst. J..

[7] Murray Shanahan,et al. An attempt to formalise a non-trivial benchmark problem in common sense reasoning , 2004, Artif. Intell..

[8] M. Minsky. The Society of Mind , 1986 .

[9] Hugo Liu,et al. Teaching Machines about Everyday Life , 2004 .

[10] Erik T. Mueller. A calendar with common sense , 2000, IUI '00.

[11] Erik T. Mueller,et al. Natural Language Processing with Thought Treasure , 1998 .

[12] Patrick J. Hayes,et al. The second naive physics manifesto , 1995 .

[13] Adam Pease,et al. Practical Knowledge Representation and the DARPA High Performance Knowledge Bases Project , 2000, KR.

[14] Ramanathan V. Guha,et al. Cyc: toward programs with common sense , 1990, CACM.

[15] V. Lifschitz. Cracking an Egg: An Exercise in Commonsense Reasoning , 1998 .