Symbolic normalized acquisition and representation of knowledge

DOI10.1016/0020-0255(85)90006-4zbMath0594.68071OpenAlexW2072379849MaRDI QIDQ1077171

Bernadette Bouchon, Jean-Louis Laurière

Publication date: 1985

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0255(85)90006-4

zbMATH Keywords

first-order logicnatural deductionexpert systemdeclarative languagemanagement of uncertaintyassociated inference processSNARK

Mathematics Subject Classification ID

Artificial intelligence (68T99)

Cites Work

• The role of fuzzy logic in the management of uncertainty in expert systems
• Unnamed Item

This page was built for publication: Symbolic normalized acquisition and representation of knowledge