Artificial Intelligence |
Dentro del libro
Resultados 1-3 de 39
Página 148
2 The Basis of Resolution The resolution procedure is a simple iterative process :
at each step , two clauses , called the parent clauses , are compared ( resolved ) ,
yielding a new clause that has been inferred from them . The new clause ...
2 The Basis of Resolution The resolution procedure is a simple iterative process :
at each step , two clauses , called the parent clauses , are compared ( resolved ) ,
yielding a new clause that has been inferred from them . The new clause ...
Página 149
The idea is to keep clauses in their general form as long as possible and only
introduce specific substitutions when they are required . For more details on
different kinds of resolution , see Stickel ( 1988 ) . 5 . 4 . 3 Resolution in
Propositional ...
The idea is to keep clauses in their general form as long as possible and only
introduce specific substitutions when they are required . For more details on
different kinds of resolution , see Stickel ( 1988 ) . 5 . 4 . 3 Resolution in
Propositional ...
Página 154
then proceed from there to discover whether mortal ( Marcus ) leads to a
contradiction with other available clauses . ... illustrates the importance of
standardizing variables apart during the process of converting expressions to
clause form .
then proceed from there to discover whether mortal ( Marcus ) leads to a
contradiction with other available clauses . ... illustrates the importance of
standardizing variables apart during the process of converting expressions to
clause form .
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