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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Ligeza, Antoni (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:2nd ed. 2006.
Colección:Studies in Computational Intelligence, 11
Temas:
Engineering mathematics.
Engineering-Data processing.
Artificial intelligence.
Mathematical and Computational Engineering Applications.
Artificial Intelligence.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares