An expert system that has the following rules and facts:
Rule 1: A company not paying its bills implies that there are problems.
Rule 2: If there are problems and the CEO throws a billion dollar party, you conclude that irregularities exist.
Rule 3: If irregularities exist, then call the FBI to investigate.
Fact 1: The company is not paying its bills.
Fact 2: The CEO throws a billion dollar party.
Convert these rules and facts into logic notation and then into clause notation.
Provide 2 additional facts that can be deduced. (Use forward chaining.)
Use proof by refutation to conclude that the FBI is called in to investigate. (Assume that the FBI is not called in to investigate and arrive at a contradiction.)
Use backward chaining to prove that the FBI is called in to investigate.
Define vocabulary.