Formal Theories of the Commonsense World
This 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.
The Formal Representation of Quasil Continuous Concepts
Ontology for Liquids
A Qualitative Physics Based on Confluences
The Role of Qualitative Dynamics in Naive Physics
A Model of Naive Temporal Reasoning
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