Experiments with an Agent-oriented Reasoning system (bibtex)

by Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge

Abstract:

This paper discusses an agent based approach to automated and interactive reasoning. It 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. The approach particularly supports cooperative proofs between reasoning agents which are strong in different applications areas, e.g., higher-order and first-order theorem provers and computer algebra systems.

Reference:

Experiments with an Agent-oriented Reasoning system (Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge), In KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings (Franz Baader, Gerhard Brewka, Thomas Eiter, eds.), Springer, LNCS, number 2174, pp. 409-424, 2001. (slides) (Preprint: http://christoph-benzmueller.de/papers/C10.pdf)

Bibtex Entry:

@inproceedings{C10, Abstract = {This paper discusses an agent based approach to automated and interactive reasoning. It 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. The approach particularly supports cooperative proofs between reasoning agents which are strong in different applications areas, e.g., higher-order and first-order theorem provers and computer algebra systems.}, Author = {Christoph Benzm{\"u}ller and Mateja Jamnik and Manfred Kerber and Volker Sorge}, Booktitle = {KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings}, Comment = {<a href="http://christoph-benzmueller.de//papers/2001-ki-talk.pdf">slides</a>}, Doi = {10.1007/3-540-45422-5_29}, Editor = {Franz Baader and Gerhard Brewka and Thomas Eiter}, Keywords = {own, Proof Assistants, OMEGA, LEO Prover, Automated Reasoning, System Integration, Agents}, Number = 2174, Pages = {409-424}, Publisher = {Springer}, Series = {LNCS}, Title = {Experiments with an Agent-oriented Reasoning system}, Note = {Preprint: \url{http://christoph-benzmueller.de/papers/C10.pdf}}, Year = 2001, }