Integrating uncertainty into a language for knowledge based systems

  • Authors:

  • Bruce D'Ambrosio

  • Affiliations:

  • -

  • Venue:
  • ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
  • Year:
  • 1984

Quantified Score

Hi-index 0.00

Visualization

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.