Experiments with an Agent-Oriented Reasoning System

Authors:
Christoph Benzmüller;Mateja Jamnik;Manfred Kerber;Volker Sorge
Affiliations:
-;-;-;-
Venue:
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Year:
2001

Citing 13
Cited 2

Multiagent systems: a modern approach to distributed artificial intelligence

Multiagent systems: a modern approach to distributed artificial intelligence
A taxonomy of parallel strategies for deduction

Annals of Mathematics and Artificial Intelligence
Critical Agents Supporting Interactive Theorem Proving

EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
p-SETHEO: Strategy Parallelism in Automated Theorem Proving

TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
DISCOUNT: A SYstem for Distributed Equational Deduction

RTA '95 Proceedings of the 6th International Conference on Rewriting Techniques and Applications
Planning for Distributed Theorem Proving: The Teamwork Approach

KI '96 Proceedings of the 20th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
A Cooperation Model for Autonomous Agents

ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
System Description: TRAMP: Transformation of Machine-Found Proofs into ND-Proofs at the Assertion Level

CADE-17 Proceedings of the 17th International Conference on Automated Deduction
P.rex: An Interactive Proof Explainer

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Omega: Towards a Mathematical Assistant

CADE-14 Proceedings of the 14th International Conference on Automated Deduction
System Description: LEO - A Higher-Order Theorem Prover

CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
The Elint application on Poligon: the architecture and performance of a concurrent blackboard system

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Cooperation of heterogeneous provers

IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1

A task-oriented agent-based mechanism for mathematical assistant systems

Web Intelligence and Agent Systems
LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)

IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper discusses experiments with an agent oriented approach to automated and interactive reasoning. The approach combines ideas from two subfields of AI (theorem proving/proof planning and multi-agent systems) and makes use of state of the art distribution techniques to decentralise and spread its reasoning agents over the internet. It particularly supports cooperative proofs between reasoning systems which are strong in different application areas, e.g., higher-order and first-order theorem provers and computer algebra systems.