On Probing and Multi-Threading in Platypus

The PLATYPUS approach offers a generic platform for distributed answer set solving, accommodating a variety of different architectures for distributing the search for answer sets across different processes and different search modes for modifying search behaviour. We describe two major extensions of PLATYPUS. First, we present its probing mode which provides a controlled non-linear traversal of the search space. Second, we present its new multithreading architecture allowing for intra-process distribution. Both contributions are underpinned by experimental results illustrating their computational impact.

• Type: Conference
• Year: 2006
• Where: ECAI
• Authors: Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy
• Keywords: Answer Sets, Artificial Intelligence, Controlled Non-linear Traversal, ECAI 2006, PLATYPUS Approach