ACE: A Flexible Environment for Complex Event Processing in Logical Agents

Costantini, Stefania

doi:10.1007/978-3-319-26184-3_5

Cited by 13 publications

(8 citation statements)

References 35 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Primary references: [100] Other references describing / exploiting the technology: [95,96,130] URL: http://www.dmi.unipg.it/formis/raspberry MAS perspective RASP (Resourced Answer Set Programming) extends Answer Set Programming (ASP, by Lifschitz [231]) by supporting declarative reasoning on production and consumption of resources. Although RASP is not, strictly speaking, an agent-oriented paradigm, Costantini and Formisano [96] exploit it to extend (logic) agents reasoning capabilities in a resource-oriented scenario.…”

Section: Rasp (2010)mentioning

confidence: 99%

Logic-based technologies for multi-agent systems: a systematic literature review

Calegari

Ciatto

Mascardi

et al. 2020

Auton Agent Multi-Agent Syst

View full text Add to dashboard Cite

Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes them be identified with the whole AI by many non-computer-scientists and non-technical media, symbolic approaches are getting more and more attention as those that could make AI amenable to human understanding. Given the recurring cycles in the AI history, we expect that a revamp of technologies often tagged as “classical AI”—in particular, logic-based ones—will take place in the next few years. On the other hand, agents and multi-agent systems (MAS) have been at the core of the design of intelligent systems since their very beginning, and their long-term connection with logic-based technologies, which characterised their early days, might open new ways to engineer explainable intelligent systems. This is why understanding the current status of logic-based technologies for MAS is nowadays of paramount importance. Accordingly, this paper aims at providing a comprehensive view of those technologies by making them the subject of a systematic literature review (SLR). The resulting technologies are discussed and evaluated from two different perspectives: the MAS and the logic-based ones.

show abstract

Section: Rasp (2010)mentioning

confidence: 99%

Logic-based technologies for multi-agent systems: a systematic literature review

Calegari

Ciatto

Mascardi

et al. 2020

Auton Agent Multi-Agent Syst

View full text Add to dashboard Cite

show abstract

“…Costantini (2015a) proposes the general software engineering approach of transforming an agent into an agent computational environment (ACE) composed of: (1) the ‘main’ agent program, or ‘basic agent’; (2) a number of reasoning modules available to the main agent program; (3) a number of data sources ( ‘contexts’) that the agent is able to access; some contexts will be internal, or local; some will be external, where the set of accessible contexts may vary over time. There is no assumption about how the various components are defined, except that they are based upon Computational Logic.…”

Section: Modular Distributed Architecturesmentioning

confidence: 99%

“…Costantini (2015a) proposes a full formalization with a semantics, which draws inspiration from MCSs’ equilibrium semantics, and discusses an application to Complex Event Processing. Costantini and Formisano (2016) enhances the approach by introducing the evolution of the system in time under components’ update, and by making bridge-rules application tailored to agents on the line of Costantini (2015 b ), Costantini and De Gasperis (2015): in fact, bridge rules are proactively triggered upon specific conditions and the obtained knowledge is reactively elaborated via a management function which generalizes the analogous MCS’s concept.…”

Section: Modular Distributed Architecturesmentioning

confidence: 99%

Answer set programming and agents

Dyoub

Gasperis

2018

The Knowledge Engineering Review

Self Cite

View full text Add to dashboard Cite

In this paper, we discuss the potential role of answer set programming (ASP) in the context of approaches to the development of agents and multi-agent systems especially in the realm of Computational Logic. After shortly recalling the main (computational-logic-based) agent-oriented frameworks, we introduce ASP; then, we discuss the usefulness of a potential integration of the two paradigms in a modular heterogeneous framework, and the feasibility of such integration. This also in the more general view of improving and empowering flexibility of agent-oriented frameworks. Relevant literature will be mentioned and discussed. Possible future directions and potential developments will be outlined.

show abstract

“…Self-checking agents [6][7][8] can do this kind of reasoning by enabling expressing properties (or meta-constraints), by means of a linear temporal logic, defining what constraints should hold during the execution of the agent. Then, in case of a property violation, the agent can try to execute a self-repair to restore an acceptable or desired state of affairs.…”

Section: Related Workmentioning

confidence: 99%

“…Furthermore, note that such an imposition of constraints as well as the definition of the conditions, regarding individual (internal or external) actions, can also be done directly in the specification of the oracles. Clearly, the meta-constraints defined in [6][7][8] are higher level and in some sense, easier to maintain, but they are also less expressible. Moreover, as it happens with the previous solutions, the agent can only attempt to make repairs if they are explicitly stated in the meta-constraint statement, and there is no guarantee that the repair specified by the programmer is correct, as in ET R. GOLOG [24] is a high-level agent programming language, in which it is possible to prove correctness of a program execution in achieving an agent's goal.…”

Section: Related Workmentioning

confidence: 99%

Combining transactions and automatic repairs

Gomes

Alferes

2015

Journal of Logic and Computation

View full text Add to dashboard Cite

External Transaction Logic (ET R) is an extension of logic programming useful to reason about the behaviour of agents that have to operate in a transactional way, in a two-fold environment: an internal knowledge base defining the agent's internal knowledge and rules of behaviour, and an external world where it executes actions and interacts with other entities. Actions performed by the agent in the external world may fail, e.g. because their preconditions are not met, or because they violate some norm of the external environment. The failure to execute some action should lead, in the internal knowledge base, to its complete rollback, following the standard ACID transaction model used e.g. in databases. Since it is impossible to rollback external actions performed in the outside world, external consistency must be achieved by executing compensating operations (or repairs) that revert the effects of the initial executed actions. In ET R, repairs are stated explicitly in the program. With it, every performed external action is explicitly associated with its corresponding compensation or repair. Such user-defined repairs provide no guarantee to revert the effects of the original action. In this article, we define how ET R can be extended to automatically calculate compensations in case of failure. For this, we start by explaining how the semantics of Action Languages can be used to model the external domain of ET R, and how we can use it to reason about the reversals of actions.http://logcom.oxfordjournals.org/ Downloaded from 1. formalize how the external oracle in ET R can be instantiated using action languages in general, and specifically, with action language C (Section 3); 2. generalize ET R to deal with repair plans, rather than simply with compensating actions (Section 5); 3. formalize how to automatically infer repair plans when the external environment is expressed as an action language (Section 5); and 4. elaborate on the properties of these repair plans (Section 5.3) and compare our solution with the related work (Section 6).This article is a revised extended version of the work in [20] for the Special Issue of the Journal of Logic and Computation on Computational Logic in Multi-Agent Systems, with additional discussion, proof of the results and further comparison of the related work. ET R [19] is an extension of Transaction Logic [3] to deal with actions performed in an external environment of which an agent has no control. With it, one can specify and reason about changes in by guest on May 8, 2015 http://logcom.oxfordjournals.org/ Downloaded from to be true (and say that φ succeeds in P from the state S 1 ), if there is a path S 1 , A 1 ..., A n−1 S n that makes (1) true. External transaction logic Example 7Recall our Example 5. In the program P defined there, it is the case that P,({},E 1 )-|= t, i.e. that transaction t can successfully execute in a path starting in state ({},E 1 ) Particularly, that statement is true because the execution of transaction t holds in the following paths:This means that,...

show abstract

ACE: A Flexible Environment for Complex Event Processing in Logical Agents

Cited by 13 publications

References 35 publications

Logic-based technologies for multi-agent systems: a systematic literature review

Logic-based technologies for multi-agent systems: a systematic literature review

Answer set programming and agents

Combining transactions and automatic repairs

Contact Info

Product

Resources

About