A Service-Based Agent Framework for Distributed Symbolic Computation

Authors:
Ralf-Dieter Schimkat;Wolfgang Blochinger;Carsten Sinz;Michael Friedrich;Wolfgang Küchlin
Affiliations:
-;-;-;-;-
Venue:
HPCN Europe 2000 Proceedings of the 8th International Conference on High-Performance Computing and Networking
Year:
2000

Citing 9
Cited 3

PSATO: a distributed propositional prover and its application to quasigroup problems

Journal of Symbolic Computation - Special issue on parallel symbolic computation
Object-oriented application frameworks

Communications of the ACM
KQML as an agent communication language

Software agents
An agent-based framework for interoperability

Software agents
A Computing Procedure for Quantification Theory

Journal of the ACM (JACM)
A lightweight, message-oriented application server for the WWW

SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Proving Consistency Assertions for Automotive Product Data Management

Journal of Automated Reasoning
Logical Cryptanalysis as a SAT Problem

Journal of Automated Reasoning
Pushing the envelope: planning, propositional logic, and stochastic search

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2

Living Hypertext - Web Retrieval Techniques for Traditional Database-Centric Information

IICS '02 Proceedings of the Second International Workshop on Innovative Internet Computing Systems
Living Documents - Micro Servers for Documents

EDBT '02 Proceedings of the Worshops XMLDM, MDDE, and YRWS on XML-Based Data Management and Multimedia Engineering-Revised Papers
Deploying Distributed State Information in Mobile Agent Systems

CooplS '01 Proceedings of the 9th International Conference on Cooperative Information Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.