|
AISpace2 | Main Tools | News | Downloads | Prototype Tools | Customizable Applets | Practice Exercises |  |
Help | About AIspace |
|
Write a short set of axioms to define the problem as described.
suspendTeam(Team) <- hasMember(Team,Member) & hasViolation(Member). hasViolation(Person) <- testPositive(Person, epo). hasViolation(Person) <- testPositive(Person, testosterone). hasViolation(Person) <- missedTest(Person). testPositive(Person, Substance) <- firstPositive(Person, Substance) & secondPositive(Person, Substance). hasMember(canvelo, jim). hasMember(lightriders, kim). firstPositive(jim). missedTest(kim). |
| Main Tools: Graph Searching | Consistency for CSP | SLS for CSP | Deduction | Belief and Decision Networks | Decision Trees | Neural Networks | STRIPS to CSP |