A Service-Based Agent Framework for Distributed Symbolic Computation

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.

• Type: Conference
• Year: 2000
• Where: HPCN
• Authors: Ralf-Dieter Schimkat, Wolfgang Blochinger, Carsten Sinz, Michael Friedrich, Wolfgang Küchlin
• Keywords: Agent Lounges, Distributed And Parallel Computing, HPCN 2000, Rule-based Knowledge Component, Service-based Agent Framework