Practice Exercise 12.C
1: Predicate LogicOpen the deduction tool. Go to the File menu and select "Load Sample Knowledge Base" and select "An electrical system." Practice making observations and then querying the knowledge base.
2: Our Doping SystemWe've been hired by the organizers of the Tour de France to enforce anti-doping measures for all cyclists and teams. We have been instructed to suspend any team that has a member with a doping violation. A cyclist is considered to have a violation if he has tested positive for EPO or tested positive for synthetic testosterone. We consider a test result to be positive if both the first sample and second sample return positive. A cyclist will also receive a violation if they miss a test.
Using the deduction tool, write a short set of axioms to define the problem as described in the preceding paragraph, and test the system by running queries to ensure that it works. [solution] You should use the following predicates, where [x] tells you how many parameters the predicate requires:
|Main Tools: Graph Searching | Consistency for CSP | SLS for CSP | Deduction | Belief and Decision Networks | Decision Trees | Neural Networks | STRIPS to CSP|