Paper Info
Title
Experiments with an Agent-Oriented Reasoning System
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.
Year
DOI
Venue
2001
10.1007/3-540-45422-5_29
KI/ÖGAI
Keywords
Field
DocType
cooperative proof,art distribution technique,theorem proving,interactive reasoning,agent-oriented reasoning,multi-agent system,reasoning agent,computer algebra system,reasoning system,different application area,first-order theorem provers,first order,theorem prover,higher order,multi agent system
Automated reasoning,Programming language,Natural deduction,Computer science,Expert system,Automated theorem proving,Automated proof checking,Mathematical proof,Artificial intelligence,Reasoning system,Distributed computing,Qualitative reasoning
Conference
ISBN
Citations 
PageRank 
3-540-42612-4
4
0.48
References 
Authors
17
4
Name
Order
Citations
PageRank
Christoph Benzmüller164367.63
Mateja Jamnik215830.79
Manfred Kerber341360.18
Volker Sorge454257.29