Runtime Self-Checking via Temporal (Meta-)Axioms for Assurance of Logical Agent Systems

This paper deals with assurance of logical agent systems via runtime self-monitoring and checking. We adopt temporal-logic-based special constraints to be dynamically checked at a certain (customizable) frequency. These constraints are based upon a simple interval temporal logic particularly tailored to the agent realm, A-ILTL (‘Agent-Oriented Interval LTL’, LTL standing as customary for ‘Linear Temporal Logic’).

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

[2]  Frank Dederichs,et al.  Safety and Liveness From a Methodological Point of View , 1990, Inf. Process. Lett..

[3]  Luís Moniz Pereira,et al.  Runtime Verification of Agent Properties , 2009 .

[4]  Paola Mello,et al.  Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions , 2011, Intelligenza Artificiale.

[5]  Thomas A. Henzinger,et al.  Timed Transition Systems , 1991, REX Workshop.

[6]  Koen V. Hindriks,et al.  A Verification Logic for Goal Agents , 2010 .

[7]  John M. Rushby,et al.  Runtime Certification , 2008, RV.

[8]  Mehdi Dastani,et al.  Programming Multi-Agent Systems in 3APL , 2005, Multi-Agent Programming.

[9]  Paul Vincent Event-Driven Rules: Experiences in CEP , 2011, RuleML America.

[10]  Martin Gebser,et al.  Reactive Answer Set Programming , 2011, LPNMR.

[11]  Stefania Costantini,et al.  Meta-level Constraints for Complex Event Processing in Logical Agents , 2013 .

[12]  Opher Etzion,et al.  Event processing , 2010, Proc. VLDB Endow..

[13]  Koen V. Hindriks,et al.  Specification and Verification of Multi-agent Systems , 2010 .

[14]  Howard Barringer,et al.  Rule Systems for Run-time Monitoring: from Eagle to RuleR , 2010, J. Log. Comput..

[15]  Michael Winikoff,et al.  Assurance of Agent Systems: What Role should Formal Verification play? , 2010 .

[16]  Adrian Paschke,et al.  Standards for Complex Event Processing and Reaction Rules , 2011, RuleML America.

[17]  Stefania Costantini,et al.  Application of Hybrid Agents to Smart Energy Management of a Prosumer Node , 2013, Int. J. Interact. Multim. Artif. Intell..

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

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

[20]  Alessio Lomuscio,et al.  Combining fault injection and model checking to verify fault tolerance in multi-agent systems , 2009, AAMAS.

[21]  Zohar Manna,et al.  Adequate Proof Principles for Invariance and Liveness Properties of Concurrent Programs , 1984, Sci. Comput. Program..

[22]  Stefania Costantini,et al.  Answer Set Modules for Logical Agents , 2010, Datalog.

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

[24]  Grzegorz Rozenberg,et al.  Real-Time: Theory in Practice: Rex Workshop, Mook, the Netherlands, June 3-7, 1991: Proceedings , 1992 .

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

[26]  J. Van Leeuwen,et al.  Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

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

[28]  Frank Dignum,et al.  A Programming Language for Cognitive Agents Goal Directed 3APL , 2003, PROMAS.

[29]  Stefania Costantini,et al.  Expressing preferences declaratively in logic-based agent languages , 2006, WOA.

[30]  Koen V. Hindriks,et al.  Programming Rational Agents in GOAL , 2009, Multi-Agent Programming, Languages, Tools and Applications.

[31]  E. D. Giorgi Selected Papers , 2006 .

[32]  Rafael H. Bordini,et al.  Semantics for the Jason Variant of AgentSpeak (Plan Failure and some Internal Actions) , 2010, ECAI.

[33]  Steven E. Butner,et al.  Transforming a surgical robot for human telesurgery , 2003, IEEE Trans. Robotics Autom..

[34]  Adrian Paschke,et al.  Rule-Based Event Processing and Reaction Rules , 2009, RuleML.

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

[36]  K. Mani Chandy,et al.  10201 Executive Summary and Manifesto - Event Processing , 2010, Event Processing.

[37]  Vaughan R. Pratt,et al.  SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC , 1976, FOCS 1976.

[38]  Stefania Costantini,et al.  Complex Reactivity with Preferences in Rule-Based Agents , 2012, RuleML.

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

[40]  Jürgen Dix,et al.  Multi-Agent Programming , 2009, Springer US.

[41]  Paola Mello,et al.  Reactive Event Calculus for Monitoring Global Computing Applications , 2012, Logic Programs, Norms and Action.

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