An Event-Condition-Action Logic Programming Language

Event-Condition-Action (ECA) languages are an intuitive and powerful paradigm for programming reactive systems. Usually, important features for an ECA language are reactive and reasoning capabilities, the possibility to express complex actions and events, and a declarative semantics. In this paper, we introduce ERA, an ECA language based on, and extending the framework of logic programs updates that, together with these features, also exhibits capabilities to integrate external updates and perform self updates to its knowledge (data and classical rules) and behaviour (reactive rules).

[1]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[2]  Vladimir Lifschitz,et al.  Answer Sets in General Nonmonotonic Reasoning (Preliminary Report) , 1992, KR.

[3]  Norman Y. Foo,et al.  Updating Logic Programs , 1998, ECAI.

[4]  François Bry,et al.  Xcerpt and XChange - Logic Programming Languages for Querying and Evolution on the Web , 2004, ICLP.

[5]  Sharma Chakravarthy,et al.  SnoopIB: Interval-based event specification and detection for active databases , 2003, Data Knowl. Eng..

[6]  Wolfgang Faber,et al.  Disjunctive Logic Programs with Inheritance , 1999, ICLP.

[7]  Björn Lisper,et al.  An Interval-Based Algebra for Restricted Event Detection , 2003, FORMATS.

[8]  José Júlio Alferes,et al.  LUPS - A Language for Updating Logic Programs , 1999, LPNMR.

[9]  Alfonso Fuggetta,et al.  Exploiting an event-based infrastructure to develop complex distributed systems , 1998, Proceedings of the 20th International Conference on Software Engineering.

[10]  Chiaki Sakama,et al.  Updating Extended Logic Programs through Abduction , 1999, LPNMR.

[11]  Michael Kifer,et al.  Transaction Logic Programming , 1993, ICLP.

[12]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[13]  Opher Etzion,et al.  Amit - the situation manager , 2003, The VLDB Journal.

[14]  Ján Sefránek,et al.  A Kripkean Semantics for Dynamic Logic Programming , 2000, LPAR.

[15]  José Júlio Alferes,et al.  Evolving Logic Programs , 2002, JELIA.

[16]  Anthony J. Bonner,et al.  A Logical Semantics for Hypothetical Rulebases with Deletion , 1997, J. Log. Program..

[17]  Hans Tompits,et al.  On properties of update sequences based on causal rejection , 2001, Theory and Practice of Logic Programming.

[18]  João Leite,et al.  Adding Knowledge Updates to 3APL , 2006, PROMAS.

[19]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[20]  Jorge Lobo,et al.  Formal Characterization of Active Databases , 1996, Logic in Databases.

[21]  Tova Milo,et al.  Active Views for Electronic Commerce , 1999, VLDB.

[22]  Hans Tompits,et al.  A Framework for Declarative Update Specifications in Logic Programs , 2001, IJCAI.

[23]  Jennifer Widom,et al.  Active Database Systems: Triggers and Rules For Advanced Database Processing , 1994 .

[24]  Vivek Nigam,et al.  Incorporating Knowledge Updates in 3 APL – preliminary report , 2006 .

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

[26]  Bertram Ludäscher,et al.  Nested Transactions in a Logical Language for Active Rules , 1996, Logic in Databases.

[27]  Luís Moniz Pereira,et al.  Generalizing Updates: From Models to Programs , 1997, LPKR.

[28]  João Leite,et al.  Enhancing a Multi-Agent System with Evolving Logic Programs , 2006 .

[29]  José Júlio Alferes,et al.  Active Rules in the Semantic Web: Dealing with Language Heterogeneity , 2005, RuleML.

[30]  Ioana Manolescu,et al.  Active XML: Peer-to-Peer Data and Web Services Integration , 2002, VLDB.

[31]  José Júlio Alferes,et al.  Dynamic updates of non-monotonic knowledge bases , 2000, J. Log. Program..

[32]  José Júlio Alferes,et al.  The Refined Extension Principle for Semantics of Dynamic Logic Programming , 2005, Stud Logica.

[33]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[34]  Radha Jagadeesan,et al.  Timed Default Concurrent Constraint Programming , 1996, J. Symb. Comput..