An Agent-oriented Approach to Reasoning (bibtex)

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

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.

Reference:

An Agent-oriented Approach to Reasoning (Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge), In Proceedings of the Calculemus Workshop 2001, pp. 48-63, 2001. (Preprint: http://christoph-benzmueller.de/papers/W11.pdf)

Bibtex Entry:

@inproceedings{W11, 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.}, Address = {Siena, Italy}, Author = {Christoph Benzm{\"u}ller and Mateja Jamnik and Manfred Kerber and Volker Sorge}, Booktitle = {Proceedings of the Calculemus Workshop 2001}, Pages = {48-63}, Title = {An Agent-oriented Approach to Reasoning}, Addendum = {Preprint: \url{http://christoph-benzmueller.de/papers/W11.pdf}}, Year = 2001, }