Logic List Mailing Archive

FormalMAGiC: Formalizing Mechanisms for Artificial General Intelligence and Cognition

31 July - 3 Aug 2013
Beijing, China

***********************************************************
**                                                       **
**       WORKSHOP: Call for papers & participation       **
**                                                       **
***********************************************************
**         Formalizing Mechanisms for Artificial         **
**   General Intelligence and Cognition: "FormalMAGiC"   **
**                                                       **
**    Webpage: http://www.cogsci.uos.de/~formalmagic/    **
***********************************************************

The "Formalizing Mechanisms for Artificial General Intelligence and
Cognition" (FormalMAGiC) international workshop will be held during the
Sixth Conference on Artificial General Intelligence (AGI-13), which will
co-locate with IJCAI-13 in Beijing, China, between July 31, 2013 and
August 3, 2013.
The FormalMAGiC workshop invites researchers interested in formalizing
computational models of AI or cognitive science to participate in and
contribute to the workshop by submitting articles that illustrate their
recent research or describe the advances in their work related to the
intersection between the two fields.
***********************************************************



***********************************************************
**              Relevant topics and audience             **
***********************************************************
The idea of the workshop is to offer a venue for scientists who are
interested in taking the work at the intersection between artificial
general intelligence (AGI) and cognitive science to a rigid, more formal
level.
Though maybe considered well-characterized by some empiricists, several
cognitive mechanisms need to have a formal jargon that allows
implementations of AGI systems to base their representation and
computation upon (in addition to their possible integration).
A convergence to the prospected formal level can be obtained by
emphasizing the importance of formally presenting essential cognitive
mechanisms and human capacities in developing artificial models of
intelligence. These models are expected to implement the mechanisms in
order to achieve a human-like level of intelligence.

This workshop discusses the formalization of the most important cognitive
mechanisms and human abilities that have already been shown in literature
to play essential roles in computational models of artificial (general)
intelligence, using available techniques like learning or reasoning.
Cognitive mechanisms and human capacities, in particular those related to
general intelligence, have a wide range of possibilities that attract the
interest of audience from various (sub)areas in artificial intelligence
and cognitive science.

Of special concern to the discussions and presentations during this
workshop are the human capacities, such as (1) doing abstractions
(generalizations or specializations), (2) creating similarity- and
analogy-based decisions, (3) performing conceptual blending, (4) creating
imaginative images and alternatives to reality, (5) coherently integrating
cognition, or (6) bridging the gaps between well-known cognitive
mechanisms, but the workshop is also open to contributions and treatments
of other closely-related capacities.

The workshop seeks initiative contributions that particularly help in
demonstrating, formalizing, or implementing the aforementioned capacities
(or the related ones) using probabilistic, symbolic, or logic-based
approaches.
Theoretical characterizations and representation of the essential parts
thereof are very welcome (e.g. characterizing cognitive models and
architectures, representing concepts for computing cognition (including
quantum structures for cognition), modeling creative capacities in
artificial models... etc.).
This list is not by any means intended to be exhaustive; the intention is
rather to mention the famous mechanisms that already showed importance in
the literature of computing cognition, and for which a mature stream of
(theoretical and/or practical) research is already established.
***********************************************************



***********************************************************
**                  Paper submission                     **
***********************************************************
All submissions related to one or more of the mentioned topics are welcome.
Anyone interested in any of these directions or the closely related ones
is invited to submit a research or position paper as basis for
presentation and discussion during the workshop.

Submissions should be sent to the workshop's email address (email:
formalmagic@cogsci.uos.de) before 10-APRIL-2013 11:59pm (PST!).

Accepted papers will be published online in the "Publication Series of the
Institute of Cognitive Science" (PICS, ISSN 1610-5389), a scientific
series from the Institute of Cognitive Science, University of Osnabrck,
unless the authors instruct us otherwise.

Note: Authors of accepted papers will give talks at the workshop. At least
one author of each accepted paper must register for the conference (and
attend the workshop) and present the paper there (the workshop will be
free of charge for the AGI-13 conference participants).
***********************************************************



***********************************************************
**                  Submission format                    **
***********************************************************
All papers should be submitted in accordance to the AGI-13 formatting style.
Papers must be in English, should not exceed five pages (according to the
LNCS guidelines).

More information about Springer's LNCS series is available on the Springer
LNCS Web site. Papers must be submitted in PDF, but the authors of
accepted papers will eventually be requested to submit their TeX source
file(s) for the camera-ready version (unless they prefer not to publish
their contribution).
***********************************************************



***********************************************************
**                   Important Dates                     **
***********************************************************
First CFP:			January 15, 2013
Paper Submission deadline:	April 10, 2013
Acceptance Notification:	April 20, 2013
Camera-ready version:		April 30, 2013
Conference:			July 31, 2013 -- August 3, 2013
***********************************************************



***********************************************************
For further information or inquiries, please visit the workshop's web
page: http://www.cogsci.uos.de/~formalmagic/
You may also think about joining the workshop's Facebook page to share the
interests, post questions, and get recent updates:
Facebook : http://www.facebook.com/FormalizingMAGIC/
***********************************************************


**************************************************************************
eMail: formalmagic@cogsci.uos.de
Home Page: http://www.cogsci.uos.de/~formalmagic/
Facebook: http://www.facebook.com/FormalizingMAGIC/
**************************************************************************




**************************************************************************
By Organizing Committee, "FormalMAGiC":
(Formalizing Mechanisms for Artificial General Intelligence and Cognition)
---
eMail: formalmagic@cogsci.uos.de
Home Page: http://www.cogsci.uos.de/~formalmagic/
Facebook: http://www.facebook.com/FormalizingMAGIC/
**************************************************************************