Section: New Software and Platforms

D-SPACES - constraint systems with space and extrusion operators

Participants : Frank Valencia, Yamil Salim Perchy.

http://www.lix.polytechnique.fr/~perchy/d-spaces/

D-SPACES is an implementation of constraint systems with space and extrusion operators. Constraint systems are algebraic models that allow for a semantic language-like representation of information in systems where the concept of space is a primary structural feature. We give this information mainly an epistemic interpretation and consider various agents as entities acting upon it. D-SPACES is coded as a c++11 library providing implementations for constraint systems, space functions and extrusion functions. The interfaces to access each implementation are minimal and thoroughly documented. D-SPACES also provides property-checking methods as well as an implementation of a specific type of constraint systems (a boolean algebra). This last implementation serves as an entry point for quick access and proof of concept when using these models. In [22] an illustrative example of using the library is given, in the form of a small social network where users post their beliefs and utter their opinions.