Artificial Intelligence |
Dentro del libro
Resultados 1-3 de 97
Página 131
Chapter 5 Using Predicate Logic In this chapter , we begin exploring one
particular way of representing facts — the language of logic . Other
representational formalisms are discussed in later chapters . The logical
formalism is appealing ...
Chapter 5 Using Predicate Logic In this chapter , we begin exploring one
particular way of representing facts — the language of logic . Other
representational formalisms are discussed in later chapters . The logical
formalism is appealing ...
Página 133
So we appear to be forced to move to first - order predicate logic ( or just
predicate logic , since we do not discuss higher order ... But a major motivation
for choosing to use logic at all is that if we use logical statements as a way of
representing ...
So we appear to be forced to move to first - order predicate logic ( or just
predicate logic , since we do not discuss higher order ... But a major motivation
for choosing to use logic at all is that if we use logical statements as a way of
representing ...
Página 201
Nonmonotonic Logic3 • Default Logic We then describe two common kinds of
nonmonotonic reasoning that can be defined in those logics : • Abduction •
Inheritance Nonmonotonic Logic One system that provides a basis for default
reasoning ...
Nonmonotonic Logic3 • Default Logic We then describe two common kinds of
nonmonotonic reasoning that can be defined in those logics : • Abduction •
Inheritance Nonmonotonic Logic One system that provides a basis for default
reasoning ...
Comentarios de la gente - Escribir un comentario
Crítica de los usuarios - Marcar como inadecuado
very good
Contenido
Problems Problem Spaces and Search | 29 |
7 | 61 |
Knowledge Representation Issues | 105 |
Derechos de autor | |
Otras 11 secciones no mostradas
Otras ediciones - Ver todas
Términos y frases comunes
active addition agents algorithm allow answer apply approach assertions becomes belief build called Chapter choose clauses combined complete concept consider consistent constraints contains corresponding define dependency described discussed domain elements example fact Figure function given goal heuristic important initial input instance interpretation John kinds knowledge knowledge base labeled language learning logic look match meaning methods move natural necessary node object occur operators output particular path perform position possible predicate present problem procedure produce properties question reasoning relation represent representation result robot rules semantic sentence shown in Figure shows simple single situation slot solution solve space specific statements step stored structure Suppose task techniques things tree true understanding units usually variables weights