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...
שמור ב:
| מחבר ראשי: | |
|---|---|
| פורמט: | Livre numérique |
| שפה: | Anglais |
| יצא לאור: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
[20..].
Cham : Springer Nature |
| מהדורה: | Second Edition. |
| סדרה: | Studies in Computational Intelligence
11 |
| גישה מקוונת: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| הערה: |
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 |
| LEADER | 04300nam a22003857a 4500 | ||
|---|---|---|---|
| 001 | 938378 | ||
| 008 | 080410q2000 xx ||| |||| 00| 0 eng d | ||
| 009 | PPN123127718 | ||
| 020 | |a 9783540324461 | ||
| 041 | 0 | |a eng | |
| 082 | |a 519 | ||
| 100 | 1 | |a Ligêza, Antoni. | |
| 245 | 1 | 0 | |a Logical Foundations for Rule-Based Systems |c by Antoni Ligêza. |
| 250 | |a Second Edition. | ||
| 260 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Studies in Computational Intelligence |v 11 |x 1860-9503 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 1 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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 verification. The ultimate goal was to provide a deeper theoretical insight into the nature of rule-based systems and put together the most complete presentation including details so frequently skipped in typical textbooks. The main parts present material on: logical foundations of rule-based systems (Part I); principles of rule-based systems structures, knowledge representation languages, inference and inference control (Part II); verification of formal properties of rule-based systems (Part III); design methodology for efficient development of such systems (Part IV). The book may be useful to potentially wide audience, but it is aimed at providing specific knowledge for graduate, post-graduate and Ph.D. students, as well as knowledge engineers and research workers involved in the domain of AI. It also constitutes a summary of the Author s research and experience gathered through several years of his research work. | ||
| 776 | 0 | |t Logical Foundations for Rule-Based Systems |b Texte imprimé |z 9783540816195 | |
| 776 | 0 | |t Logical Foundations for Rule-Based Systems |b Texte imprimé |z 9783642067099 | |
| 776 | 0 | |t Logical Foundations for Rule-Based Systems |b Texte imprimé |z 9783540291176 | |
| 776 | 0 | |t Logical Foundations for Rule-Based Systems |b Texte imprimé |z 9783540816195 | |
| 776 | 0 | |t Logical Foundations for Rule-Based Systems |b Texte imprimé |z 9783642067099 | |
| 776 | 0 | |t Logical Foundations for Rule-Based Systems |b Texte imprimé |z 9783540291176 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-32446-1 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-DF93BVPW-J |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747899991 |u https://ezproxy.univ-orleans.fr/login?url=https://dx.doi.org/10.1007/3-540-32446-1 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750913045 |u https://ezproxy.insa-cvl.fr/login?qurl=https://dx.doi.org/10.1007/3-540-32446-1 |z Accès INSA CVL | |
| 997 | |0 938378 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||