Many applications have shown that the combination of specialized reasoning systems, such as deduction and computation systems, can lead to synergetic effects. Often, a clever combination of different reasoning systems can solve problems that are beyond the problem solving horizon of single, stand-alone systems. Current platforms for the integration of reasoning systems typically lack abstraction, robustness, and automatic coordination of reasoners. We are currently developing a new framework for reasoning agents to solve these problems. Our framework builds on the FIPA specifications for multi-agent systems, formal service descriptions, and a central brokering mechanism. In this paper we present the architecture of our framework and our progress with the integration of automated theorem provers.
CITATION STYLE
Zimmer, J. (2004). A framework for agent-based brokering of reasoning services. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (Vol. 2972, pp. 212–221). Springer Verlag. https://doi.org/10.1007/978-3-540-24694-7_22
Mendeley helps you to discover research relevant for your work.