[Home] [CV] [Publications]


Minus 1a5aa4f1c08b567c9107cba729de26bc87c17ab2b2f690eb45059193a1d6f587 Reasoning Specialists Should Be Logical Services, Not Black Boxes
Talcott, C. L. - 1994

An important problem for automated reasoning is to develop mechanisms for integration of special purpose reasoning systems into general purpose reasoning systems, and into other systems. In this abstract we first point out some of the problems to be solved in order to have reasoning modules that can be effectively integrated, and suggest the notion of a logical service as a way of viewing integrable reasoning modules. We then present some preliminary results from ongoing work aimed at gaining a better understanding of this notion. Finally, we illustrate some of the ideas by describing a series of reasoners specializing in linear arithmetic using the concepts developed.

Keywords: logical service, reasoning modules, integrating, handle, linear arithmetic