HAIM OMLET: An Expert System For Research In Orthomodular Lattices And Related Structures

D. D. Dankel II; R. V. Rodriguez; F. D. Anger

doi:10.1117/12.964115

26 March 1986 HAIM OMLET: An Expert System For Research In Orthomodular Lattices And Related Structures

D. D. Dankel II, R. V. Rodriguez, F. D. Anger

Proceedings Volume 0635, Applications of Artificial Intelligence III; (1986) https://doi.org/10.1117/12.964115
Event: 1986 Technical Symposium Southeast, 1986, Orlando, United States

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.

Citation Download Citation

D. D. Dankel II, R. V. Rodriguez, and F. D. Anger "HAIM OMLET: An Expert System For Research In Orthomodular Lattices And Related Structures", Proc. SPIE 0635, Applications of Artificial Intelligence III, (26 March 1986); https://doi.org/10.1117/12.964115

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available