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

How many terms are in the following definite clause? uffish(vorpal, tulgey)←slithy ∧burbled(Borogrove,raths). Four: vorpal, tulgey, Borogrove and raths. The predicate symbols are: uffish, slithy, and burbled

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