Logical Foundations for Rule-Based Systems

• Κύριος συγγραφέας: Ligêza, Antoni (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Έκδοση: Second Edition.
• Σειρά: Studies in Computational Intelligence, 11
• Θέματα: Engineering.; Artificial intelligence.; Applied mathematics.; Engineering mathematics.; Appl.Mathematics/Computational Methods of Engineering.; Artificial Intelligence (incl. Robotics).

The book presents logical foundations for rule-based systems, as seen by the Author. An attempt has been made to provide an in-depth discussion of logical and other aspects of such systems, including languages for knowledge representation, inference mechanisms, inference control, design and verifica...

Πίνακας περιεχομένων:

• Logical Foundations of Rule-Based Systems
• Propositional Logic
• Predicate Calculus
• Attribute Logic
• Resolution
• Dual Resolution
• Principles of Rule-Based Systems
• Basic Structure of Rule-Based Systems
• Rule-Based Systems in Propositional Logic
• Rule-Based Systems in Attributive Logic
• Rule-Based Systems in First-Order Logic
• Inference Control in Rule-Based Systems
• Logic Programming and Prolog
• Verification of Rule-Based Systems
• Principles of Verification of Rule-Based Systems
• Analysis of Redundancy
• Analysis of Indeterminism and Inconsistency
• Reduction of Rule-Based Systems
• Analysis of Completeness
• Design of Rule-Based Systems
• An Introduction to Design of Rule-Based Systems
• Logical Foundations: the ?-Trees Based Approach
• Design of Tabular Rule-Based Systems with XTT
• Design Example: Thermostat
• Concluding Remarks.