[PlanetKR] COMMONSENSE 2013: FINAL CALL FOR PAPERS
Mary-Anne Williams
Mary-Anne at TheMagicLab.org
Wed Feb 13 22:53:07 EST 2013
Eleventh International Symposium on Logical Formalizations of Commonsense
Reasoning
We invite submissions for presentation at Commonsense-2013, to be held
in Cyprus, May 27-29, 2013.
Important Dates
* February 17, 2013: Submissions due
* March 31, 2013: Acceptances
* April 28, 2013: Deadline for submitting final paper
* May 27-29, 2013: Symposium
(Please note that these dates are preliminary and are subject to
change.)
Information
http://www.commonsensereasoning.org/2013/
Purpose
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-2013 will have a special track on
commonsense reasoning in natural language understanding, including
topics such as: speech acts, dialog, text comprehension, synthesizing
large corpus NLP techniques with commonsense reasoning, textual
entailment, and natural logic. As before, papers that describe
applications in which logic-based commonsense reasoning has made a
contribution and which can help shape our research agendas in the
future are encouraged.
Topics of interest at the symposium include, but are not limited to:
* Formal representations, reasoning, and algorithms, for specific
commonsense domains including:
+ time, change, action, and causality
+ geometric space
+ commonsense physical reasoning
+ commonsense biological reasoning (of plants, animals and
humans)
+ mental states and propositional attitudes, such as knowledge,
belief, intention, desire, emotion
+ interactions among multiple agents and social relations
+ law and legal reasoning
* Preformal analysis of original aspects of these domains
* 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
* Relations among object-level theories, such as abstraction and
contextualization
* 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
* Meta-theorems about commonsense theories and techniques such as:
+ metalogical theorems such as completeness theorems
+ computational complexity
* Methods for creating commonsense knowledge bases, including:
+ statistical and corpus-based machine learning techniques
+ crowd sourcing
+ hand crafting microtheories
+ combinations of the above techniques
* 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 are interested in
the formalization and automation 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 are of particular interest. 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.
Submissions
The text of papers submitted (excluding references) should be at most 6
pages long, in AAAI format.
Full submission information may be found at the conference website:
http://www.commonsensereasoning.org/
Chairs
Questions may be directed to the chairs:
Conference Chair
* Antonis Kakas, University of Cyprus, Cyprus
Program Chairs
* Loizos Michael, Open University of Cyprus, Cyprus
* Charlie Ortiz, Nuance Communications Inc, California
* Benjamin Johnston, University of Technology, Sydney
------
Professor Mary-Anne Williams
Director, Innovation and Enterprise Research Lab
Associate Dean (Research and Development)
Faculty of Engineering and Information Technology
University of Technology, Sydney
*
Research and Development Office
Building 2 Level 7 Room 7092
*P.O. 123 Broadway NSW 2007 Australia
Phone: + 61 2 9514 2663 (Gunasmin)
Facsimile: + 61 2 9514 2868
http://themagiclab.org/Mary-Anne.
*
*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20130213/d574ba9d/attachment-0001.html
More information about the PlanetKR
mailing list