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
Other editions - View all
action actually agent allow amount analysis applied Artificial assume assumption axioms become behavior belief block called causal closed complete component computational concepts confluence consequence consider constraint construct container continuous corresponding deduction defined definition denote derivation describe determine device directed discussed domain effect ensemble event example exists expressions fact Figure flow formal function given idea important individual inference instance interpretation interval introduce kind knowledge knows language liquid logic mapping means metaphor move notion object occur operator particular performing physical piece position possible present pressure problem proof properties provides qualitative quantities reasoning refer relation represent representation requires result rules semantics sense sentences simple situation solution space specific structure subtask surface task theory things tion true University valve variable