Logical Foundations for Rule-Based Systems
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...
Zapisane w:
| 1. autor: | |
|---|---|
| Format: | Livre numérique |
| Język: | Anglais |
| Wydane: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
[20..].
Cham : Springer Nature |
| Wydanie: | Second Edition. |
| Seria: | Studies in Computational Intelligence
11 |
| Dostęp online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Komentarz: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logical Foundations for Rule-Based Systems, Texte imprimé, 9783540816195 • Logical Foundations for Rule-Based Systems, Texte imprimé, 9783642067099 • Logical Foundations for Rule-Based Systems, Texte imprimé, 9783540291176 • Logical Foundations for Rule-Based Systems, Texte imprimé, 9783540816195 • Logical Foundations for Rule-Based Systems, Texte imprimé, 9783642067099 • Logical Foundations for Rule-Based Systems, Texte imprimé, 9783540291176 |
Spis treści:
- 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.