Reasoning about Uncertainty

F

F1–5, see axioms and inference rules, F1–5

Fagin, R., xiv, 10, 66, 67, 117, 118, 235, 236, 283-285, 363, 392, 393

failure set, 333

Falk, R., 10, 117

Fari as del Cerro, L., 147, 285

Feinberg, Y., 285

Feldman, Y., 284, 285

Feller, W., 64

Fierens, P., xiv

filter, 288

Fine, T. L., 68, 146

Finetti, B. de, 65

finite additivity, see additivity, finite

finite-model theorem, 370

FINN, see axioms and inference rules, FINN

first-order conditional logic, see conditional logic, first-order

first-order logic, 7, 240, 365-373, 378, 380, 390, 392, 416

axioms, 370-372, 375-376, 380, 381, 391

semantics, 367-370, 374, 379

syntax, 366-367, 376, 378

Fischer, M. J., 235, 237

Folger, T. A., 10, 119

Fonck, P., 118, 147

formula, atomic, 366

frame

epistemic, 190-192, 251

epistemic lower probability, 223

epistemic probability, 194, 222, 268

probability, 193-195, 199

simple, 193, 251

Frayn, M., 395

free variable, see variable, free

Freund, J. E., 10

Freund, M., 364

Friedman, N., xiv, 68, 147, 328, 329, 364, 393-394

Fudenberg, D., 236

Fuller, R. B., 189

function symbol, 366

fuzzy logic, 40

Категории