Advertisement

Zero : Frame + prolog

  • H. Ito
  • H. Ueno
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 221)

Abstract

In this paper we describe a language specification and its implementation of ZERO, a frame-based language, in terms of embedding Prolog into it. ZERO is a general purpose frame-based knowledge representation language and is an extension of FMS which was developed by us. The extension is a feature to handle Prolog programs as attached procedures in the form of a set of clauses which is activated by a message sent from another frame. By combination of Prolog statements (Horn clauses) and Lisp-based procedures, highly flexible intelligent systems could be achieved. The ZERO system has three major features which are developed to embed Prolog into the system; a Prolog-based message passing, an extension of unification mechanisms and a function for nondeterministic behavior by backtracking for a frame system.

Keywords

Knowledge Representation Atomic Formula Horn Clause Frame Model Frame System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Allen B, Write J (1983) Integrating Logic and Schemata. Proc. IJCAI 83, 340–342Google Scholar
  2. Bowen K, Kowalski R (1982) Amalgamating Language and Metalanguage in Logic Programming. In: Clark K, Tarnland S (ed) Logic Programming, Academic Press, New York, 153–172Google Scholar
  3. Brachman R, Fikes E, Levesque H (1983) Krypton: A Functional Approach to Knowledge Representation. Computer, Vol. 16, No. 10, 67–73Google Scholar
  4. Chang C, Lee R (1973) Symbolic Logic and Mechanical Theorem Proving. Academic Press, New YorkGoogle Scholar
  5. Chikayama T (1981) UTILISP Manual. University of TokyoGoogle Scholar
  6. Clocksin W, Mellish C (1984) Programming in Prolog. Second edition, Springer-Verlag, BerlinGoogle Scholar
  7. Davis R (1984) Reasoning from First Principles in Electronic Trouble-shooting. In: Coombs M (ed) Developments in Expert Systems. Academic Press, London, 1–21Google Scholar
  8. Deliyanni A, Kowalski R (1979) Logic and Semantic Networks. CACM, Vol. 22, No. 3. 184–192Google Scholar
  9. Harmon P, King D (1985) Expert Systems: Artificial Intelligence in Business. John Wiley and Sons, New YorkGoogle Scholar
  10. Hayes-Roth F, Waterman D, Lenat D (1983) Building Expert Systems. Addison-Wesley, MassachusettsGoogle Scholar
  11. Ito H, Ueno H (1983) Implementation of a Frame-Based Knowledge Representation Language, FMS. Knowledge Engineering and Artificial Intelligence 30-4, Japan Information Society (in Japanese)Google Scholar
  12. Lloyd J W(1984) Foundations of Logic Programming, Springer-Verlag, BerlinGoogle Scholar
  13. Minsky M (1975) A Framework for Representing Knowledge. In: Winston P (ed) Psychology of Computer Vision, McGraw-Hill, New York, 211–277Google Scholar
  14. Nakashima H (1983) Prolog. Sangyo-Tosho, Tokyo (in Japanese)Google Scholar
  15. Nilsson M (1984) The World's Shortest Prolog Interpreter? In: Capbell (ed) Implementations of Prolog. John Willy and Sons, New York, 87–92Google Scholar
  16. Rich C (1982) Knowledge Representation Languages and Predicate Calculus: How to have Your Cake and Eat it Too. Proc. AAAI-82Google Scholar
  17. Smith R G, Friedland P (1980) Unit Package User's Guide. Stanford Heuristic Programming Project Memo HPP-80-28Google Scholar
  18. Stefik M (1979) An Examination of a Frame Structured Representation System. Proc. IJCAI 79, 845–852Google Scholar
  19. Ueno H (1983) An End-User Oriented Language to Develop Knowledge-Base Expert Systems. Compcon 83 Fall, 523–529Google Scholar
  20. Ueno H (1984) An Intelligent Programming Assistant System INTELLITUTOR — Background and Philosophy —. Knowledge Engineering and Artificial Intelligence 37-5, Japan Information Processing Society (in Japanese)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • H. Ito
    • 1
  • H. Ueno
    • 2
  1. 1.Japan Information Processing Development Center (JIPDEC)TokyoJapan
  2. 2.Department of Systems EngineeringTokyo Denki UniversitySaitamaJapan

Personalised recommendations