Artificial Intelligence |
From inside the book
Results 1-3 of 88
Page 131
Elaine Rich. Chapter 5 Using Predicate Logic In this chapter , we begin exploring one particular way of representing facts - the lan- guage of logic . Other representational formalisms are discussed in later chapters . The logical ...
Elaine Rich. Chapter 5 Using Predicate Logic In this chapter , we begin exploring one particular way of representing facts - the lan- guage of logic . Other representational formalisms are discussed in later chapters . The logical ...
Page 192
... Chapter 8 , we introduce the idea of attaching probabilistic measures to rules . And , in Chapter 20 , we look at how rule - based systems are being used to solve complex , real - world problems . The book Pattern - Directed Inference ...
... Chapter 8 , we introduce the idea of attaching probabilistic measures to rules . And , in Chapter 20 , we look at how rule - based systems are being used to solve complex , real - world problems . The book Pattern - Directed Inference ...
Page 379
... chapter we focus on understanding , although in Section 15.5 we will provide some references to work in these other areas . 15.1 Introduction Recall that in the last chapter we defined understanding as the process of mapping from an ...
... chapter we focus on understanding , although in Section 15.5 we will provide some references to work in these other areas . 15.1 Introduction Recall that in the last chapter we defined understanding as the process of mapping from an ...
Contents
Weak SlotandFiller Structures | 9 |
6 | 24 |
Heuristic Search Techniques | 63 |
Copyright | |
24 other sections not shown
Other editions - View all
Common terms and phrases
Abbott algorithm answer apply approach Artificial Intelligence assertions attributes axioms backpropagation backtracking backward backward reasoning belief best-first search breadth-first search Cabot Caesar Chapter clauses concept consider constraints contains contexts contradiction corresponding define depth-first depth-first search described discussed domain example explicitly fact given goal graph heuristic heuristic function Horn clauses important inference inheritance input instance interpretation justification knowledge base knowledge representation labeled learning logical assertions Marcus match move MYCIN node nonmonotonic reasoning object operators particular path perceptron possible preconditions predicate logic problem problem-solving procedure produce production system PROLOG propagation propositional logic question represent resolution result robot rules Section semantic semantic net sentence shown in Figure simple slot solution solve space specific statements step strategy structure Suppose suspect syntactic task techniques theorem things tree true truth maintenance system variables wff's