Abstract
A system is presented which models the structure and behavior of certain types of technical devices. It provides facilities for the description of components and their terminals in a hierarchy of abstraction and aggregation, and with respect to different aspects, thus allowing reasoning about structure and function on varying levels and from different views. The functioning of the components as well as the mapping between different levels is modelled by constraints between the input and output variables of the components. As the values of the variables are nodes of an assumption-based truth maintenance system, the system enables the analysis and comparison of multiple, possibly concurrent states and views of the device. The system is implemented in an object-oriented style on a LISP-machine.
Preview
Unable to display preview. Download preview PDF.
Literature
Bobrow, D.G. and M. Stefik “The LOOPS Manual” Xerox Corp. 1983
Bobrow, D.G. “Qualitative Reasoning about Physical Structures” Artificial Intelligence, Vol. 24, Nos. 1–3, 1984
Davis, R. “Diagnostic Reasoning Based on Structure and Behavior” Artificial Intelligence, Vol. 24, Nos. 1–3, 1984
de Kleer, J. and J.S.Brown “A Qualitative Physics Based on Confluences” Artificial Intelligence, Vol.24, Nos. 1–3, 1984
de Kleer, J. “An Assumption-Based Truth Maintenance System” Artificial Intelligence, Vol. 28, No. 2, 1986
de Kleer, J. “Problem Solving with the ATMS” Artificial Intelligence, Vol. 28, No. 2, 1986
de Kleer, J. and B. Williams “Diagnosing Multiple Faults” forthcoming
Struss, P. “Multiple Representation of Structure and Function” Siemens Corp. Technical Report INF 3–03/86/SRU, 1986
Sussman, G.J. and G.L. Steele “CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions ” Artificial Intelligence, Vol. 14, No. 1, 1980
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Struss, P. (1986). A Framework for the Multiple Representation of Structure and Function in Expert Systems. In: Rollinger, CR., Horn, W. (eds) GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung. Informatik-Fachberichte, vol 124. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-71385-9_32
Download citation
DOI: https://doi.org/10.1007/978-3-642-71385-9_32
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16808-9
Online ISBN: 978-3-642-71385-9
eBook Packages: Springer Book Archive