Index_I

I

i-likelihood formula, see likelihood formula

Immerman, N., 235

inclusion-exclusion rule, 29, 30, 33, 57, 66, 156, 277, 298

independence, 5, 12, 37, 38, 121-129, 146, 206, 208, 209, 255, 271-273, 285, 310, 408, 410

conditional, 132-141, 143

for (conditional) probability, 122, 123-126

for Pl_P, 129, 144

for plausibility, 126-129, 141-143, 144

for possibility, 129, 144, 147

for probability, 128, 132-141, 143, 144

for random variables, 130-143, 144-147

for ranking functions, 128

reasoning about, see reasoning about independence

independencies in Bayesian network, 139-141, 142-143

indicator function, 152, 156, 157, 159, 273

indistinguishable acts, see acts, indistinguishable

induction axiom, see axioms and inference rules, induction axiom

Ineq, see axioms and inference rules, Ineq inequality formula, 259, 400

Inequality of Variables, see axioms and inference rules, IV

Ineq⁺, see axioms and inference rules, Ineq⁺

inference rule, see axioms and inference rules

infimum (inf), 22

infinitesimals, see probability measure, nonstandard

influence diagram, 188

inner/outer expectation, 159-160, 278

inner/outer measure, 28-34, 51, 52, 57, 58, 66, 67, 92, 110, 260, 279, 303, 376

conditional, 89-92

reasoning about, see reasoning about inner/outer measure

intension, 252

internal state, see state, local interpretation, 245, 252, 321, 374

interpreted system, 245

intuitionistic logic, 283

irrelevance, 146

IV, see axioms and inference rules, IV

IVPl, see axioms and inference rules, IVPl