Artificial IntelligenceMcGraw-Hill, 1991 - 621 páginas |
Dentro del libro
Resultados 1-3 de 13
Página 214
... system . 7.5.2 Justification - Based Truth Maintenance Systems The idea of a truth maintenance system or TMS [ Doyle , 1979 ] arose as a way of providing the ability to do dependency - directed backtracking and so to support ...
... system . 7.5.2 Justification - Based Truth Maintenance Systems The idea of a truth maintenance system or TMS [ Doyle , 1979 ] arose as a way of providing the ability to do dependency - directed backtracking and so to support ...
Página 221
... TMS , in which , although the first three of these operations must still be performed by the problem - solving system , the last can be performed by the TMS . 7.5.3 Logic - Based Truth Maintenance Systems A logic - based truth maintenance ...
... TMS , in which , although the first three of these operations must still be performed by the problem - solving system , the last can be performed by the TMS . 7.5.3 Logic - Based Truth Maintenance Systems A logic - based truth maintenance ...
Página 549
... system can exploit a justification - based truth maintenance system to revise its model of the circuit . The first rule shown here says that an element ... truth maintenance systems , and 20.2 . EXPERT SYSTEM SHELLS 549 Expert System Shells.
... system can exploit a justification - based truth maintenance system to revise its model of the circuit . The first rule shown here says that an element ... truth maintenance systems , and 20.2 . EXPERT SYSTEM SHELLS 549 Expert System Shells.
Contenido
Weak SlotandFiller Structures | 9 |
6 | 24 |
Heuristic Search Techniques | 63 |
Derechos de autor | |
Otras 24 secciones no mostradas
Otras ediciones - Ver todas
Términos y frases comunes
Abbott algorithm answer apply approach Artificial Intelligence assertions attributes axioms backpropagation backtracking backward backward reasoning belief best-first search breadth-first search Cabot Caesar Chapter clauses concept consider constraints contains contexts contradiction corresponding define depth-first depth-first search described discussed domain example explicitly fact given goal graph heuristic heuristic function Horn clauses important inference inheritance input instance interpretation justification knowledge base knowledge representation labeled learning logical assertions Marcus match move MYCIN node nonmonotonic reasoning object operators particular path perceptron possible preconditions predicate logic problem problem-solving procedure produce production system PROLOG propagation propositional logic question represent resolution result robot rules Section semantic semantic net sentence shown in Figure simple slot solution solve space specific statements step strategy structure Suppose suspect syntactic task techniques theorem things tree true truth maintenance system variables wff's