Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Kyburg H.E., Teng Ch.M. — Uncertain Inference
Kyburg H.E., Teng Ch.M. — Uncertain Inference

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Uncertain Inference

Авторы: Kyburg H.E., Teng Ch.M.

Аннотация:

"Coping with uncertainty is a necessary part of ordinary life and it crucial to an understanding of how the mind works. For example, it is a vital element in developing artificial intelligence that will not be undermined by its own rigidities. There have been many approaches to the problem of uncertain inference, ranging from probability to inductive logic to nonmonotonic logic. This book seeks to provide a clear exposition of these approaches within a unified framework." The principal market for the book will be students and professionals in philosophy, computer science, and artificial intelligence. Among the special features of the book are a chapter on evidential probability, an interpretation of probability specifically developed with an eye to inductive and uncertain inference, which has not received a basic exposition before; chapters on nonmonotonic reasoning and theory replacement that concern matters rarely addressed in standard philosophical texts; and chapters on Mill's methods and statistical inference that cover material sorely lacking in the usual treatments of artificial intelligence and computer science.


Язык: en

Рубрика: Computer science/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 2001

Количество страниц: 310

Добавлена в каталог: 23.05.2008

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$C^*$      see confirmation functions
$c^{\dag}$      see confirmation functions
$K^*_{\phi}$      see rationality postulates revision
$K^+_{\phi}$      see rationality postulates expansion
$K^-_{\phi}$      see rationality postulates contraction
$K_{\perp\phi}$      see maximal subsets
$m^*$      see measure functions
$m^{\dag}$      see measure functions
$\bigoplus$      see Dempster’s rule of combination
$\lceil \rceil$      see quasiquotation
$\le_e$      see epistemic entrenchment
$\sigma$-field      see field sigma
$\tau$      see definite descriptions
4      see axioms modal
5      see axioms modal
Acceptance      194 261 267
Accessibility relations      134—136
Accessibility relations, equivalence      135
Accessibility relations, Euclidean      135
Accessibility relations, reflexive      134
Accessibility relations, serial      134
Accessibility relations, symmetric      135
Accessibility relations, transitive      135
Ackermann, W.      27
Adams, E.      230
Additivity      47
Additivity, countable      48 88
Additivity, finite      48 87
Additivity, super      108
AGM postulates      see rationality postulates
Alchourron, C.E.      158 168 171
Analogy      204
Approximation      283
Argument      2 22 23 33 35 202
Argument, Bayesian      217
Argument, complete      33
Argument, degree of validity      80
Argument, rational      270
Argument, sound      2 33 36
Argument, valid      2 33 36
Assumption, ungrounded      201 262 273 279 286
Atomic formula      28 205
Atomic formula, restricted      205 207
Atomic term, restricted      206
Attribute class      77
Autoepistemic theory      138
Axiom of non-negativity      47
Axiom of total probability      47
Axiomatic method      6
Axioms      27
Axioms, Mathematical Logic      27 31
Axioms, modal      135 136
Axioms, propositional logic      27
Bacchus, F.      203 204n 262
Background conditions      181 183
Bacon, F.      7—10 14
Basic probability assignment      105
Bayesian networks      195
Bayesianism      89
Bayes’ Theorem      53 177
Belief      152
Belief bases      168
Belief functions      104 226
Belief functions, convex sets of probabilities      106
Belief functions, counterintuitive consequences      111
Belief functions, mass      see basic probability assignment
Belief functions, properties      109
Belief, degree of      38 193 211
Belief, rational      80 87
Belief, revising degree of      89
Belief, T-axiom      135 142
Bernoulli, J.      12 13 42 43
Bookie      88n
Borel set      190 207 208
Boutilier, C.      171
Brewka, G.      147
Cardinality, relative      209
Carnap, R.      81—83 85 86 94 98 99 103 104 114 195 226 243 262 270 283
cases      69
Cases, equipossible      43 45 69
Central limit theorem      64
Certainty, degree of      275
Certainty, evidential      272 283
Certainty, practical      272 281
Chance set-up      72 78
Chance, objective      237
Characteristic functions      61
Chebychef’s Theorem      62
Cheeseman, P.      193
Chellas, B.F.      134
Circumscribed theory      144
Circumscription      143
Circumscription formula      144
Circumscription schema      144
Closed world assumption      126 137
Closure      31
Closure, Mathematical Logic      27
Coherence theory change      169
Collectives      72 73
Collectives, conditional      73
Collectives, mixing      73
Combinations      43 44
Combinatorics      see combinations permutations
Completeness      231 244
Completeness, Mathematical Logic      32
Conditionalization      89 209 262
Conditionalization, convex      111
Conditionalization, temporal      93
Conditioning      194 196
Confidence interval      186 187 189—191 196 248 261 263 282 283
Confidence interval vs conditionalization      264
Confidence interval, diagram      188
Confidence interval, method      179
Confidence interval, one sided      187
Confidence interval, two sided      186
Confirmability, degree of      101
Confirmation      81 83
Confirmation as conditional probability      81
Confirmation functions, $c^*$      83 98
Confirmation functions, $c^{\dag}$      83
Confirmation, increase      103
Consequents      121
Constraint function      206 208
Constraint partition      206 208
Constraint, objective      237
Content, predictive empirical      283—285
Contraction      154 156
Contraction, full meet      165
Contraction, maxichoice      165
Contraction, partial meet      165
Convention      275 285
Convexivity      106
Core      105
Corroboration      99 100
Corroboration, definition      101
Corroboration, maximizing      103
Corroboration, theorems      101
Cresswell, M.J.      134
Criscuolo, G.      130
D      see axioms modal
Darwiche, A.      171
Datamining      287
de Finetti, B.      90 92 94 193
de Finetti’s theorem      90
Decidability      32
Decidability, semi-      147
Decision      194
Deduction Theorem      33
Default logic, terminology      121
Default logic, variants      131
Default rules      121
Default rules, closed      122
Default rules, normal      129
Default rules, open      122
Default rules, priorities      147
Default rules, semi-normal      130
Default theories      122
Default theories, closed      122
Default theories, normal      129
Default theories, open      122
Default theories, semi-normal      130
Default theories, transformation from open to closed      123
Definite descriptions      26
Dempster conditioning      110
Dempster conditioning, relation to convex conditioning      111
Dempster, A.P.      104 108 110—112 114
Dempster’s rule of combination      108 110
Density function      58 59
Density function, joint      60
Density function, marginal      60
Direct inference      175 177 178 195 201 262 263
Distribution functions      55 58
Distribution functions, joint      60
Distribution functions, marginal      60
Distribution functions, properties      59
Distribution, binomial      63
Distribution, full      216
Distribution, Gaussian      see distribution normal
Distribution, marginal      216
Distribution, normal      38 63 187 191
Domain      28 232
Doyle, J.      135 136 169
Draws, sequences of      264 266
Dubois, D.      114
Duhem, P.      282
Dutch book      87
Dutch book theorem, countable additivity      88
Dutch book theorem, finite additivity      87
Earman, J.      93
Eberle, R.      233n
Entailment, partial      81 203 235 236
entropy      193
Epistemic entrenchment      166
Epistemic entrenchment, iterated change      171
Epistemic entrenchment, postulates      167
Epistemic entrenchment, relation to rationality postulates      168
Epistemic utility      103
Equivalence classes of lengths      277
Equivalence classes of models      235
erasure      170
Error analysis      192
Error, kinds of      183 184
Error, long run frequencies of      185
Error, type I      183 196
Error, type II      183 196
Events      43 47
evidence      271 286
Evidence, combining      250
Evidential support      98
Evidential support, comparison of measures      104
Evidential support, degree of      103
Evidential support, interval-valued      113
Evidential support, probability set      113
Exchangeability      90 193
expansion      153 156
Expansion, uniqueness      159
Experience      271
Experiment, auxiliary      185
Explanatory power      101
Extensions      124
Extensions, brave vs. cautious treatment      148
Extensions, existence      128 129 131 132
Extensions, intersection      148
Extensions, multiple      127 147
Factorial      44
Factual support      103
False rejection      181
Feldman, J.      111n
Fermat, P.      10 42 43 45
Fiducial inference      179 189
Field      47
Field, axioms      47
Field, sigma      48 72
Field, target      208
Fine, T.      114
First order logic      21
First order logic, formation rules      26
First order logic, semantics      28
First order logic, syntax      24
First order logic, vocabulary      25
Fisher, R.A.      179—182 189 190 196
Fixed point, autoepistemic logic      140
Fixed point, autoepistemic vs. default      141
Fixed point, default logic      124 140
Fixed point, need for      126
Focal elements      105
Foundations theory change      169
Frame of discernment      105
frequency      see relative frequency
Frequency functions      55 58
Frequency functions, joint      60
Fuhrmann, A.      160 169
Full meet      see contraction full
Gaerdenfors, P.      158 163 167—169 171
Generality      238
Genesereth, M.R.      230
Goldszmidt, M.      171
Good, I.J.      113 114 193
Goodman, N.      202 204n
Granularity      205
Groundedness      139 141 142
Groundedness, moderate      142
Groundedness, strong      143
Groundedness, supergrounded      143
Grove, A.      167
Grue      209
Haack, S.      3n
Hacking, I.      78
Halpern, J.      203
Hansson, S.      160 169
Harper identity      163
Harper, W.L.      163 164
High probability      195 267 271
Hilbert, D.      27
Holism      285
Horty, J.F.      147
Howson, C.      89 92
Hughes, G.E.      134
Hume, D.      13 14 99 100
Hypothesis vs. observation      194
Hypothesis, acceptance      194
Hypothesis, auxiliary      182
Hypothesis, compound      183
Hypothesis, null      180 182 184
Hypothesis, rejection      194
Hypothesis, simple      183 184
hypothesis, statistical      267
Hypothesis, testing      see test hypothesis
Imprecise probabilities      80 113
Independence      49 51 71
Independence, evidential      113
Induction      1 2 13 261
Induction, analogical      3
Induction, Bayesian      262
Induction, demonstrative      274
Induction, eliminative      15
Induction, enumerative      3
Induction, statistical      261
Inference, Bayesian      263
Inference, deductive      117
1 2 3
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2017
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте