1-3 June 2009
Toronto ON, Canada
Call for Papers: Ninth International Symposium on Logical Formalizations
of Commonsense Reasoning
We invite submissions for presentation at Commonsense 09, the 9th
International Symposium on Logical Formalizations of Commonsense
Reasoning, to be held at the University of Toronto on June 1-3, 2009.
One of the major long-term goals of AI is to endow computers with common
sense. 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.
We aim at a science of commonsense reasoning that enables applications in
such broad domains as well as a deeper understanding of the ways in which
humans engage in commonsense reasoning. This is the focus of Commonsense
09. 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 Halo,
and the HPKB (High Performance Knowledge Bases) and RKF (Rapid Knowledge
Formation) projects).
* 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 drosophilae.
* Nonmonotonic 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.
* Aspects of commonsense reasoning applicable to the Semantic Web.
* Applications of formal representations to applications, such as
natural language processing.
* Other mathematical tools for capturing commonsense reasoning.
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. We aim for rigorous and concrete paper submissions.
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.
Submission Information
Papers or extended abstracts of no more than 6 pages (in AAAI format)
should be submitted as pdf or postscript files by February 16, 2009. We
will be using the EasyChair conference system to manage paper submissions
and reviews this year. Details will follow soon.
All submissions will be reviewed by the Commonsense 2009 program
committee. Notification of acceptance will be given by April 2, 2009. All
questions should be addressed to cs2009 @ commonsensereasoning.org.
Publication
The working notes of Commonsense 09 will include all accepted papers and
will be published online. The working notes will also be available as a
technical report.
Multiple Submissions Allowed
Papers may be submitted to Commonsense 09 even if they have been submitted
to (or are currently under review by) other conferences or symposia (such
as IJCAI). However, previously published papers are not acceptable for
Commonsense 09.
Important Dates (TENTATIVE)
* Paper or extended abstract submission deadline: February 16, 2009.
* Notification of acceptance: April 2, 2009.
* Camera ready papers due: April 23, 2009.
* Symposium: June 1-3, 2009.