|
S4, see axiom system, S4
S4n, see axiom system, S4n
S5, see axiom system, S5
S5n, see axiom system, S5n
Sack, J., xiv
Sahlin, N., 187
Samet, D., 116, 235, 285
sample space, 12, 129
satisfaction (|=)
for →′, 300-301
for belief (Bi), 291-292
for common knowledge (C), 270
for default formulas, 296-300, 302, 308, 309, 321
for first-order logic, 368, 369-370
for first-order modal logic, 374-375
for inequality formulas, 259
for QUn, 256-258, 261
for QU, stat, 379
for RLn, 264-265
for ≈, 401
for →n, 311, 315-316
for Ni, 382
for propositional logic, 241-243
for propositional modal logic, 245-246
satisfiability, 243
in belief structures, 262, 279
in epistemic structures, 245, 371
in probability structures, 262, 279, 284
in relational plausibility structures, 383, 386, 387
in relational possibility structures, 389
in relational structures, 370, 371, 372
satisfy, see satisfaction
Savage, L. J., 65, 119, 186-187
Saxena, N., 236
Schlechta, K., 394
Schmeidler, D., 66, 117, 118, 186, 187
Scott, D., 235
SDP, 194-195, 200, 202, 232, 235, 251, 268-270, 281, 285, 291, 292, 320
SDP system, 202, 209, 236, 337, 341
second-ace puzzle, 1, 2, 10, 82, 210, 213-216, 217, 218, 220, 233, 234, 236
second-order logic, 373
second-order probability, 393
Segerberg, K., 235
selection function, 329
selectively reported data, 220, 236
semantics, 6, 241, 244, 251-254, 255, 283, 311, 367, 376
sentence, 369, 390
serial relation, 190
sets of probability measures, see probability measures, set of
Shachter, R. D., 188
Shackle, G. L. S., 67
Shafer, G., 10, 67, 186, 236
Shamir, A., 236
Shannon, C., 118
Sharir, M., 285
Shastri, L., 429
Shelah, S., 285
Shenoy, P., 147
Shier, D., 188
Shimony, A., 116
Shoham, Y., 188, 328, 329
Shore, J. E., 119
Shore, R., xiv
Shortliffe, E. H., 67
σ-algebra, see algebra, σ-
Silgardo, S., xiv
Silverstein, H. S., 188
similar decision problems, see decision problems, similar
simple act, see act, simple
simple probability structure, see structure, probability, simple
Skyrms, B., 393
Smets, P., 118
Smith, C. A. B., 66
Snell, J. L., 235
Sobel, J. H., 188
Solovay, R., 236
sound and complete axiomatization, see axiom system, sound and complete
Spohn, W., 67, 118, 146, 364
Stalnaker, R., 328, 329
standard conditional plausibility space, see plausibility space, conditional, standard
standardization, 76
state
environment, 196, 336-337, 341, 346, 359, 361
global, 196-197, 360, 361
local, 196-214, 218-219, 229-231, 334, 336, 341, 350, 352, 353, 354-358, 360-361
state-determined probability, see SDP
statistical likelihood formula, see likelihood formula, statistical
statistical likelihood term, see likelihood formula, statistical
statistical reasoning, 377-381, 382, 389-390, 393, 394, 395-430
axioms, 379-381
semantics, 378-379
syntax, 377-378
statistical 퓣-structure, see structure, statistical
Stirling's approximation, 427
Strassen, V., 236
strategy, see protocol
strict partial order, see order, partial, strict
structure
Aumann, 235
belief, 260, 261, 262, 279
conditional probability simple, 295-296
epistemic, 245-248, 250-254, 278, 371, 374
common-domain, 374
relational, 373-376, 392
epistemic belief, 291-292, 318, 319
epistemic probability, 268-271
lower probability, 260, 261
nonstandard probability, 321
normal, 314
plausibility, 266-267, 317, 329
relational, 385, 386, 388
relational qualitative, 389
simple measurable, 302-305, 321-325
simple qualitative, 303-305
possibility, 260, 261, 262, 264, 267, 281, 321
relational, 384-385, 392
simple, 299-300, 303
preferential, 264-267, 300, 329
counterfactual, 315-316, 327
relational, 384-385, 392
simple, 299, 300-301, 303, 328
total, 264-267, 300, 327
preferred, 307-309, 329
probability, 261, 262, 272, 279
measurable, 254-258, 267
relational, 376, 378
simple, 254, 284, 295
PS, 297-298, 304, 309-311, 321, 325, 328
relational, 384, 391
ranking, 264, 267, 281, 317
relational, 384
simple, 299-300, 303, 307-309
rational, 314
relational, 367-373, 374, 390-391
finite, 371-372, 392
statistical, 378-379
statistical-approximation, 400
subadditivity, 29
for expectation, 153-156, 161, 164
subalgebra, 28
superadditivity, 29, 263
for expectation, 153-161, 164, 180
support function, see belief function
sup property, 161, 182
supremum, 22
survival analysis, 236
Sutton, R., 10
symmetric relation, 190
synchronous system, 205
syntactic, 249
syntax, 6, 239, 244, 251-254, 311, 366, 373, 376
system, see multi-agent system represents protocol, 209
System Z, 308-309, 329
|