## 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

1 | |

The Formal Representation of Quasil Continuous Concepts | 37 |

Ontology for Liquids | 71 |

A Qualitative Physics Based on Confluences | 109 |

The Role of Qualitative Dynamics in Naive Physics | 185 |

Some Aspects | 227 |

A Model of Naive Temporal Reasoning | 251 |

Reasoning about Plans | 269 |

A Formal Theory of Knowledge and Action | 319 |

Belief and lncompleteness | 359 |

A Short Companion to the Naive Physics Manifesto | 427 |

449 | |

### Other editions - View all

### Common terms and phrases

action agent analysis Artificial lntelligence assumption atomic axiomatization axioms behavior belief subsystem block calculus causal chess commonsense complete component computational concepts confluence consider constraint container deduction model deduction rules deduction structure defined denote derivation describe device discrete domain ensemble theory event example existential quantification expressions fact feasible Figure first-order logic first,order flow formal function game tree Hayes heuristic individual inference input intelligence interpretation interval intuitive kkll knowledge knows liquid logic mapping mass noun McCarthy mereology metalanguage metaphor modal modal logic model theory naive physics notion object language ontology particular piece possible worlds predicate pressure pressure,regulator problem proof properties qualitative Quantity Space reasoning relation reltrytask represent representation 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