[PlanetKR] CFP: Commonsense 2011

[Mary-Anne Williams]

Commonsense-2011 10th International Symposium on Logical Formalizations of
Commonsense Reasoning

*AAAI Spring Symposium Series, 2011*


Call for Papers:



We invite submissions for presentation at Commonsense-2011, to be held as
part of the AAAI Spring Symposium Series, March 21-23, 2011.



Endowing computers with common sense is one of the major long-term goals  of
Artificial Intelligence research. One approach to this problem is to
formalize commonsense reasoning using representations based on formal logic
or other formal theories such as algebraic representations. The  challenges
to creating such a formalization include the accumulation of  large amounts
of knowledge about our everyday world, the representation of  this knowledge
in suitable formal languages, the integration of different  representations
in a coherent way, and the development of reasoning  methods that use these
representations.



A decade ago, commonsense reasoning was considered  visionary and long term,
but it is now considered highly  relevant for current applications, such as
robotic systems that can interact with humans in open environments, and
information extraction systems that use commonsense knowledge together  with
corpus-based learning to interpret natural language texts.  Commonsense-2011
will have  a new applied track  in order to characterize what has been done
in these and other areas, how the logic-based commonsense reasoning  community
has contributed in this respect so far, and how these trends  should
influence our research agendas in the future.



At the same time,  we  continue to encourage solutions to difficult
challenge problems of commonsense  reasoning, such as those listed on the
Commonsense Problem page at
http://www-formal.stanford.edu/leora/commonsense/ .



Topics of interest at the symposium include, but are not limited to:



I.  Formal representations, reasoning, and algorithms, for specific
commonsense  domains including

- time, change, action, and causality

- geometric space

- commonsense physical reasoning

- biology at the commonsensical level, such as zoology, botany, human
anatomy, and so on.

- mental states and propositional attitudes, such as knowledge,
belief,  intention,
desire and so on

- emotions

- interactions among multiple agents

- social relations



II.  Preformal analysis of original aspects of these domains.



III. Applications of commonsense reasoning to specific tasks including

- cognitive robotics (action and perception)

- logic-based planning

            -  natural language processing, machine reading, understanding
narrative structure, textual entailment,              query answering

- web search and web-based services. Semantic Web.

- computer vision

- computer-aided instruction

- home automation

- assistive technologies

- biomedical informatics; integrating and mapping biomedical ontologies



IV. Relations among object-level theories, such as abstraction and
contextualization



V.  Methods of deductive and plausible reasoning that are applicable to
commonsense domains and problems, including

- answer set programming

- heuristic and approximate reasoning

- nonmonotonic reasoning

- belief revision

- probabilistic reasoning



VI.  Meta-theorems about commonsense theories and techniques such as

- metalogical theorems such as completeness theorems

- computational complexity



VII. Relation of formal theories of commonsense knowledge to alternative
approaches to implementing commonsense, such as:

- large commonsense knowledge bases

- statistical and corpus-based machine learning techniques.



VIII. Relation of other fields, such as philosophy, linguistics, cognitive
psychology, game theory, and economics to formal theories of commonsense
knowledge.



The symposium aims to bring together researchers who have studied the
formalization of commonsense reasoning.  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.  We
also welcome demos of practical systems that make use of commonsense
reasoning,. In addition, survey papers, papers studying the relationship
between different approaches, and papers on methodological issues such as
theory evaluation,  are also encouraged.



Additional  details will soon be available at
http://www.commonsensereasoning.org

For further information, please contact one of the program chairs:



Ernest Davis, New York University,  USA, davise at cs.nyu.edu

Patrick Doherty,  Linköping University, Sweden,
patrick.doherty at liu.se<patdo at liu.se>

Esra Erdem,  Sabanci University, Turkey,  esraerdem at sabanciuniv.edu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20100511/63320317/attachment.html