From: AAAI Technical Report SS-03-05. Compilation copyright © 2003, AAAI (www.aaai.org). All rights reserved.
Logical Formalization of
Commonsense Reasoning
Papers from the 2003 AAAI Spring Symposium
Technical Report SS-03-05
AAAI Press
American Association for Artificial Intelligence
Logical Formalization of
Commonsense Reasoning
Papers from the 2003 AAAI Symposium
Patrick Doherty, John McCarthy, & Mary-Anne Williams, Cochairs
March 24–26, Stanford, California
Technical Report SS-03-05
AAAI Press
Menlo Park, California
Copyright © 2003, AAAI Press
The American Association for Artificial Intelligence
445 Burgess Drive
Menlo Park, California 94025
ISBN 1-57735-182-7 SS-03-05
AAAI retains the right of first refusal to any publication arising from this AAAI event, and
retains compilation copyright. Please do not make any inquiries or arrangements for hardcopy
or electronic publication of all or part of the papers contained in this technical report without
first exploring the options available through AAAI Press and AI Magazine. A signed release of
this right by AAAI is required before publication by a third party.
Manufactured in the United States of America
Organizing Committee
Patrick Doherty
Department of Computer and Information Science
Linkoping University
Linkoping 581 83, Sweden
Tel. +46 13 242628
Email: patdo@ida.liu.se
URL: http://www.ida.liu.se/~patdo
John McCarthy
Department of Computer Science,
Gates Building, 2A, Stanford University
Stanford, CA 94305-9020, USA
Telephone: +1-650-723-4430
Email: jmc@steam.stanford.edu
URL: http://www-formal.stanford.edu/jmc
Mary-Anne Williams
Innovation and Technology Research Laboratory
Faculty of Information Technology
University of Technology, Sydney, NSW 2007, Australia
Telephone: +61-2-9514 4503
Email: Mary-Anne@it.uts,edu.au
URL: http://research.it.uts.edu.au/Mary-Anne
Program Committee
Eyal Amir, University of California Berkeley, USA
Vinay Chaudhri, SRI, USA
Tom Costello, IBM, USA
Ernie Davis, NYU, USA
Patrick Hayes, University of West Florida
Jim Hendler, University of Maryland, USA
Jerry Hobbs, SRI , USA
Fritz Lehmann, Austin, USA
Hector Levesque, University of Toronto, Canada
Vladimir Lifschitz, University of Texas at Austin, USA
Fangzhen Lin, Hong Kong University of Science and Technology
Leora Morgenstern, IBM, USA
Pavlos Peppas, AIT - Athens Information Technology, Greece
Murray Shanahan, Imperial College, UK
Yoav Shoham, Stanford University, USA
Amit P. Sheth, University of Georgia, Athens
Walt Truszkowski, NASA Goddard Space Flight Center
Gerd Wagner, Eindhoven University of Technology
Contents
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 Press
445 Burgess Drive
Menlo Park, California 94025
ISBN 1-57735-182-7
SS-03-05