Logical foundations for rule-based systems.

zbMATH Open1095.68113MaRDI QIDQ818319FDOQ818319

Authors: Antoni Ligȩza 

Publication date: 27 March 2006

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

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

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)

Cited In (20)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• A new rule reduction and training method for extended belief rule base based on DBSCAN algorithm
• 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}\)
• Title not available (Why is that?)
• A logical analysis of rule inconsistency
• Title not available (Why is that?)
• Using dialog-controlled rule systems in a maintenance module for knowledge bases
• NOTIONAL LOGIC OF SYSTEMS
• 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)