Flexible Agent Programming in Linear Logic

Authors:
José Juan Palacios Pérez
Affiliations:
-
Venue:
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Year:
2002

Citing 8
Cited 0

Concurrent object-oriented programming

Communications of the ACM
LO and behold! Concurrent structured processes

OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
SELF: the power of simplicity

Lisp and Symbolic Computation
Generating plans in linear logic I: actions as proofs

Theoretical Computer Science
ACL—a concurrent linear logic programming paradigm

ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Concurrent programming: the Java programming language

Concurrent programming: the Java programming language
Functional Programming

Functional Programming
Higher-Order Concurrent Linear Logic Programming

TPPP '94 Proceedings of the International Workshop on Theory and Practice of Parallel Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe our work in progress on 碌ACL, a light implementation of the language ACL (Asynchronous Communications in Linear Logic) for concurrent and distributed linear logic programming. Our description for computing elements (Agents) is inspired by the Actor model of concurrent computation. The essential requirements for Agent programming (communication, concurrency, actions, state update, modularity and code migration) are naturally expressed in 碌ACL. Also, we describe some considerations towards the implementation of a distributed virtual machine for efficient execution of 碌ACL programs.