Share Email Print

Proceedings Paper

HAIM OMLET: An Expert System For Research In Orthomodular Lattices And Related Structures
Author(s): D. D. Dankel; R. V. Rodriguez; F. D. Anger
Format Member Price Non-Member Price
PDF $14.40 $18.00
cover GOOD NEWS! Your organization subscribes to the SPIE Digital Library. You may be able to download this paper for free. Check Access

Paper Abstract

This paper describes research towards the construction of an expert system combining the brute force power of algorithmic computation and the inductive reasoning power of a rule-based inference engine in the mathematical area of discrete structures. Little research has been conducted on extending existing expert systems' technology to computationally complex areas. This research addresses the extension of expert systems into areas such as these, where the process of inference by itself will not produce the proper results. Additionally, the research will demonstrate the benefits of combining inference engines and mathematical algorithms to attack computationally complex problems. The specific aim is to produce an expert system which embodies expert level knowledge of orthomodular lattices, graphs, structure spaces, boolean algebras, incidence relations, and projective configurations. The resulting system, implemented on a micro-computer, will provide researchers a powerful and accessible tool for exploring these discrete structures. The system's "shell" will provide a structure for developing other expert systems with similar capabilities in such related areas as coding theory, categories, monoids, automata theory, and non-standard logics.

Paper Details

Date Published: 26 March 1986
PDF: 8 pages
Proc. SPIE 0635, Applications of Artificial Intelligence III, (26 March 1986); doi: 10.1117/12.964115
Show Author Affiliations
D. D. Dankel, University of Florida (United States)
R. V. Rodriguez, University of Florida (United States)
F. D. Anger, University of Florida (United States)

Published in SPIE Proceedings Vol. 0635:
Applications of Artificial Intelligence III
John F. Gilmore, Editor(s)

© SPIE. Terms of Use
Back to Top