Home AISpace2 Main Tools News Downloads Prototype Tools Customizable Applets Practice Exercises space Help About AIspace
Run the top-down derivation of the query accepted(chris) applied to your KB.
  • yes ← [accepted(chris)].
    yes ← [appComplete(chris), qualified(chris)].
    yes ← [qualified(chris)].
    yes ← [legacyStudent(chris)].
    yes ← [child(chris, Parent), graduate(Parent)].
    yes ← [graduate(sam)].
    yes.
    "yes" - proven
Main Tools: Graph Searching | Consistency for CSP | SLS for CSP | Deduction | Belief and Decision Networks | Decision Trees | Neural Networks | STRIPS to CSP

Valid HTML 4.0 Transitional