K-Stores: A Spatial and Epistemic Concurrent Constraint Interpreter

Abstract : Concurrent constraint programming (ccp) is a mature formalism for reasoning about concurrent systems that exhibit a constrained behavior. Spatial ccp and epistemic ccp are two novel variants of ccp currently being developed by Knight and Valencia. These variants model systems with spatial hierarchies of group information and knowledge. These systems are ubiquitous due to the advent of social networks and cloud computing where agents may share certain information with certain groups. This paper introduces an interpreter for these extensions we call k-stores. The interpreter is a Prolog implementation of the operational semantics of the languages allowing the programmer to simulate distributed information systems. The main feature consists of an implementation of a spatial (distributed) store that allows epistemic information in it. The system supports the specification of (named) processes along with the ccp classic primitives, namely, ask and tell operations. The declarative view of processes is inherited from the ccp extensions. The orthogonal implementation of the local space abstraction and the epistemic constraint system makes further extensions possible. Special attention is paid to the representation of distributed knowledge and common knowledge
Mots-clés : Constraint Programming
Document type :
Conference papers
21st Workshop on Functional and Constraint Logic Programming (WFLP2012), May 2012, Nagoya, Japan. Informal proceedings


https://hal.archives-ouvertes.fr/hal-00761679
Contributor : Frank D. Valencia <>
Submitted on : Wednesday, December 5, 2012 - 11:07:12 PM
Last modification on : Saturday, February 14, 2015 - 1:03:34 AM

File

easychair.pdf
fileSource_public_author

Identifiers

  • HAL Id : hal-00761679, version 1

Collections

Citation

Andrés Barco, Sophia Knight, Frank D. Valencia. K-Stores: A Spatial and Epistemic Concurrent Constraint Interpreter. 21st Workshop on Functional and Constraint Logic Programming (WFLP2012), May 2012, Nagoya, Japan. Informal proceedings. <hal-00761679>

Export

Share

Metrics

Consultation de
la notice

167

Téléchargement du document

41