probabilistic logic

use of probability and logic to deal with uncertain situations