Logical Formalizations of Commonsense Reasoning
Papers from the 2007 AAAI Spring Symposium
Eyal Amir, Vladimir Lifschitz, and Rob Miller, Program Cochairs
Technical Report SS-07-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
Preface /
Eyal Amir, Vladimir Lifschitz, and Rob Miller
Organizing Committee /
Eyal Amir, Vladimir Lifschitz, and Rob Miller
Dedication /
Eyal Amir, Vladimir Lifschitz, and Rob Miller
On the Occasion of John McCarthy's 80th Birthday /
Patrick Hayes, Len Schubert, Johan van Benthem, Yoav Shoham, Hector Levesque, Stuart Shapiro, fangzhen Lin, Erik Mueller, Leona Fass, Aaron Sloman, Danny Bobrow, Fiora Pirri, Rob Miller, Aarati Martino, Ruzena Bajcsy, Leora Morgenstern, Eyal Amir, and Mary-Anne Williams
Toward Domain-Neutral Human-Level Metacognition / 1
Michael L. Anderson, Matt Schmill, Tim Oates, Don Perlis, Darsana Josyula, Dean Wright, and Shomir Wilson
On Domain-Independent Heuristics for Planning with Qualitative Preferences / 7
Jorge A. Baier and Sheila A. McIlraith
Learning Action Descriptions with A-Prolog: Action Language C / 13
Marcello Balduccini
On Default Representation of Defeasible Inference and Specificity / 19
Alexander Bochman
Learning a Plan in the Limit / 25
Patrick Caldon and Eric Martin
Defeasible Laws, Parallel Actions, and Reasoning about Resources / 35
Sandeep Chintabathina, Michael Gelfond, and Richard Watson
Expressing Preferences Declaratively in Logic-based Agent Languages / 41
Stefania Costantini, Arianna Tocchio, and Pierangelo Dell'Acqua
Resolving Non-Determinism in Programs for Complex Task Planning with Search Control / 47
Alfredo Gabaldon
A Logical Theory of Coordination and Joint Ability / 53
Hojjat Ghaderi, Hector Levesque, and Yves Lespérance
Context Mereology / 59
Patrick Hayes
An Explicit Model of Belief Change for Cryptographic Protocol Verification / 65
Aaron Hunter and James P. Delgrande
A Generic Framework for Approximate Simulation in Commonsense Reasoning Systems / 71
Benjamin Johnston and Mary-Anne Williams
Knowledge Acquisition by an Intelligent Acting Agent / 77
Michael Kandefer and Stuart C. Shapiro
Variables in Action Descriptions: Merging C+ with ADL / 83
Vladimir Lifschitz and Wanwan Ren
Finitely-Verifiable Classes of Sentences / 89
Fangzhen Lin
Deductive Planning with Temporal Constraints / 95
Martin Magnusson and Patrick Doherty
Grounding a Geographic Ontology on Geographic Data / 101
David Mallenby
On the Learnability of Causal Domains: Inferring Temporal Reality from Appearances / 107
Loizos Michael
Towards Realistic Autocognitive Inference / 114
Fabrizio Morbini and Lenhart Schubert
Grounding Stanislavskian Scene Analysis in a Formal Theory of Action / 119
Leora Morgenstern
Discrete Event Calculus with Branching Time / 126
Erik T. Mueller
Learning from Reading Syntactically Complex Biology Texts / 132
Rutu Mulkar, Jerry R. Hobbs and Eduard Hovy
Using Common Sense for Decision Making in an Adventure Game / 138
Deepak Ramachandran
Holes, Knots and Shapes: A Spatial Ontology of a Puzzle / 144
Paulo Santos and Pedro Cabalar
Towards a Theory of AI Completeness / 150
Dafna Shahaf and Eyal Amir
Conditionals and Action Logics / 156
Richmond H. Thomason
A Coherent and Paraconsistent Variant of the Default Logic / 162
Anbu Yue and Zuoquan Lin
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.