DALI for Cognitive Robotics: Principles and Prototype Implementation

DALI is a logic Prolog-based Multi Agent System Language and Framework (publicly available on GitHub) developed at University of L’Aquila since 1999, and includes features aimed at user monitoring and training in Ambient Intelligent applications. In this paper, we show how such features can be integrated and extended in view of cognitive robotic applications; we then illustrate the extensions to the DALI implementation that allow DALI agents to interact with robotic platforms even through the cloud.

[1]  Stefania Costantini,et al.  Self-checking Logical Agents , 2013, LA-NMR.

[2]  Stefania Costantini,et al.  ACE: A Flexible Environment for Complex Event Processing in Logical Agents , 2015, EMAS@AAMAS.

[3]  David V. Keyson,et al.  Minimal Requirements of Realism In Social Robots: Designing for Patients with Acquired Brain Injury , 2015, CHI Extended Abstracts.

[4]  Stefania Costantini,et al.  Modeling preferences and conditional preferences on resource consumption and production in ASP , 2009, J. Algorithms.

[5]  Chitta Baral,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .

[6]  Luís Moniz Pereira,et al.  Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents , 2011, RuleML Europe.

[7]  Johan F. Hoorn,et al.  Robots Humanize Care - Moral Concerns Versus Witnessed Benefits for the Elderly , 2015, HEALTHINF.

[8]  Stefania Costantini,et al.  A Logic Programming Language for Multi-agent Systems , 2002, JELIA.

[9]  Angelo Ferrando,et al.  FRIENDLY & KIND with your Health: Human-Friendly Knowledge-INtensive Dynamic Systems for the e-Health Domain , 2016, PAAMS.

[10]  Giulio Sandini,et al.  The iCub humanoid robot: An open-systems platform for research in cognitive development , 2010, Neural Networks.

[11]  Luís Moniz Pereira,et al.  Towards a Model of Evolving Agents for Ambient Intelligence , 2007 .

[12]  Stefania Costantini,et al.  Memory, Experience and Adaptation in Logical Agents , 2013 .

[13]  Mark Ryan,et al.  Formalisms for multi-agent systems , 1997, Knowl. Eng. Rev..

[14]  Stefania Costantini,et al.  Context and Action: A Unitary Vision Within a Logic-Based Multi-agent Environment , 2016 .

[15]  Pengfei Hao,et al.  A Heading Maintaining Oriented Compression Algorithm for GPS Trajectory Data , 2019, Informatica.

[16]  Paolo Torroni,et al.  COMPUTATIONAL LOGICS AND AGENTS: A ROAD MAP OF CURRENT TECHNOLOGIES AND FUTURE TRENDS , 2007, Comput. Intell..

[17]  Stefania Costantini,et al.  Runtime Self-Checking via Temporal (Meta-)Axioms for Assurance of Logical Agent Systems , 2014, CILC.

[18]  Stefania Costantini,et al.  The DALI Logic Programming Agent-Oriented Language , 2004, JELIA.