Artificial
Intelligence

foundations of computational agents

5.2.2.2 Top-Down Proof Procedure5 Propositions and Inference5.3.1 Background Knowledge and Observations
  • Home
  • Index
  • Contents

5.3 Knowledge Representation Issues

  • 5.3.1 Background Knowledge and Observations
  • 5.3.2 Querying the User
  • 5.3.3 Knowledge-Level Explanation
    • 5.3.3.1 How Did the System Prove a Goal?
    • 5.3.3.2 Why Did the System Ask a Question?
  • 5.3.4 Knowledge-Level Debugging
    • 5.3.4.1 Incorrect Answers
    • 5.3.4.2 Missing Answers
    • 5.3.4.3 Infinite Loops

Copyright © 2010, David Poole and Alan Mackworth. Creative Commons License
This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 2.5 Canada License.