Logical foundations for rule-based systems.

MaRDI QIDQ818319zbMATH OpenFDO

Authors Antoni Ligȩza

Publication date 27 March 2006

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

zbMATH Keywords

logic programmingknowledge-based systemsrule-based systemsattribute-based languagesbackward dual resolutionextended tabular systemsknowledge engineeringPROLOG-based systems

Mathematics Subject Classification ID

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

Recommendations

• The logic of knowledge bases
• scientific article; zbMATH DE number 784350
• A logical analysis of rule inconsistency
• scientific article; zbMATH DE number 812533
• scientific article; zbMATH DE number 825175

Cited in

(20)

• NOTIONAL LOGIC OF SYSTEMS
• scientific article; zbMATH DE number 825175 (Why is no real title available?)
• Methodologies and technologies for rule-based systems design and implementation. Towards hybrid knowledge engineering
• A graphical tabular model for rule-based logic programming and verification
• A visual edition tool for design and verification of knowledge in rule-based systems
• Toward logical analysis of tabular rule-based systems
• A new rule reduction and training method for extended belief rule base based on DBSCAN algorithm
• scientific article; zbMATH DE number 67437 (Why is no real title available?)
• scientific article; zbMATH DE number 812533 (Why is no real title available?)
• Logical tools for handling change in agent-based systems
• Ensemble extended belief rule-based systems with different similarity measures for classification problems
• Approach-independent structuring concepts for rule-based systems.
• On the inference and approximation properties of belief rule based systems
• How to secure a high quality knowledge base in a rule-based system with uncertainty
• Dual erotetic calculi and the minimal \(\mathsf{LFI}\)
• scientific article; zbMATH DE number 1522997 (Why is no real title available?)
• A logical analysis of rule inconsistency
• Using dialog-controlled rule systems in a maintenance module for knowledge bases
• scientific article; zbMATH DE number 1755534 (Why is no real title available?)
• An algebraic approach to rule based expert systems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q818319)