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...
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
[20..].
Cham : Springer Nature |
| Edición: | Second Edition. |
| Series: | Studies in Computational Intelligence
11 |
| Acceso en liña: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
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 |
| Résumé: | 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. |
|---|---|
| descrición da copia: | Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| ISBN: | 9783540324461 |
| ISSN: | 1860-9503 |
| Acceso: | Accès en ligne pour les établissements français bénéficiaires des licences nationales Accès soumis à abonnement pour tout autre établissement 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 |