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 42
Página 59
Consider again the problem of proving theorems in some particular domain of
mathematics . Our goal state is the particular theorem to be proved . Our initial
states are normally a small set of axioms . Neither of these sets is significantly
bigger ...
Consider again the problem of proving theorems in some particular domain of
mathematics . Our goal state is the particular theorem to be proved . Our initial
states are normally a small set of axioms . Neither of these sets is significantly
bigger ...
Página 167
Another problem with the use of resolution as the basis of a theoremproving
system is that people do not think in resolution . Thus it is very difficult for a
person to interact with a resolution theorem prover , either to give it advice or to
be given ...
Another problem with the use of resolution as the basis of a theoremproving
system is that people do not think in resolution . Thus it is very difficult for a
person to interact with a resolution theorem prover , either to give it advice or to
be given ...
Página 396
( PART ARM PERSON ) ( PART HAND ARM ) There are three kinds of theorems
that can occur in PLANNER programs : • Consequent theorems , that describe
backward or goal - directed reasoning . An example of a consequent theorem is ...
( PART ARM PERSON ) ( PART HAND ARM ) There are three kinds of theorems
that can occur in PLANNER programs : • Consequent theorems , that describe
backward or goal - directed reasoning . An example of a consequent theorem is ...
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 |
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 |