COMMON SENSE 2001
FIFTH SYMPOSIUM ON
LOGICAL FORMALIZATIONS OF COMMONSENSE REASONING
Sunday, May 20 through Tuesday, May 22, 2001
The 2001 Symposium on Logical Formalizations of Commonsense Reasoning
(Common Sense 2001) was held Sunday, May 20 through Tuesday, May 22 at
Warren Weaver Hall, room 109
251 Mercer St., between 3rd and 4th Streets,
The Courant Institute of
Mathematical Sciences
New York University
New York, NY.
To endow computers with common sense is one of the major long term goals
of Artificial Intelligence research. Although we know how to build programs
that excel at certain bounded or mechanical tasks which humans find difficult,
such as playing chess, we have very little idea how to program computers to
do well at commonsense tasks which are easy for humans. One approach to this
problem is to formalize commonsense reasoning using mathematical logic.
This will be the focus of the symposium.
Topics of interest include, but are not limited to:
- change, action, and causality
- ontologies, including space, time, shape, and matter,
and ontologies of networks and structures
- levels of granularity of ontology and reasoning
- large commonsense knowledge bases (including work related to the HPKB (High Performance Knowledge Bases) project
and the RKF (Rapid Knowledge Formation) project)
- axiomatizations of benchmark commonsense problems
(see
the Logic Modelling Workshop and
the Common Sense
Problem Page for examples)
- exploration of new commmonsense domains in a preformal way: e.g., discussion of new microworlds, benchmark problems, or "drosophila"
- non-monotonic reasoning
- formal models of probabilistic reasoning
- formal theories of context
- mental attitudes including knowledge, belief, intention, and planning
- belief change, update, and revision
- cognitive robotics
- reasoning about multi-agent systems and social interactions among agents
- applications of formal representations to applications, such as natural language processing
- other mathematical tools for capturing common sense reasoning
The symposium aims to bring together researchers who have studied the
formalization of common sense 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.
Persons wishing to make presentations at the workshop should submit
papers of up to
6000 words, excluding the bibliography. Electronic submissions, either in
postscript or
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 Ernest Davis or Leora Morgenstern,
at the addresses below.
Submission deadline: February 1, 2001
Notification of acceptance: March 27, 2001
Final papers due: April 23, 2001
Symposium: May 20-22, 2001
Final papers will be posted on the Commonsense-2001 website. Several
journals have expressed interest in publishing a special issue consisting
of extended versions of selected papers of Commonsense-2001. Once
an agreement has been reached with one of these, the program
chairs will invite selected authors to submit extended versions of their
papers for the special journal issue.
Papers may be submitted to Commonsense-2001 even if they have been
submitted to other conferences or symposia (such as IJCAI-2001), because
the Commonsense-2001 website is not archival. If a paper is accepted
at an archival conference such as IJCAI and also presented at
Commonsense-2001, this paper must be substantially revised and/or extended
before being submitted to the special journal issue. Previously published
papers are not acceptable for Commonsense-2001.
Program Chairs:
Ernest Davis,
New York University, 251 Mercer Street, New York, NY 10012, davise@cs.nyu.edu
John McCarthy,
Stanford University, Room 208 Gates Building, Stanford, CA 94305, jmc@cs.stanford.edu
Leora Morgenstern,
IBM Watson Research, 30 Saw Mill River Road, Hawthorne, NY 10532, leora@steam.stanford.edu (or slower mail: leora@us.ibm.com)
Ray Reiter,
University of Toronto, 10 King's College Road, Toronto, Ontario, M5S 3G4, reiter@cs.toronto.edu
Program Committee:
Eyal Amir Stanford University
Vinay Chaudhri, SRI
Tony Cohn, Leeds University
Patrick Hayes,
University of West Florida
Jerry Hobbs, SRI
Fritz Lehmann, CYC
Vladimir Lifschitz,
University of Texas at Austin
Sheila McIlraith, Stanford University
Rob Miller, Imperial College
Rohit Parikh, City University of New York
Judea Pearl,
UCLA
Doug Riecken
IBM Watson Labs
Murray Shanahan, Imperial College
Achille Varzi, Columbia University
Mary-Anne Williams, University of Newcastle
Special Issue of Artificial Intelligence Journal
A special issue of "Artificial Intelligence", on
Logical Formalizations of Commonsense Reasoning, is planned.
The due date for submissions is November 15. See the
CFP.
Other Commonsense Reasoning Sites
Other Things To Do In And Around New York City
New York City Tourism - Welcome
Metropolitan Museum of Art
Museum of Modern Art
Lincoln Center of the Performing
Arts
Carnegie Hall
Statue of Liberty
Bronx Zoo
New York Botanical Gardens
Page by Ernie Davis.