Artificial
Intelligence

foundations of computational agents

5.5.1 Non-monotonic Reasoning

5.5 Complete Knowledge
Assumption

5.5.2.1 Bottom-Up Procedure

Home
Index
Contents

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

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