Skip to main content
SpringerLink
Log in

FORK: A System for Object- and Rule-Oriented Programming

  • Conference paper
  • First Online:
ECOOP’ 87 European Conference on Object-Oriented Programming (ECOOP 1987)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 276))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Beckstein, C.: Integration objekt-orientierter Sprachmittel zur Wissensrepräsentation in LISP. Diplomarbeit, IMMD und RRZE, Universität Erlangen-Nürnberg. RRZE-IAB-219, 1985.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. Bobrow, D., Stefik, M.: LOOPS Manual & Rule Oriented Programming in LOOPS. Xerox PARC Report, Palo Alto, 1983.

    Google Scholar 

  5. Bobrow, D. (Ed.): Qualitative Reasoning about Physical Systems. Amsterdam: North-Holland, 1984.

    Google Scholar 

  6. Davis, R.: Diagnostic Reasoning Based on Structure and Behavior. 1984, In: Bobrow 347–410, 1984.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. Doyle, R.: Hypothesizing and Refining Causal Models. MIT-AI-Memo 811, Dec. 1984.

    Google Scholar 

  9. Genesereth, M.: The Use of Design Descriptions in Automated Diagnosis. In: Bobrow (1984), 411–436, 1984.

    Google Scholar 

  10. Görz, G., Hernández, D.: Knowledge-Based Fault Diagnosis of Technical Systems. In: This Conference Proceedings.

    Google Scholar 

  11. Hayes, P.: The Logic of Frames. In: Metzing, D. (Ed.): Frame Conceptions and Text Understanding. Berlin: DeGruyter, 1980.

    Google Scholar 

  12. Hernández, D.: Modulare Softwarebausteine zur Wissensrepräsentation. Studienarbeit, IMMD IV und RRZE, Universität Erlangen-Nürnberg, 1984.

    Google Scholar 

  13. Hernández, D.: Wissensbasierte Diagnose technischer Systeme. Diplomarbeit, IMMD und RRZE, Universität Erlangen-Nürnberg. RRZE Mitteilungsblatt Nr. 44, 1986.

    Google Scholar 

  14. Minsky, M.: A Framework for Representing Knowledge. In: Winston, P.H. (Ed.): The Psychology of Computer Vision. New York: McGraw Hill, 211–277, 1975.

    Google Scholar 

  15. Nilsson, N.: Principles of Artificial Intelligence. Berlin: Springer, 1982.

    MATH  Google Scholar 

  16. Steele, G.T,.: The Definition and Implementation of a Computer Language Based on CONSTRAINTS. MIT-AI-TR-595, Aug. 1980.

    Google Scholar 

  17. 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.

    Google Scholar 

  18. Tielemann, M.: Eine regelorientierte Erweiterung des Repräsentationssystems FORK. Diplomarbeit, IMMD und RRZE, Universität Erlangen-Nürnberg. RRZE-IAB-236, 1986.

    Google Scholar 

  19. Weinreb, D., Moon, D.: Flavors: Message-Passing in the LISP Machine. MIT-AI-Memo, 1981.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IMMD VI, University of Erlangen-Nürnberg, Martensstr. 3, D-8520, Erlangen

    C. Beckstein & M. Tielemann

  2. RRZE, University of Erlangen-Nürnberg, Martensstr. 1, D-8520, Erlangen

    G. Görz

Authors
  1. C. Beckstein
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. G. Görz
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. M. Tielemann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Laboratoire d’Informatique, LIB, Université de Bretagne Occidentale, 6, avenue V. le Gorgeu, F-29287, Brest Cédex, France

    Jean Bézivin

  2. 54, avenue des Gressets, F-92700, La Celle Saint-Cloud, France

    Jean-Marie Hullot

  3. Rank Xerox France, DRBI, 12, place de l’Iris, F-92071, La Défense, Cedex 38, France

    Pierre Cointe

  4. The Artificial Intelligence Laboratory, Massachusetts Institute of Technology, 545, Technology Square, Cambridge, MA, 02139, USA

    Henry Lieberman

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation