Eine dreiwertige Logik zur Verarbeitung partieller Information. (A three- valued logic for partial information processing)

zbMath0645.03018MaRDI QIDQ1102939

Peter H. Schmitt

Publication date: 1987

Published in: Informatik. Forschung und Entwicklung (Search for Journal in Brave)

zbMATH Keywords

3-valued logicnatural language processingexpert systemsfunctional completenessclause- oriented resolution calculus

Mathematics Subject Classification ID

Artificial intelligence (68T99) Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50)

Related Items

Legality concepts for three-valued logic programs, Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\), \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)