An analysis of formal logics as inference mechanisms in expert systems (Q3680314)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An analysis of formal logics as inference mechanisms in expert systems |
scientific article |
Statements
An analysis of formal logics as inference mechanisms in expert systems (English)
0 references
1984
0 references
syntax
0 references
inference mechanisms in expert systems
0 references
mechanical reasoning
0 references
semantics
0 references
meaning representation
0 references