Eine dreiwertige Logik zur Verarbeitung partieller Information. (A three- valued logic for partial information processing)
From MaRDI portal
Publication:1102939
zbMath0645.03018MaRDI QIDQ1102939
Publication date: 1987
Published in: Informatik. Forschung und Entwicklung (Search for Journal in Brave)
3-valued logic; natural language processing; expert systems; functional completeness; clause- oriented resolution calculus
68T99: Artificial intelligence
03B35: Mechanization of proofs and logical operations
03B50: Many-valued logic
Related Items
\(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\), Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\), Legality concepts for three-valued logic programs