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_1

Propositional Logic

Palabras clave: Logical Consequence; Propositional Logic; Theorem Prove; Conjunctive Normal Form; Disjunctive Normal Form.

Part I - Logical Foundations of Rule-Based Systems | Pp. 3-35

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

Predicate Calculus

Palabras clave: Free Variable; Predicate Calculus; Atomic Formula; Predicate Symbol; Variable Assignment.

Part I - Logical Foundations of Rule-Based Systems | Pp. 37-50

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

Attribute Logic

Palabras clave: Free Variable; Expressive Power; Atomic Formula; Attribute Logic; Variable Assignment.

Part I - Logical Foundations of Rule-Based Systems | Pp. 51-63

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

Resolution

Palabras clave: Logical Consequence; Inference Rule; Propositional Calculus; Theorem Prove; Atomic Formula.

Part I - Logical Foundations of Rule-Based Systems | Pp. 65-72

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

Dual Resolution

Palabras clave: Logical Consequence; Inference Rule; Simple Formula; Theorem Prove; UNIV Member.

Part I - Logical Foundations of Rule-Based Systems | Pp. 73-88

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

Basic Structure of Rule-Based Systems

Part II - Principles of Rule-Based Systems | Pp. 91-96

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

Rule-Based Systems in Propositional Logic

Palabras clave: Leaf Node; Propositional Logic; Binary Decision; Decision Table; Binary Decision Diagram.

Part II - Principles of Rule-Based Systems | Pp. 97-127

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

Rule-Based Systems in Attributive Logic

Palabras clave: Data Item; Atomic Formula; Decision Table; Decision Attribute; Knowledge Item.

Part II - Principles of Rule-Based Systems | Pp. 129-153

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

Rule-Based Systems in First-Order Logic

Part II - Principles of Rule-Based Systems | Pp. 155-162

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

Inference Control in Rule-Based Systems

Palabras clave: Resolution Problem; Context Switching; Linear Strategy; Resolution Mechanism; Single Rule.

Part II - Principles of Rule-Based Systems | Pp. 163-171