A decidable first-order logic for knowledge representation (Q2640590)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A decidable first-order logic for knowledge representation |
scientific article |
Statements
A decidable first-order logic for knowledge representation (English)
0 references
1990
0 references
A decidable variant of first-order relevance logic is developed. Some properties of this logic are stated and an algorithm for computing t- entailment is derived. An axiomatization which is complete for t- entailment between formulae in prenex normal form is given. The logic provides an alternative semantics for knowledge representation.
0 references
relevance logic
0 references
algorithm
0 references
t-entailment
0 references
axiomatization
0 references
knowledge representation
0 references
