Artificial Intelligence, Volumen1McGraw-Hill, 1983 - 436 páginas What 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 24
Página 151
... clause . In order for a wff to be true , all the clauses that are generated from it must be true . If we are going to be working with several wff's , all the clauses generated by each of them can now be combined to represent the same ...
... clause . In order for a wff to be true , all the clauses that are generated from it must be true . If we are going to be working with several wff's , all the clauses generated by each of them can now be combined to represent the same ...
Página 153
... clause form . 2. Negate S and convert the result to clause form . Add it to the set of clauses obtained in step 1 . 3. Repeat until either a contradiction is found or no progress can be made : 1. Select two clauses . Call these the parent ...
... clause form . 2. Negate S and convert the result to clause form . Add it to the set of clauses obtained in step 1 . 3. Repeat until either a contradiction is found or no progress can be made : 1. Select two clauses . Call these the parent ...
Página 158
... clause form . Add it to the set of clauses obtained in 1 . 3. Repeat until either a contradiction is found , no progress can be made , or a predetermined amount of effort has been expended : 1. Select two clauses . Call these the parent ...
... clause form . Add it to the set of clauses obtained in 1 . 3. Repeat until either a contradiction is found , no progress can be made , or a predetermined amount of effort has been expended : 1. Select two clauses . Call these the parent ...
Otras ediciones - Ver todas
Términos y frases comunes
addition algorithm already answer appear applied approach appropriate Artificial Intelligence attempt better block called Chapter choose clauses combined complete concept consider contains corresponding dependency described discussed domain example exploit explore fact frame function given goal grammar graph heuristic important indicates initial input interpretation involved John kinds knowledge labelings language learning logic look machine Marcus match means methods move natural necessary node objects occur operators particular path patterns perform position possible predicate present 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 stack statement step stored structure Suppose task techniques things tion tree true understanding variety