By Topic

Towards logic programming based coordination in virtual worlds

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Tarau, P. ; Moncton Univ., NB, Canada ; Dahl, V. ; De Bosschere, K.

We propose a unified framework for coordination in multi-user virtual worlds, based on our experience with LogiMOO, a BinProlog+Linda based programmable shared virtual world. LogiMOO adopts unification for pattern retrieval while using exclusively deterministic operations, unlike most Prolog based Linda systems. Moving beyond the Linda framework LogiMOO is based on, we describe a coordination logic for agent programming based on ideas from (affine) linear logic and Java's synchronized object system as well as a set of new primitives describing uniformly Linda operation, database updates and hypothetical assumptions. The main novelty is that our constructs emphasize an `object based' approach, with synchronization information built in `container objects' and allowing more flexible wait/notify negotiations between consumer/producer agent components, as well as inheritance and agent component reuse. Our experiments with agent coding in LogiMOO and Java and interaction with external visual and logic components, show the practicality of our constructs for real life programming

Published in:

System Sciences, 1998., Proceedings of the Thirty-First Hawaii International Conference on  (Volume:7 )

Date of Conference:

6-9 Jan 1998