conditional logic, expert system, inference, maximum entropy, probabilistic logic, spirit.pdf