Catálogo de publicaciones - libros

Compartir en
redes sociales

Logical Foundations for Rule-Based Systems

Antoni Ligêza

Second Edition.

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

Appl.Mathematics/Computational Methods of Engineering; Artificial Intelligence (incl. Robotics)

Disponibilidad

Institución detectada	Año de publicación	Navegá	Descargá	Solicitá
No detectada	2006	SpringerLink

Información

Tipo de recurso:

libros

ISBN impreso

978-3-540-29117-6

ISBN electrónico

978-3-540-32446-1

Editor responsable

Springer Nature

País de edición

Reino Unido

Fecha de publicación

2006

Información sobre derechos de publicación

Cobertura temática

Ingeniería eléctrica, electrónica e informática

Tabla de contenidos

Verificá que desde tu institución tengas acceso para descargar o solicitar el libro completo o alguno de sus capítulos.

doi: 10.1007/3-540-32446-1_11

Logic Programming and Prolog

Part II - Principles of Rule-Based Systems | Pp. 173-188

doi: 10.1007/3-540-32446-1_12

Principles of Verification of Rule-Based Systems

Palabras clave: Functional Capability; Automate Theorem Prove; Intelligent Control System; Functional Service; Knowledge Representation Language.

Part III - Verification of Rule-Based Systems | Pp. 191-198

doi: 10.1007/3-540-32446-1_13

Analysis of Redundancy

Part III - Verification of Rule-Based Systems | Pp. 199-206

doi: 10.1007/3-540-32446-1_14

Analysis of Indeterminism and Inconsistency

Part III - Verification of Rule-Based Systems | Pp. 207-211

doi: 10.1007/3-540-32446-1_15

Reduction of Rule-Based Systems

Part III - Verification of Rule-Based Systems | Pp. 213-218

doi: 10.1007/3-540-32446-1_16

Analysis of Completeness

Palabras clave: Input State; Graphical Interpretation; Combinatorial Explosion; Attribute Domain; Input Case.

Part III - Verification of Rule-Based Systems | Pp. 219-228

doi: 10.1007/3-540-32446-1_17

An Introduction to Design of Rule-Based Systems

Palabras clave: Expert System; Knowledge Representation; Knowledge Acquisition; Human Expert; Knowledge Engineer.

Part IV - Design of Rule-Based Systems | Pp. 231-240

doi: 10.1007/3-540-32446-1_18

Logical Foundations: the Ψ-Trees Based Approach

Palabras clave: Root Node; Leaf Node; Mother Tree; Attribute Table; Completeness Condition.

Part IV - Design of Rule-Based Systems | Pp. 241-249

doi: 10.1007/3-540-32446-1_19

Design of Tabular Rule-Based Systems with XTT

Palabras clave: Design Phase; Functional Dependency; Inference Engine; Physical Design; Conceptual Variable.

Part IV - Design of Rule-Based Systems | Pp. 251-261

doi: 10.1007/3-540-32446-1_20

Design Example: Thermostat

Part IV - Design of Rule-Based Systems | Pp. 263-275