AISpace2 Main Tools News Downloads Prototype Tools Customizable Applets Practice Exercises Help About AIspace

What is a definite clause? Give the definition and an example from a domain of your choice. A definite clause is an atom or is a rule of the form h ← b where h is an atom and b is a body. (Read this as h if b.) Example: students_are_successful ← ai_is_fun ∧ students_are_motivated

Main Tools: Graph Searching | Consistency for CSP | SLS for CSP | Deduction | Belief and Decision Networks | Decision Trees | Neural Networks | STRIPS to CSP