ABSTRACT
Fm is an object oriented language designed to serve as a testbed for experiments in the development of conceptual structure in continuous domains. Possibilistic truth representation is fully integrated into a language for building knowledge based systems offerring support for object, rule, and data-access based programming styles as well as the more traditional procedural form. A prototype implementation of Fm has been written in Franzlisp and has been used to construct two simple expert systems, one a data structure consultant and the other a knowledge based automobile driver. This paper describes the facilities provided in Fm for representing and reasoning with uncertain information.
- 1.Aikins, J. S. Prototypical knowledge for expert systems. Artificial Intelligence, 1983, 20(2), 163 - 211.Google ScholarCross Ref
- 2.Bobrow, D. G. and Winograd, T. An overview of KRL, a knowledge representation language. Cognitive Science 1977, 1(1), 3 - 46.Google Scholar
- 3.Bobrow, D. G. and Stefik, M. J. The LOOPS manual (preliminary version). Xerox Palo Alto Research Center, 1983.Google Scholar
- 4.Brachman, R. J. What's in a concept: structural foundations for semantic networks. Int. J. Man-Machine Studies 1977, 9, 127 - 152.Google Scholar
- 5.Brachman, R. J. et al. Krypton: a functional approach to knowledge representation, Computer, 1983, 16(10), 67 - 73.Google ScholarDigital Library
- 6.D'Ambrosio, B. D. Fm - an object oriented expert programming system for experiments in approximate reasoning. Ms report, Computer Science Dept., UC Berkeley, 1984.Google Scholar
- 7.Goldberg, A. et al. Smalltalk-80: The language and its implementation. Addison-Wesley, Reading, Mass. 1983. Google ScholarDigital Library
- 8.Lowrance, J. D. Dependency-graph models of evidential support. Phd thesis, Univ. of Mass. at Amherst, 1982.Google Scholar
- 9.Stefik, M. J. and Bell, A. G. and Bobrow, D. G. Rule-oriented programming in LOOPS. Xerox Palo Alto Research Center, 1982.Google Scholar
- 10.Zadeh, L. A. Fuzzy sets. Information and Control, 1965, 8, 338 - 353.Google ScholarDigital Library
- 11.Zadeh, L. A. A computational approach to fuzzy quantifiers in natural languages. UC Berkeley ERL memo UCB/ERL/M82/36, 1982.Google Scholar
Index Terms
- Integrating uncertainty into a language for knowledge based systems
Recommendations
Knowledge acquisition for knowledge-based engineering systems
This paper is essentially concerned with the development of formal representations of knowledge required prior to the development of knowledge-based engineering systems (KBESs). Initially, the paper provides a brief introduction to knowledge-based ...
The Knowledge Acquisition and Representation Language, KARL
The Knowledge Acquisition and Representation Language (KARL) combines a description of a knowledge-based system at the conceptual level (a so-called model of expertise) with a description at a formal and executable level. Thus, KARL allows the precise ...
Comments