Artificial Intelligence, Volumen1What is artificial intelligence?; Problem solving; Problems and problem spaces; Basic problem-solving methods; Game playing; Knowledge representation; Knowledge representation using predicate logic; Knowledge representation using other logics; Structured representation of knowledge; Advanced topics; Advanced problem-solving systems; Natural language understanding; Perception; Learning; Implementing A.lI. systems: languages and machines; Conclusion; References; Index. |
Dentro del libro
Resultados 1-3 de 35
Página 67
But to see whether the preconditions for rule 1 are satisfied , we must find a
single substitution for y such that it is true that SON ( John , y ) and SON ( y , z ) ,
for some value of z . To do this , we must first find a y that satisfies one of the ...
But to see whether the preconditions for rule 1 are satisfied , we must find a
single substitution for y such that it is true that SON ( John , y ) and SON ( y , z ) ,
for some value of z . To do this , we must first find a y that satisfies one of the ...
Página 261
We check to make sure it is satisfied in the world model . It will be unless we
undid one of its components in attempting to satisfy another . In this case , there is
no problem and the combined goal can be popped from the stack . Now the top ...
We check to make sure it is satisfied in the world model . It will be unless we
undid one of its components in attempting to satisfy another . In this case , there is
no problem and the combined goal can be popped from the stack . Now the top ...
Página 263
This is what we were trying to achieve by applying UNSTACK , which required us
to apply STACK so that the precondition ON ( C , x ) would be satisfied . So we
are back to our original goal ( plus more since other predicates have also been ...
This is what we were trying to achieve by applying UNSTACK , which required us
to apply STACK so that the precondition ON ( C , x ) would be satisfied . So we
are back to our original goal ( plus more since other predicates have also been ...
Comentarios de la gente - Escribir un comentario
No encontramos ningún comentario en los lugares habituales.
Contenido
PART ONE PROBLEM SOLVING | 23 |
Basic Problem Solving Methods | 55 |
Game Playing | 113 |
Derechos de autor | |
Otras 10 secciones no mostradas
Otras ediciones - Ver todas
Términos y frases comunes
additional algorithm already answer appear applied approach appropriate attempt block called chapter choose clauses combined complete concept consider constraint contains corresponding dependency described determine discussed domain evidence example exploit explore fact frame function given goal grammar graph heuristic important indicates initial input interpretation involved John kinds knowledge known labelings language lead learning logic look match means methods move necessary node objects occur operators particular path performed position possible preconditions predicate present probability problem procedure produce prove question reasoning representation represented result rules satisfied script selected semantic sentence shown in Figure shows simple single situation solution solve space specific statements step stored structure Suppose task techniques things tion tree true understanding variety
Referencias a este libro
Human-computer Interaction Alan Dix,Alan John Dix,Janet Finlay,Gregory D. Abowd,Russell Beale Sin vista previa disponible - 2003 |