Artificial Intelligence |
Dentro del libro
Resultados 1-3 de 87
Página 133
Unfortunately , however , unlike propositional logic , it does not possess a
decision procedure , even an exponential one . There do exist procedures that
will find a proof of a proposed theorem if indeed it is a theorem . But these
procedures ...
Unfortunately , however , unlike propositional logic , it does not possess a
decision procedure , even an exponential one . There do exist procedures that
will find a proof of a proposed theorem if indeed it is a theorem . But these
procedures ...
Página 308
Some kind of heuristic search procedure is necessary . One way of looking at all
the search procedures we have discussed is that they are essentially generate -
and - test procedures in which the testing is done after varying amounts of work ...
Some kind of heuristic search procedure is necessary . One way of looking at all
the search procedures we have discussed is that they are essentially generate -
and - test procedures in which the testing is done after varying amounts of work ...
Página 312
It is a straightforward recursive procedure that relies on two auxiliary procedures
that are specific to the game being played : 1 . MOVEGEN ( Position , Player ) —
The plausible - move generator , which returns a list of nodes representing the ...
It is a straightforward recursive procedure that relies on two auxiliary procedures
that are specific to the game being played : 1 . MOVEGEN ( Position , Player ) —
The plausible - move generator , which returns a list of nodes representing the ...
Comentarios de la gente - Escribir un comentario
Crítica de los usuarios - Marcar como inadecuado
very good
Contenido
Problems Problem Spaces and Search | 29 |
7 | 61 |
Knowledge Representation Issues | 105 |
Derechos de autor | |
Otras 11 secciones no mostradas
Otras ediciones - Ver todas
Términos y frases comunes
active addition agents algorithm allow answer apply approach assertions becomes belief build called Chapter choose clauses combined complete concept consider consistent constraints contains corresponding define dependency described discussed domain elements example fact Figure function given goal heuristic important initial input instance interpretation John kinds knowledge knowledge base labeled language learning logic look match meaning methods move natural necessary node object occur operators output particular path perform position possible predicate present problem procedure produce properties question reasoning relation represent representation result robot rules semantic sentence shown in Figure shows simple single situation slot solution solve space specific statements step stored structure Suppose task techniques things tree true understanding units usually variables weights