J. Harland and M. Winiko , Agents via Mixed-mode Computation in Linear Logic: A Proposal, Proceedings of the ICLP'01 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-01), Paphos, December, 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Language Design Issues for Agents based on Linear Logic.. - Harland, Winikoff (5 citations) (Correct)
....Forum [24] LLP [16] and Lygon [12] it seems natural to explore the use of linear logic as a basis for BDI style agent systems. In [13] it was shown how a notion of forward chaining could be introduced into the standard sequent calculus for linear logic in order to provide such behaviour. In [14] the use of this framework as a basis for agent systems was discussed. In this paper we develop this direction further by examining the language design issues for such a system. This paper is organised as follows: in we give an overview of BDI systems, linear logic and linear logic ....
....normalizations and hence proof search strategies) and cut elimination results. Some of the rules for mixed mode inference in linear logic can be found in Appendix B. For the full set of rules (and additional details relating to quantification) see [13] 3 Designing Agent Programming Systems In [14] it was discussed how an agent system requires (at least) the properties below: 1. A means of decomposing a given goal G into subgoals 2. A means of determining a set of possible plans to achieve the subgoals 3. A means of monitoring environmental changes and accordingly evaluating the most ....
[Article contains additional citation context not shown here]
J. Harland and M. Winiko#, Agents via Mixed-mode Computation in Linear Logic: A Proposal, Proceedings of the ICLP'01 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-01), Paphos, December, 2001.
Language Design Issues for Agents based on Linear Logic.. - Harland, Winikoff (5 citations) (Correct)
....Forum [24] LLP [16] and Lygon [12] it seems natural to explore the use of linear logic as a basis for BDI style agent systems. In [13] it was shown how a notion of forward chaining could be introduced into the standard sequent calculus for linear logic in order to provide such behaviour. In [14] the use of this framework as a basis for agent systems was discussed. In this paper we develop this direction further by examining the language design issues for such a system. This paper is organised as follows: in 2 we give an overview of BDI systems, linear logic and linear logic ....
....normalizations and hence proof search strategies) and cut elimination results. Some of the rules for mixed mode inference in linear logic can be found in Appendix B. For the full set of rules (and additional details relating to quantification) see [13] 3 Designing Agent Programming Systems In [14] it was discussed how an agent system requires (at least) the properties below: 1. A means of decomposing a given goal G into subgoals 2. A means of determining a set of possible plans to achieve the subgoals 3. A means of monitoring environmental changes and accordingly evaluating the most ....
[Article contains additional citation context not shown here]
J. Harland and M. Winikoff, Agents via Mixed-mode Computation in Linear Logic: A Proposal, Proceedings of the ICLP'01 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-01), Paphos, December, 2001.
Agents via Mixed-mode Computation in Linear Logic - Harland, Winikoff (2004) (1 citation) Self-citation (Harland Winiko) (Correct)
No context found.
J. Harland and M. Winiko , Agents via Mixed-mode Computation in Linear Logic: A Proposal, Proceedings of the ICLP'01 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-01), Paphos, December, 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC