Logical Formalization of Commonsense Reasoning
Papers from 2003 AAAI Spring Symposium
Patrick Doherty, John McCarthy, and Mary-Anne Williams, Program Cochairs
Technical Report SS-03-05. Published by The AAAI Press, Menlo Park, California. This technical report is also available in book and CD format.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!
Contents
Symposium Organization and Contents
Patrick Doherty, John McCarthy, and Mary-Anne Williams
Logical Filtering / 1
Eyal Amir and Stuart Russell
Logic Programs with Consistency-Restoring Rules / 9
Marcello Balduccini and Michael Gelfond
Golog+HTNt™: Adding Time and Intervals to Procedural and Hierarchical Control Knowledge / 19
Chitta Baral, Tran Cao Son, and Le-Chi Tuan
The Role of Definitions in Construction and Analysis of Formal Ontologies / 27
Brandon Bennett
Probability from Similarity / 36
Sergey Blok, Douglas Medin, and Daniel Osherson
A Preliminary Study on Reasoning about Causes / 43
Pedro Cabalar
Reinforcing a Claim in Commonsense Reasoning / 51
Jonathan Campbell and Vladimir Lifschitz
Revisiting the Problem of Belief Revision with Uncertain Evidence / 57
Hei Chan and Adnan Darwiche
Coverage and Competency in Formal Theories: A Commonsense Theory of Memory / 64
Andrew S. Gordon and Jerry R. Hobbs
Annotating and Reasoning about Time and Events / 74
Jerry R. Hobbs and James Pustejovsky
Clarifying the Use of Structural Models for Commonsense Causal Reasoning / 83
Mark Hopkins and Judea Pearl
A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak / 90
Ozan Kahramanogullari and Michael Thielscher
On the Qualification Problem and Elaboration Tolerance / 98
Antonis Kakas and Loizos Michael
Integrating Belief-Desire-Intention Approaches with POMDPS: The Case of Team-Oriented Programs / 107
Ranjit Nair, Milind Tambe, and Stacy Marsella
Some Mathematical Structures Underlying Efficient Planning / 116
Aarati Parmar
Sensor Data Assimilation as Database Transactions / 125
Marcus V. Santos and Paulo E. Santos
Towards a Commonsense Estimator for Activity Tracking / 131
Catherine Tessier
Ability and Action / 139
Richmond H. Thomason
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.