AGI Summer-School

Congratulations!

Pei Wang: Non-Axiomatic Logic (World Scientific)
www.worldscientific.com

This book provides a systematic and comprehensive description of Non-Axiomatic Logic, which is the result of the author's research for about three decades.

Non-Axiomatic Logic (World Scientific) This book provides a systematic and comprehensive description of Non-Axiomatic Logic, which is the result of the author's research for about three decades.

https://www.facebook.com/SolvingAI/posts/584365644937885

Facebook developing brain-like AI to find deeper meaning in feeds and photos Facebook's current News Feed ranking isn't all that clever -- it's good at surfacing popular updates, but it can miss lower-profile updates that are

There will be another AGI Summer School in 2013, collocated with AGI-13. For details, see http://www.mindmakers.org/projects/agi-summer-school-2013

Overview - AGI Summer School - 2013 - Mindmakers Redmine

Watch the recent interview with Josha Bach at Winter Intelligence/AGI 12 Oxford University:
http://www.youtube.com/watch?v=PyKzO0MF1zI

Josha Bach Interview at Winter Intelligence/AGI 12 Oxford University Joscha Bach, Ph.D. is an AI researcher who worked and published about cognitive architectures, mental representation, emotion, social modeling, and multi-age...

Call for Papers & Participation:
Home Page: http://www.cogsci.uos.de/~formalmagic/
Facebook: http://www.facebook.com/FormalizingMAGIC/

***********************************************************
** **
** 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:
[email protected]) 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 Osnabrück, 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 page to share the
interests, post questions, and get recent updates:
Facebook : http://www.facebook.com/FormalizingMAGIC/
***********************************************************


**************************************************************************
eMail: [email protected]
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: [email protected]
Home Page: http://www.cogsci.uos.de/~formalmagic/
Facebook: http://www.facebook.com/FormalizingMAGIC/
**************************************************************************

Formal-MAGIC - AGI-13 Workshop 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 betw...

An essential question:

What "cognitive mechanisms" would you like that AGI could formalize, represent, and build techniques for computing?

FYI, Pei Wang sent the following Preliminary Call for Papers: Artificial General Intelligence 2013, Beijing, July 31 - Aug 3, 2013:

***********************************
PRELIMINARY CALL FOR PAPERS: AGI-13
***********************************

The Sixth Conference on Artificial General Intelligence (AGI-13)
July 31, 2013 -- August 3, 2013, Beijing, China
Website: http://www.agi-conf.org/2013/

The original goal of the AI field was the construction of "thinking
machines" -- that is, computer systems with human-like general
intelligence. As this task turned out to be way more difficult than
initially expected, the majority of AI researchers have spent the last
decades focusing on the less ambitious goal referred to as "narrow AI"
-- the production of AI systems exhibiting intelligence only with
respect to specific, highly constrained tasks. In recent years,
however, more and more researchers have recognized the necessity --
and feasibility -- of returning to the original goals of the field.
Reasons for the new optimism in attempting to tackle the mentioned old
goals are based on new developments in computer science, engineering,
and insights in disciplines trying to understand cognition. Examples
of such developments are the dramatic increase in computing resources,
the digital availability of huge amounts of knowledge, new machine
learning paradigms, the possibility to build highly sophisticated
robotic applications, and new findings and inspiration from
neuroscience and cognitive science. Increasingly, there is a call for
a transition back to facing the more difficult issues of "human-level
intelligence" and more broadly "artificial general intelligence
(AGI)."

The AGI conference series (http://www.agi-conf.org/) is the premier
international forum for cutting-edge research focusing on the original
goal of the AI field — the creation of thinking machines with general
intelligence at the human level and ultimately beyond. The AGI
conference series is held in cooperation with AAAI, and AGI-13 will
co-locate with IJCAI-13.

Like its predecessors, AGI-13 will gather researchers in AGI and
associated disciplines for wide-ranging presentation and discussion of
approaches, architectures, algorithms and ideas relevant to the
advancement of artificial general intelligence.

*** Topics ***

As in prior AGI conferences, we welcome papers on all aspects of AGI
R&D, with the key proviso that each paper should in some way
contribute specifically to the development of Artificial General
Intelligence. Appropriate topics for contributed papers include, but
are not restricted to:

- Agent Architectures
- Autonomy
- Benchmarks and Evaluation
- Cognitive Modeling
- Collaborative Intelligence
- Creativity
- Distributed AI
- Implications of AGI for Society, Economy and Ecology
- Integration of Different Capabilities
- Knowledge Representation for General Intelligence
- Languages, Specification Approaches and Toolkits
- Learning and Learning Theory
- Motivation, Emotion, and Affect
- Multi-Agent Interaction
- Natural Language Understanding
- Neural-Symbolic Processing
- Perception and Perceptual Modeling
- Philosophy of AI
- Rationality
- Reasoning, Inference, and Planning
- Robotics and Virtual Embodiment
- Simulation and Emergent Behavior

*** Panel Discussions ***

The conference will be divided into themed sessions, determined based
on the distribution of topics of the accepted papers; and each themed
session will be concluded by a panel discussion.

*** Special Session on Cognitive Robotics and AGI ***

In the spirit of similar Special Sessions at former AGI conferences,
this Special Session will feature papers giving new AGI ideas inspired
by current research in Cognitive Robotics.

*** Keynotes / Tutorials / Workshops / Demonstrations ***

Keynote speeches will be delivered by leading scientists in the area
of AGI and adjacent disciplines; they will be announced at a later
stage at the website of AGI-13.

Tutorials, workshops, and demonstrations will be held alongside the
conference. For the requirements for proposals, please see the AGI-13
website. Call for papers of the approved workshops will also be
announced there at a later time.

*** Organization ***

- Conference Chair: Pei Wang (Temple University, USA)
- Organizing Committee: Anirban Bandyopadhyay (National Institute for
Materials Science, Japan), Rod Furlan (Quaternix Research Inc.,
Canada), Ben Goertzel (Novamente LLC, USA), Marcus Hutter (Australian
National University, Australia), Kai-Uwe Kuehnberger (University of
Osnabrueck, Germany), Stephen Reed (TEXAI, USA), Sebastian Rudolph
(Karlsruhe Institute of Technology, Germany), Rafal Rzepka (Hokkaido
University, Japan), Zhongzhi Shi (Institute of Computing Technology,
China), Pei Wang (Temple University, USA), Byoung-Tak Zhang (Seoul
National University, Korea)
- Program Co-Chairs: Kai-Uwe Kuehnberger (University of Osnabrueck,
Germany), Sebastian Rudolph (Karlsruhe Institute of Technology,
Germany)
- Program Committee Members: to be announced later
- Publicity Chair: Rod Furlan (Quaternix Research Inc., Canada)
- Co-Chairs of the Special Session on Cognitive Robotics and AGI:
David Hanson (Hanson Robotics, USA), Il-Hong Suh (Hanyang University,
Korea)
- Poster and Demonstration Chair: Bo An (Institute of Computing
Technology, China)
- Tutorial and Workshop Chair: Kristinn Thorisson (Reykjavik
University, Iceland)
- Local Committee: Xihong Wu, Dingsheng Luo, Beihai Zhou (Peking
University, China)

*** Important Dates ***

- Full paper submission: March 1, 2013
- Acceptance Notification: April 20, 2013
- Camera-ready copy: May 15, 2013
- Conference: July 31, 2013 -- August 3, 2013

*** Submission Information ***

All papers have to be submitted via the conference submission page, to
be announced at the AGI-13 website.

Papers will be published by Springer in the Lecture Notes in Computer
Science/Artificial Intelligence (LNAI) series. Paper templates for
both LaTeX and Word may be found here:
http://www.springer.com/computer/lncs/lncs+authors?SGWID=0-40209-0-0-0
Use the templates for "LNCS Proceedings and Other Multiauthor
Volumes". The LaTeX template (use of which is preferred) is also given
directly here: ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip.

There are two types of submissions:

- Full papers (up to 10 pages): Original research in the above areas.
- Technical Communications (up to 4 pages): Results and ideas with
interest to the AGI audience, including reports about recent own
publications, position papers, and preliminary results.

All accepted papers will be included in the proceedings, with
Technical Communications clearly marked as such. All full papers and
selected Technical Communications will be invited to give a talk at
the conference. All accepted papers that are not chosen for talks can
be presented as posters.

Papers must be in English, should not exceed the lengths constraints
for the respective type of submission, and must be formatted 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 (Adobe's Portable Document Format) format and will not be
accepted in any other format. Papers that do not follow the guidelines
specified above can be rejected automatically without a review. At
least one author of each accepted paper must register for the
conference and present the paper there.

The Sixth Conference on Artificial General Intelligence Continuing the mission of the pastAGI conferences, AGI-13 gathers an international group of leading academic and industry researchers involved in scientific and engineering work aimed directly toward the goal of Artificial General Intelligence (AGI). This is the first AGI conference to be held in As...

GeneraL::
Kindly, share with us how did you know about the AGI Summer School and what made you decide to attend.