Programming in Fuzzy Logic: Fuzzy Prolog.
Abstract
This thesis defines a system of reasoning with uncertainty called fuzzy logic, specifies and implements the language Fuzzy Prolog which is based on fuzzy logic, and presents sample applications of this language. Fuzzy logic is formally defined as an algebra and is shown to be a superset of first order predicate calculus. Fuzzy logic supports reasoning with uncertainty by allowing predicate truth values in the real range 0 to 1 and by defining five operations on these values. These operations are derived from fuzzy set theory and probability theory. The language Fuzzy Prolog allows programming in predicate calculus. Fuzzy Prolog is a superset of Prolog and will run normal Prolog programs with only minor changes. In addition, it provides the programmer with the fuzzy logic operations which allow reasoning with uncertainty. Finally, the thesis presents sample programs show that fuzzy logic is an excellent tool for solving many AI problems, and that Fuzzy Prolog is an effective and useful language.
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 01, 1986
- Accession Number
- ADA177940
Entities
People
- Bradley L. Richards
Organizations
- Air Force Institute of Technology