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 86
Página 158
Given that that standardization has been done , it is easy to determine how the
unifier must be used to perform substitutions to create the resolvent . If two
instances of the same variable occur , then they must be given identical
substitutions .
Given that that standardization has been done , it is easy to determine how the
unifier must be used to perform substitutions to create the resolvent . If two
instances of the same variable occur , then they must be given identical
substitutions .
Página 186
Let P ( H ; IE ) = P ( ETH ; ) = P ( H ; ) = the probability that hypothesis H ; is true
given evidence E the probability that we will observe evidence E given that
hypothesis i is true the a priori probability that hypothesis i is true in the absence
of any ...
Let P ( H ; IE ) = P ( ETH ; ) = P ( H ; ) = the probability that hypothesis H ; is true
given evidence E the probability that we will observe evidence E given that
hypothesis i is true the a priori probability that hypothesis i is true in the absence
of any ...
Página 195
In such a case , the certainty factor of the hypothesis must take into account both
the strength with which the evidence suggests the hypothesis and the level of
confidence in the evidence . Let MB ' [ h , s ] be the measure of belief in h given
that ...
In such a case , the certainty factor of the hypothesis must take into account both
the strength with which the evidence suggests the hypothesis and the level of
confidence in the evidence . Let MB ' [ h , s ] be the measure of belief in h given
that ...
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 |
Chapter 7 | 103 |
Derechos de autor | |
Otras 14 secciones no mostradas
Otras ediciones - Ver todas
Términos y frases comunes
additional algorithm already answer appear applied approach appropriate attempt better block called Chapter choose clauses combined complete concept consider contains dependency described determine discussed domain example exists exploit explore fact Figure frame function given goal graph heuristic important indicates input interpretation involved John kinds knowledge known labelings language learning logic look Marcus match means methods move necessary node objects occur operators particular path performed play position possible predicate present problem procedure produce proof prove question reasoning representation represented resolution result rules satisfy semantic sentence shown in Figure shows simple single situation solution solve space specific statements step structure substitution Suppose task techniques theorem things tion tree true understanding variable 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 |