## Formal Theories of the Commonsense WorldThis volume is a collection of original contributions about the core knowledge in fundamental domains. It includes work on naive physics, such as formal specifications of intuitive theories of spatial relations, time causality, substance and physical objects, and on naive psychology. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

The Second Naive Physics Manifesto | 1 |

Ontology for Liquids | 71 |

A Qualitative Physics Based on Confluences | 109 |

Copyright | |

9 other sections not shown

### Common terms and phrases

action agent analysis Artificial Intelligence assume assumption atomic axiomatization axioms behavior belief subsystem block calculus chess commonsense complete component computational concepts confluence consider constraint container deduction model deduction rules deduction structure defined definition denote derivation describe device discrete domain dXFP ensemble theory event example existential quantification expressions fact feasible Figure first-order first-order logic flow Forbus formal function game tree Hayes heuristic individual inference input interpretation interval intuitive knowledge knows logic mass noun McCarthy mereology metalanguage metaphor modal modal logic model theory modus ponens naive physics notion object language occur ontology particular piece possible worlds predicate pressure pressure-regulator problem proof properties qualitative Quantity Space reasoning relation reltry reltrytask represent representation requires result rigid designator robot semantics sentences sequent set theory situation situation calculus sl s2 solution specific strategy subtask supertask task theorem tion true valve variable