Artificial IntelligenceMcGraw-Hill, 1991 - 621 páginas |
Dentro del libro
Resultados 1-3 de 86
Página 133
... procedure , even an exponential one . There do exist procedures that will find a proof of a proposed theorem if indeed it is theorem . But these procedures are not guaranteed to halt if the proposed statement is not a theorem . In other ...
... procedure , even an exponential one . There do exist procedures that will find a proof of a proposed theorem if indeed it is theorem . But these procedures are not guaranteed to halt if the proposed statement is not a theorem . In other ...
Página 148
... procedure will make . Resolution operates by taking two clauses that each contain the same literal , in this example , winter . The literal must occur in positive form in one clause and in negative form in the other . The resolvent is ...
... procedure will make . Resolution operates by taking two clauses that each contain the same literal , in this example , winter . The literal must occur in positive form in one clause and in negative form in the other . The resolvent is ...
Página 312
... procedure is when to stop the recursion and simply call the static evaluation function . There are a variety of factors that may influence this decision . They include : . Has one side won ? • How many ply have we already explored ...
... procedure is when to stop the recursion and simply call the static evaluation function . There are a variety of factors that may influence this decision . They include : . Has one side won ? • How many ply have we already explored ...
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