Titlebook: Declarative Agent Languages and Technologies V; 5th International Wo Matteo Baldoni,Tran Cao Son,Michael Winikoff Conference proceedings 20

感染

Composing High-Level Plans for Declarative Agent Programming’s basic capabilities, enhancing the agent’s ability to deal with failures. Moreover our approach allows the new plans to be included in the plan library, effectively enabling the agent to improve its runtime performance over time.

hieroglyphic

Ophthalmoscope

Structured Argumentation in a Mediator for Online Dispute Resolutionble logic is enriched with three types of negated rules which offer symmetrical means of argumentation for both disputants. A corollary of this extension consists in defining a specialized type of undercutting defeater. The theory is illustrated with the help of a concrete business-to-client case in a prototype implemented system.

吹牛者

Modeling Agents’ Choices in Temporal Linear Logics made earlier. In this paper we investigate a formal framework for modeling the choices of an agent. In particular, we show how the use of a choices calculus based on . can be used to capture distribution, temporal and dependency aspects of choices.

BLA

Conflict Resolution in Norm-Regulated Environments Via Unification and Constraintse use first-order unification and constraint satisfaction to detect and resolve such conflicts, introducing a concept of .. We present an algorithm for norm adoption which preserves conflict-freedom. Our approach allows us to address indirect conflicts and conflicts arising from the delegation of actions between agents.

无法解释

Modify

罗盘

Interoperation in Protocol Enactmentrtant concern. A common way of achieving interoperability is by requiring agents to follow prescribed protocols in their interactions with others. In existing systems, agents must follow any protocol to the letter; in other words, they should exchange messages exactly as prescribed by the protocol.

自传

炼油厂

Satisfying Maintenance Goals aim of this paper is to define a mechanism which ensures the satisfaction of maintenance goals. We argue that such a mechanism requires the agent to look ahead, in order to make sure that the execution of actions does not lead to a violation of a maintenance goal. That is, maintenance goals may con