Reflection and Introspection for Humanized Intelligent Agents

Methods for implementing Automated Reasoning in a fashion that is at least reminiscent of human cognition and behavior must refer (also) to Intelligent Agents. In fact they implement many important autonomous applications upon which, nowadays, the life and welfare of living beings may depend. In such contexts, ’humanized’ agents should do what is expected of them, but perhaps more importantly they should not behave in improper/unethical ways given the present context. We propose techniques for introspective selfmonitoring and checking.

[1]  I. G. BONNER CLAPPISON.  Editor , 1960, The Electric Power Engineering Handbook - Five Volume Set.

[2]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[3]  Luc Steels,et al.  Enhancing the Knowledge Engineering Process: Contributions from Esprit , 1993 .

[4]  Jürgen Dix,et al.  A Classification Theory of Semantics of Normal Logic Programs: I. Strong Properties , 1995, Fundam. Informaticae.

[5]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

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

[7]  J. Horty.  Agency and Deontic Logic , 2001 .

[8]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[9]  S. Globali,et al.  IEEE INTELLIGENT SYSTEMS , 2022, IEEE MultiMedia.

[10]  Christian Plessl,et al.  Self-Aware and Self-Expressive Systems , 2015, Computer.

[11]  Stefania Costantini,et al.  About Declarative Semantics of Logic-Based Agent Languages , 2005, DALT.

[12]  Amir Pnueli,et al.  The Glory of the Past , 1985, Logic of Programs.

[13]  Selmer Bringsjord,et al.  Toward a General Logicist Methodology for Engineering Ethically Correct Robots , 2006, IEEE Intelligent Systems.

[14]  Michael Kifer,et al.  Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning , 2017, RuleML+RR.

[15]  Leon van der Torre,et al.  Ten Problems of Deontic Logic and Normative Reasoning in Computer Science , 2010, ESSLLI.

[16]  Jürgen Dix,et al.  A Classification Theory of Semantics of Normal Logic Programs: II. Weak Properties , 1995, Fundam. Informaticae.

[17]  Hector J. Levesque,et al.  The Cognitive Agents Specification Language and Verification Environment , 2010 .

[18]  J. Meigs,et al.  WHO Technical Report , 1954, The Yale Journal of Biology and Medicine.

[19]  Luca Aceto,et al.  A Suite of Monitoring Tools for Erlang , 2017, RV-CuBES.

[20]  Dov M. Gabbay,et al.  Handbook of deontic logic and normative systems , 2013 .

[21]  Werner Karbach,et al.  Knowledge-Level Reflection , 1991 .

[22]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[23]  Mordechai Ben-Ari,et al.  The temporal logic of branching time , 1981, POPL '81.

[24]  Donald Perlis,et al.  Logic, Self-awareness and Self-improvement: the Metacognitive Loop and the Problem of Brittleness , 2005, J. Log. Comput..

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

[26]  Faiz Ben Amar,et al.  Climbing and Walking Robots and the Support Technologies for Mobile Machines , 2002 .

[27]  A. S. Roa,et al.  AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .

[28]  João Leite,et al.  A Survey of Programming Languages and Platforms for Multi-Agent Systems , 2006, Informatica.

[29]  Stefania Costantini,et al.  Meta-reasoning: A Survey , 2002, Computational Logic: Logic Programming and Beyond.

[30]  Peter Koellner,et al.  On reflection principles , 2009, Ann. Pure Appl. Log..

[31]  Jean-Gabriel Ganascia,et al.  A Declarative Modular Framework for Representing and Applying Ethical Principles , 2017, AAMAS.