[Home] [CV] [Publications]


Minus 1a5aa4f1c08b567c9107cba729de26bc87c17ab2b2f690eb45059193a1d6f587 Towards a Framework for Specifying Components of Automated Reasoning Systems: A report on work in progress
Talcott, C. L. - 1992

We examine the notion of logical system \citemeseguer-89lc as a possible framework for specifying the semantic behavior of components of automated reasoning systems and for describing sound interconnections between these components. To make the ideas concrete, we analyze aspects of a variety of existing systems — logics, interfaces, and mechanisms for combination. We describe a notion of reasoning structure to support interaction between reasoning modules.