Artificial Intelligence |
Dentro del libro
Resultados 1-3 de 91
Página 198
It is not known whether P . First - order predicate logic allows reasoning to be
based on the first of these . We need an extended system that allows reasoning
to be based on the second as well . In our new system , we call any inference that
...
It is not known whether P . First - order predicate logic allows reasoning to be
based on the first of these . We need an extended system that allows reasoning
to be based on the second as well . In our new system , we call any inference that
...
Página 203
Deriving conclusions in this way is thus another form of default reasoning . We
call this specific form abductive reasoning . More precisely , the process of
abductive reasoning can be described as , “ Given two wff ' s ( A → B ) and ( B ) ,
for any ...
Deriving conclusions in this way is thus another form of default reasoning . We
call this specific form abductive reasoning . More precisely , the process of
abductive reasoning can be described as , “ Given two wff ' s ( A → B ) and ( B ) ,
for any ...
Página 209
Nonmonotonic reasoning systems that support this kind of reasoning allow
standard forwardchaining rules to be augmented with unless clauses , which
introduce a basis for reasoning by default . Control ( including deciding which
default ...
Nonmonotonic reasoning systems that support this kind of reasoning allow
standard forwardchaining rules to be augmented with unless clauses , which
introduce a basis for reasoning by default . Control ( including deciding which
default ...
Comentarios de la gente - Escribir un comentario
No encontramos ningún comentario en los lugares habituales.
Contenido
What Is Artificial Intelligence? | 3 |
Problems Problem Spaces and Search | 29 |
Heuristic Search Techniques | 63 |
Derechos de autor | |
Otras 21 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 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