Symbolic normalized acquisition and representation of knowledge (Q1077171): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0020-0255(85)90006-4 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2072379849 / rank | |||
Normal rank |
Revision as of 20:29, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Symbolic normalized acquisition and representation of knowledge |
scientific article |
Statements
Symbolic normalized acquisition and representation of knowledge (English)
0 references
1985
0 references
The authors present a declarative language - SNARK - and the associated inference process. SNARK is based on first-order logic and uses natural deduction (not the resolution principle). The base of facts consists of triples of objects. A Naur-Backus form of the syntactic description of the base of rules is presented (exact definitions are given by the second author in: ''Un moteur d'inferences pour systèmes-experts en logique du premier ordre: SNARK'', Bull. Liaison Rech. Informatique Automatique 97, 24-28 (1984)). Since different ways of using relations in the rules are possible, SNARK can work in either the logic of propositions or the second-order predicate logic. SNARK allows the management of uncertainty by means of weighted facts and inferences. Some applications in which SNARK has been used are listed.
0 references
expert system
0 references
declarative language
0 references
SNARK
0 references
associated inference process
0 references
first-order logic
0 references
natural deduction
0 references
management of uncertainty
0 references