This book of Proceedings contains the accepted papers of the rst International Workshop on Arti cial Intelligence and Cognition (AIC13). The workshop, held in Turin (Italy) on 3rd December 2013, has been co-located with the XIII International Conference of the Italian Association on Arti cial Intelligence. The scienti c motivation behind AIC13 resides on the growing impact that, in the last years, the collaboration between Cognitive Science and Arti cial Intelligence (AI) had for both the disciplines. In AI this partnership has driven to the realization of intelligent systems based on plausible models of human cognition. In turn, in cognitive science, the partnership allowed the development of cognitive models and architectures (based on information processing, on representations and their manipulation, etc.) providing greater understanding on human thinking.
In the paper "Controlling a General Purpose Service Robot By Means Of a Cognitive Architecture" by Jordi-Ysard Puigbo, Albert Pumarola and Ricardo Tellez, the authors present a humanoid service robot equipped with a set of simple action skills including navigating, grasping, recognizing objects or people, etc. The robot has to complete a voice command in natural language that encodes a complex task. To decide which of those skills should be activated and in which sequence the SOAR cognitive architecture has been used. SOAR acts as a reasoner that selects the current action the robot must do, moving it towards the goal. The architecture allows to include new goals by just adding new skills.
In the paper "Towards a Cognitive Architecture for Music Perception" by Antonio Chella, the author presents a framework of a cognitive architecture for music perception. The architecture takes into account many relationships between vision and music perception and its focus resides in the intermediate area between the subsymbolic and the linguistic areas, based on conceptual spaces. Also, a conceptual space for the perception of notes and chords is discussed, and a focus of attention mechanism scanning the conceptual space is outlined.
In the paper "Typicality-Based Inference by Plugging Conceptual Spaces Into Ontologies" by Leo Ghignone, Antonio Lieto and Daniele P. Radicioni the authors propose a cognitively inspired system for the representation of conceptual information in an ontology-based environment. The authors present a system designed to provide a twofold view on the same arti cial concept combining a classic symbolic component (grounded on a formal ontology) with a typicalitybased one (grounded on the Conceptual Spaces framework). The implemented system has been tested in a pilot experimentation regarding the classi cation task of linguistic stimuli.
In the paper "Introducing Sensory-motor Apparatus in Neuropsychological Modelization" by Onofrio Gigliotta, Paolo Bartolomeo and Orazio Miglino, the authors present arti cial embodied neural agents equipped with a pan/tilt camera, provided with di erent neural and motor capabilities, to solve a well known neuropsychological test: the cancellation task. The paper shows that embodied agents provided with additional motor capabilities (a zooming motor) outperform simple pan/tilt agents even when controlled by more complex neural controllers.
In the paper "How A ordances can Rule the (Computational) World" by Alice Ruggeri and Luigi Di Caro, the authors propose the idea of integrating the concept of a ordance within the ontology based representations. The authors propose to extend the idea of ontologies taking into account the subjectivity of the agents that are involved in the interaction with an external environment. Instead of duplicating objects, according to the interaction, the ontological representations should change their aspects, tting the speci c situations that take place. The authors suggest that this approach can be used in di erent domains from Natural Language Processing techniques and Ontology Alignment to User Modeling.
In the paper "Latent Semantic Analysis as Method for Automatic Question Scoring" by David Tobinski and Oliver Kraft, the authors discuss the rating of one item taken from an exam using Latent Semantic Analysis (LSA). It is attempted to use documents in a corpus as assessment criteria and to project student answers as pseudo-documents into the semantic space. The paper shows that as long as each document is su ciently distinct from each other, it is possible to use LSA to rate open questions.
In the paper "Higher-order Logic Description of MDPs to Support Metacognition in Arti cial Agents" by Roberto Pirrone, Vincenzo Cannella and Antonio Chella, the authors propose a formalism to represent factored MDPs in higher- order logic. This work proposes a mixed representation that combines both numerical and propositional formalism to describe Algebraic Decision Diagrams (ADDs) using rst-, second- and third-order logic. In this way, the MDP description and the planning processes can be managed in a more abstract manner. The presented formalism allows manipulating structures, which describe entire MDP classes rather than a speci c process.
In the paper Dual Aspects of Abduction and Induction by Flavio Zelazek, the author proposes a new characterization of abduction and induction based on the idea that the various aspects of the two kinds of inference rest on the essential features of increment of comprehension and extension of the terms involved. These two essential features are in a reciprocal relation of duality, whence the highlighting of the dual aspects of abduction and deduction.
In the paper "Plasticity and Robotics" by Martin Flament Fultot, the author focuses on the link between robotic systems and living systems, and sustains that behavioural plasticity constitutes a crucial property that robots must share with living beings. The paper presents a classi cation of the di erent aspects of plasticity that can contribute to a global behavioral plasticity in robotic and living systems.
In the paper "Characterising Ctations in Scholarly Articles: an Experiment" by Paolo Ciancarini, Angelo Di Iorio, Andrea Giovanni Nuzzolese, Silvio Peroni and Fabio Vitali, the authors present some experiments in letting humans annotate citations according to the CiTO ontology, a OWL-based ontology for describing the nature of citations, and compare the performance of di erent users.
In the paper "A Meta-Theory for Knowledge Representation" by Janos Sarbo, the author faces the problem of representation of meaningful interpretations in AI. He sustains that a process model of cognitive activities can be derived from the Peircean theory of categories, and that this model may function as a metatheory for knowledge representation, by virtue of the fundamental nature of categories.
In the paper "Linguistic A ordances: Making Sense of Word Senses" by Alice Ruggeri and Luigi Di Caro, the authors focus the attention on the roles of word senses in standard Natural Language Understanding tasks. They propose the concept of linguistic a ordances (i.e., combinations of objects properties that are involved in speci c actions and that help the comprehension of the whole scene being described), and argue that similar verbs involving similar properties of the arguments may refer to comparable mental scenes.
In the paper "Towards a Formalization of Mental Model Reasoning for Syllogistic Fragments" by Yutaro Sugimoto, Yuri Sato and Shigeyuki Nakayama, the authors consider the recent developments in implementations of mental models theory, and formulate a mental model of reasoning for syllogistic fragments satisfying the formal requirements of mental model de nition.
Acknowledgements We would like to thank the keynote speakers of the workshop: Prof. Christian Freksa (University of Bremen, Germany) and Prof. Orazio Miglino (University of Napoli Federico II and ISTC-CNR, Italy) for accepting our invitation.
We sincerely thank the Interaction Models Group of the University of Turin, Italy (http://www.di.unito.it/ gull/), the Italian Association for Arti cial Intelligence (AI*IA, http://www.aixia.it/), and the Italian Association of Cognitive Sciences (AISC, http://www.aisc-net.org) for their support in the organization of the workshop, and also the Rosselli Foundation (Fondazione Rosselli), Turin, Italy, for its logistic support.
We would like also to thank the members of the Scienti c Committee for their valuable work during the reviewing process and the additional reviewers.
We would like to dedicate this book of proceedings to the Prof. Leonardo Lesmo, unfortunately no longer among us, that strongly encouraged and helped us in all the phases of the organization of this workshop.
ISTC-CNR, Italy ISTC-CNR, Italy University La Sapienza, Italy Carnegie Mellon University, USA LOA-ISTC, CNR, Italy University of Genova, Italyl University La Sapienza, Italy University of Palermo and ICAR-CNR, Italy ISTC-CNR, Italy, and LIPN University Paris13CNRS, France University of Napoli Federico II , Italy University of Helsinki, Finland University of Quebec a Montreal, Canada University of Torino, Italy School of Advanced Studies on Theoretical Methodologies of Physics, Italy University of Torino, Italy University of Napoli Federico II, Italy Carnegie Mellon University, USA ISTC-CNR, Italy University of Messina, Italy University of Messina, Italy University of Turin, Italy Orebro University, Sweden University of Palermo, Italy University of Torino, Italy