Linear Logic, Partial Deduction and Cooperative Problem Solving

Küngas, Peep; Matskin, Mihhail

doi:10.1007/978-3-540-25932-9_14

Cited by 18 publications

(12 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Linear logic [3] is well-known for modeling resources as well as updating processes. It has been considered in agent systems to support agent negotiation and planning by means of proof search [5,8].…”

Section: Linear Logicmentioning

confidence: 99%

“…Linear logic is a natural mechanism to provide this ability [5]. In addition, it is emphasized in [8] that linear logic is used to model agent states as sets of consumable resources and particularly, linear implication is used to model transitions among states and capabilities of agents.…”

Section: Linear Logicmentioning

confidence: 99%

“…Similar works in [8] and [9] explore the advantages of linear logic and TLL respectively by using partial deduction techniques to help agents to figure out the missing capabilities or resources and based on that, to negotiate with other agents about cooperation strategies. Our approach differs in bringing the concept of commitment into the modeling of interaction, and providing a more natural and detailed map for specifying interaction, especially about choices, time and updating using the full propositional TLL.…”

Section: Conclusion and Further Workmentioning

confidence: 99%

See 2 more Smart Citations

Temporal linear logic as a basis for flexible agent interactions

Pham

Harland

2007

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems

View full text Add to dashboard Cite

Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion of commitments, which provides a mechanism for coordinating interactive behaviors among agents. In this paper, we investigate an approach to model commitments with tight integration with protocol actions. This means that there is no need to have an explicit mapping from protocols actions to operations on commitments and an external mechanism to process and enforce commitments. We show how agents can reason about commitments and protocol actions to achieve the end results of protocols using a reasoning system based on temporal linear logic, which incorporates both temporal and resource-sensitive reasoning. We also discuss the application of this framework to scenarios such as online commerce.

show abstract

Section: Linear Logicmentioning

confidence: 99%

Section: Linear Logicmentioning

confidence: 99%

Section: Conclusion and Further Workmentioning

confidence: 99%

See 1 more Smart Citation

Temporal linear logic as a basis for flexible agent interactions

Pham

Harland

2007

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems

View full text Add to dashboard Cite

show abstract

“…In [15,20,21], the authors propose the use of Linear Logic to model the notion of resource utilisation, and to generate which plans the agent adopts to achieve its goals. In the same spirit, [13,12] address the problem of agents being able to take decisions from partial, incomplete, and possibly inconsistent knowledge bases, using (extensions of) Defeasible Logic (a computational and proof theoretic approach) to non-monotonic reasoning and reasoning with exceptions.…”

Section: Introductionmentioning

confidence: 99%

Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes

Olivieri

Governatori

Tomazzoli

et al. 2019

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

Linear Logic and Defeasible Logic have been adopted to formalise different features of knowledge representation: consumption of resources, and non monotonic reasoning in particular to represent exceptions. Recently, a framework to combine sub-structural features, corresponding to the consumption of resources, with defeasibility aspects to handle potentially conflicting information, has been discussed in literature, by some of the authors. Two applications emerged that are very relevant: energy management and business process management. We illustrate a set of guide lines to determine how to apply linear defeasible logic to those contexts.

show abstract

“…Previously, Küngas and Matskin proposed [2] that symbolic negotiation could be formalised as partial deduction (PD) for linear logic (LL). In [3] a formalisation of PD for LL was presented and its soundness and completeness was proved.…”

Section: Introductionmentioning

confidence: 99%