论文信息 - Formalizing a Problem in Commonsense Physical Reasoning: The Egg-Cracking Problem

Formalizing a Problem in Commonsense Physical Reasoning: The Egg-Cracking Problem

All true believers shall break their eggs at the convenient end: and which is the convenient end, seems, in my humble opinion, to be left to every man's conscience, or at least in the power of the chief magistrate to determine.

Leora Morgenstern

[1] Ernest Davis,et al. Representations of commonsense knowledge , 2014, notThenot Morgan Kaufmann series in representation and reasoning.

[2] L. Morgenstern,et al. Foundations of a logic of knowledge, action, and communication , 1988 .

[3] Ernest Davis,et al. A logical framework for commonsense predictions of solid object behaviour , 1988, Artif. Intell. Eng..

[4] Drew McDermott,et al. A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..