Abstract
We describe progress made within the FORK project, whose goals are the implementation of a primarily object-oriented knowledge representation system and its application to the design and fault diagnosis of technical systems. Whereas the kernel of the FORK representation system is completely object-oriented, the system as a whole is supposed to integrate a variety of different programming styles. In the following, an extension for rule-oriented programming is described, which raises the descriptive power of the FORK system beyond that of LOOPS. As an application of the rule-oriented component, a constraint language has been implemented which plays an important rule in our approach to the design and fault diagnosis of technical systems.
The next steps in the FORK project will include the development of a general logical framework, comprising a logical reconstruction of object-centered representations, retrieval of complex descriptions by unification, and deductions on structured objects. The problem of non-monotonicity will be dealt with on the meta level by a module similar to DeKleer’s ATMS. Further progress shall be achieved by concentrating on a general treatment of the problem of time in modelling technical systems which is to our opinion one of the most important issues.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Beckstein, C.: Integration objekt-orientierter Sprachmittel zur Wissensrepräsentation in LISP. Diplomarbeit, IMMD und RRZE, Universität Erlangen-Nürnberg. RRZE-IAB-219, 1985.
Beckstein C., Görz, G., Tielemann, M.: FORK: Ein System zur objekt-und regelorientierten Programmierung. In: Rollinger, C., Horn, W. (Hg.): GWAI-86. 10th German Workshop on Artificial Intelligence und 2. Österreichische Artificial Intelligence Tagung. Berlin: Springer IFB 124, 312–317, 1986.
Beckstein C., Görz, G., Hernàndez, D., Tielemann, M.: An Integration of Object-Oriented Knowledge Representation and Rule-Oriented Programming as a Basis for Design and Diagnosis of Technical Systems. To appear in: Annals of Operations Research. Also: RRZE-IAB-248, Univ. Erlangen-Nürnberg, 1986.
Bobrow, D., Stefik, M.: LOOPS Manual & Rule Oriented Programming in LOOPS. Xerox PARC Report, Palo Alto, 1983.
Bobrow, D. (Ed.): Qualitative Reasoning about Physical Systems. Amsterdam: North-Holland, 1984.
Davis, R.: Diagnostic Reasoning Based on Structure and Behavior. 1984, In: Bobrow 347–410, 1984.
DeKleer, J.: (a) An Assumption-Based TMS. (b) Extending the AMTS. (c) Problem Solving with the ATMS. AI Journal 28, 127-163-197-224, 1986.
Doyle, R.: Hypothesizing and Refining Causal Models. MIT-AI-Memo 811, Dec. 1984.
Genesereth, M.: The Use of Design Descriptions in Automated Diagnosis. In: Bobrow (1984), 411–436, 1984.
Görz, G., Hernández, D.: Knowledge-Based Fault Diagnosis of Technical Systems. In: This Conference Proceedings.
Hayes, P.: The Logic of Frames. In: Metzing, D. (Ed.): Frame Conceptions and Text Understanding. Berlin: DeGruyter, 1980.
Hernández, D.: Modulare Softwarebausteine zur Wissensrepräsentation. Studienarbeit, IMMD IV und RRZE, Universität Erlangen-Nürnberg, 1984.
Hernández, D.: Wissensbasierte Diagnose technischer Systeme. Diplomarbeit, IMMD und RRZE, Universität Erlangen-Nürnberg. RRZE Mitteilungsblatt Nr. 44, 1986.
Minsky, M.: A Framework for Representing Knowledge. In: Winston, P.H. (Ed.): The Psychology of Computer Vision. New York: McGraw Hill, 211–277, 1975.
Nilsson, N.: Principles of Artificial Intelligence. Berlin: Springer, 1982.
Steele, G.T,.: The Definition and Implementation of a Computer Language Based on CONSTRAINTS. MIT-AI-TR-595, Aug. 1980.
Stoyan, H., Görz, G.; Was ist objekt-orientierte Programmierung? In: Stoyan, H., Wedekind, H. (Hg.) Objekt-Orientierte Software-und Hardware-Architekturen. Stuttgart: Teubner, 1984.
Tielemann, M.: Eine regelorientierte Erweiterung des Repräsentationssystems FORK. Diplomarbeit, IMMD und RRZE, Universität Erlangen-Nürnberg. RRZE-IAB-236, 1986.
Weinreb, D., Moon, D.: Flavors: Message-Passing in the LISP Machine. MIT-AI-Memo, 1981.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Beckstein, C., Görz, G., Tielemann, M. (1987). FORK: A System for Object- and Rule-Oriented Programming. In: Bézivin, J., Hullot, JM., Cointe, P., Lieberman, H. (eds) ECOOP’ 87 European Conference on Object-Oriented Programming. ECOOP 1987. Lecture Notes in Computer Science, vol 276. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47891-4_24
Download citation
DOI: https://doi.org/10.1007/3-540-47891-4_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18353-2
Online ISBN: 978-3-540-47891-1
eBook Packages: Springer Book Archive