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 22
Página 153
... begin select- ing pairs of clauses to resolve together . Although any pair of clauses can be resolved , only those pairs that contain complementary literals will produce a resolvent that is likely to lead to the goal of producing the ...
... begin select- ing pairs of clauses to resolve together . Although any pair of clauses can be resolved , only those pairs that contain complementary literals will produce a resolvent that is likely to lead to the goal of producing the ...
Página 357
... begin by labeling all the boundary edges , as shown in Figure 10-15 ( b ) . Suppose we then begin labeling vertices at vertex 1. The only vertex label that is consistent with the known line labels is 13. At vertex 2 , the only ...
... begin by labeling all the boundary edges , as shown in Figure 10-15 ( b ) . Suppose we then begin labeling vertices at vertex 1. The only vertex label that is consistent with the known line labels is 13. At vertex 2 , the only ...
Página 410
... begin with examples of desired behavior in the form of input - output pairs . Others ( e.g. , [ Burstall , 1977 ; Manna , 1980 ] ) begin with formal specifications of the desired behavior . Still others begin with examples of execution ...
... begin with examples of desired behavior in the form of input - output pairs . Others ( e.g. , [ Burstall , 1977 ; Manna , 1980 ] ) begin with formal specifications of the desired behavior . Still others begin with examples of execution ...
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