Artificial
Intelligence

foundations of computational agents

5.5.1 Non-monotonic Reasoning5.5 Complete Knowledge Assumption5.5.2.1 Bottom-Up Procedure
  • Home
  • Index
  • Contents

Full text of the second edition of Artificial Intelligence: foundations of computational agents, Cambridge University Press, 2017 is now available.

5.5.2 Proof Procedures for Complete Knowledge

  • 5.5.2.1 Bottom-Up Procedure
  • 5.5.2.2 Top-Down Negation-as-Failure Procedure

Artificial Intelligence, Poole & Mackworth (LCI, UBC, Vancouver, Canada)
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.