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 84
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 253
In this system , a given state was described by a set of predicates representing
the facts that were true in that state . Each distinct state was represented explicitly
as part of the predicate . For example , Figure 8 - 1 shows how a state , called So
...
In this system , a given state was described by a set of predicates representing
the facts that were true in that state . Each distinct state was represented explicitly
as part of the predicate . For example , Figure 8 - 1 shows how a state , called So
...
Comentarios de la gente - Escribir un comentario
No encontramos ningún comentario en los lugares habituales.
Contenido
PART ONE PROBLEM SOLVING | 23 |
Basic Problemsolving Methods | 55 |
Game Playing | 113 |
Derechos de autor | |
Otras 8 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 constraints contains corresponding dependency described determine discussed domain evidence example exists exploit explore fact frame function given goal grammar graph heuristic important indicates initial input interpretation involved John kinds knowledge labelings language lead learning logic look match means mechanism 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 |
Información bibliográfica
| Título | Artificial Intelligence, Volumen1 Artificial Intelligence International student edition International student edition: MacGraw-Hill McGraw-Hill computer science series McGraw-Hill international editions McGraw-Hill series in artificial intelligence Synthesis lectures on computer science |
| Autores | Elaine Rich, Rich Elaine |
| Edición | 6, ilustrada, reimpresa |
| Editor | McGraw-Hill, 1983 |
| Procedencia del original | Universidad de Michigan |
| Digitalizado | 15 Nov. 2007 |
| ISBN | 0070522618, 9780070522619 |
| Largo | 436 páginas |
| Exportar cita | BiBTeX EndNote RefMan |