International Symposium on Logical Formalization of Commonsense Reasoning
AAAI Spring Symposium Series
March 24-26, 2003
One of the major long-term goals of artificial intelligence is to endow computers with commonsense reasoning capabilities. Although we know how to design and build systems that excel at certain bounded or mechanical tasks which humans find difficult, such as playing chess, we have little idea how to construct computer systems that do well at commonsense tasks which are easy for humans. Formalizing commonsense reasoning using logic-based approaches will be the focus of the symposium. Logic is a powerful modelling tool. Emphasis will be placed on representation rather than algorithms, and on formal rather than informal methods.
Commonsense reasoning is required in a wide variety of systems from autonomous lawn mowers to deep space probes. Systems that exhibit commonsense have to possess robust solutions to fundamental problems in knowledge representation. For example, an essential feature of commonsense reasoning is that it must deal with incomplete and uncertain information in dynamic environments responsively and appropriately. Furthermore, commonsense systems typically need to communicate with other systems in meaningful ways so ontological issues naturally arise.
Topics of interest will include:
The symposium will take place over three days and involve Invited Presentations from pioneers in the field, lively panel discussions, and paper presentations. If you would like to attend the symposium please send an expression of interest outlining your reasons to one of the Symposium Chairs.
The Program is now available.
Department of Computer and Information Science
Linkoping 581 83, Sweden
Tel. +46 13 242628
Department of Computer Science,
Gates Building, 2A, Stanford University
Stanford, CA 94305-9020, USA
Innovation and Technology Research Laboratory
Faculty of Information Technology
University of Technology, Sydney, NSW 2007, Australia
Telephone: +61-2-9514 4503
Eyal Amir, University of California
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