Logical foundations for rule-based systems.

zbMath1095.68113MaRDI QIDQ818319

Antoni Ligȩza

Publication date: 27 March 2006

Published in: Studies in Computational Intelligence (Search for Journal in Brave)

zbMATH Keywords

knowledge-based systemslogic programmingknowledge engineeringrule-based systemsattribute-based languagesbackward dual resolutionextended tabular systemsPROLOG-based systems

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Mechanization of proofs and logical operations (03B35) Logic programming (68N17)

Related Items (4)

Ensemble extended belief rule-based systems with different similarity measures for classification problems ⋮ Dual erotetic calculi and the minimal \(\mathsf{LFI}\) ⋮ On the inference and approximation properties of belief rule based systems ⋮ A new rule reduction and training method for extended belief rule base based on DBSCAN algorithm

This page was built for publication: Logical foundations for rule-based systems.