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,
}