Preparing preview...
CptS 440 / 540Artificial Intelligence. Uncertainty Reasoning. Non-monotonic Logic. Traditional logic is monotonic. The set of legal conclusions grows ...