We present Okeanos, a distributed service-based agent framework implemented in Java, in which agents can act autonomously and make use of stationary
services. Each agent’s behaviour can be controlled individually by a rule-based knowledge component, and cooperation between
agents is supported through the exchange of messages at common meeting points (agent lounges). We suggest this general scheme as a new parallelization paradigm for Symbolic Computation, and demonstrate its applicability
by an agent-based parallel implementation of a satisfiability (SAT) checker.
Supported by debis Systemhaus Industry.
Partially supported by Deutsche Forschungsgemeinschaft (DFG) under grant Ku 966/4-1, and partially supported by debis Systemhaus Industry.