Logic Machine Architecture inference mechanisms: layer 2 user reference manual release 2. 0
Technical Report
·
OSTI ID:6821487
Logic Machine Architecture (LMA) is a package of software tools for the construction of inference-based systems. This document is the reference manual for layer 2 of LMA. It contains the information necessary to write LMA-based systems at the level of layer 3. Such systems include theorem provers, reasoning components for expert systems, and customized deduction components for a variety of application systems.
- Research Organization:
- Argonne National Lab., IL (USA)
- DOE Contract Number:
- W-31109-ENG-38
- OSTI ID:
- 6821487
- Report Number(s):
- ANL-82-84-Rev.1; ON: DE84012115
- Country of Publication:
- United States
- Language:
- English
Similar Records
Logic Machine Architecture inference mechanisms: Layer 2 user reference manual
Logic Machine Architecture: inference mechanisms
LMA-based theorem prover
Technical Report
·
Tue Nov 30 23:00:00 EST 1982
·
OSTI ID:6228869
Logic Machine Architecture: inference mechanisms
Conference
·
Thu Dec 31 23:00:00 EST 1981
·
OSTI ID:6180937
LMA-based theorem prover
Technical Report
·
Tue Nov 30 23:00:00 EST 1982
·
OSTI ID:6518800