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. Though, papers involving non-logical approaches to common sense will also be welcome.
Topics of interest include, but are not limited to:
The symposium aims to bring together researchers who have studied the formalization of commonsense reasoning. The focus of the symposium is on representation rather than on algorithms, and on formal rather than informal methods. Papers should be rigorous and concrete. While mathematical logic is expected to be the primary lingua franca of the symposium, we also welcome papers using a rigorous but not logic-based representation of commonsense domains.
Technical papers offering new results in the area are especially welcome; object level theories as opposed to meta-level results are preferred. However, survey papers, papers studying the relationship between different approaches, and papers on methodological issues such as theory evaluation, are also encouraged.
While mathematical logic is expected to be the primary lingua franca of the symposium, we also welcome papers using rigorous but non-logical approaches to the representation of commonsense domains . Technical papers offering new results in the area are especially welcome. However, survey papers, papers studying the relationship between different approaches, and papers on methodological issues such as theory evaluation, are also encouraged.
Persons wishing to make presentations at the workshop should submit papers of up to 6000 words, excluding the bibliography. Electronic submissions in pdf, are preferred; otherwise 6 hard copies of the paper are acceptable. Persons wishing only to attend the workshop should submit a 1-2 page research summary including a list of relevant publications. All submissions and requests for attendance should be sent to one of the Symposium Chairs: Patrick Doherty, John McCarthy, or Mary-Anne Williams see addresses below.
Paper Submission Deadline: October 4, 2002
Paper Notification: November 8, 2002
Camera Ready Papers Due: January 20, 2003
Invited Participant Registration Deadline: February 14, 2003
Final Registration Deadline: February 28, 2003
Symposium: March 24 - 26, 2003
Patrick Doherty
Linkoping University
Dept. of Computer and Information Science
Linkoping 581 83, Sweden
Tel. +46 13 242628
Fax: +46 13 285868
Email: patdo@ida.liu.se
WWW: 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
WWW: http://www-formal.stanford.edu/jmc
Mary-Anne Williams, Business and Technology Research Lab
University of Newcastle, Newcastle, NSW 2308, Australia
Telephone: +61-249-215009
Fax: +61-249-216911
Email: maryanne@cafe.newcastle.edu.au
WWW: http://www.cafe.newcastle.edu.au/maryanne
Eyal Amir , University of California Berkley, 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, University of Patras, Greece
Murray Shanahan, Imperial College, UK
Yoav Shoham, Stanford University, USA