A Logic to Reason about Likelihood.

Joseph Y. Halpern Michael O. Rabin

Published in: Artif. Intell. (1987)

Keyphrases

modal logic
logic programming
predicate logic
maximum likelihood
artificial intelligence
abductive reasoning
defeasible logic
real world
expert systems
search algorithm
automated reasoning
knowledge base
information systems
formal theory
linear logic
likelihood model
sound and complete axiomatization