ABCDEFGHIJKLMNOPQRSTUVWXYZ
1
KRR, Brachman Levesque 2004
2
3
ALL ENTRIES BY BRACHMAN LEVESQUE
4
Please add New Entries (concepts not on this list) on a New Sheet
5
6
7
8
A
9
Abductive diagnosis, 275
10
Abductive explanation, 270
11
Abductive reasoning, 267
12
Abstract individual, 41
13
Abstraction space for
14
planning, 320
15
Add list for planning, 313
16
Admissible path, 197
17
Ambiguous network,
18
191, 199
19
Analogue representation,
20
338
21
Answer predicate, 62
22
Answer-extraction process,
23
62
24
Applicable assumption, 223
25
Arity, 17
26
Atom, 17
27
Atomic concept, 158
28
Atomic formula, 17
29
Attached procedure, 138
30
Autoepistemic logic, 228
31
stable expansion, 229
32
Automated theorem-
33
proving (ATP),
34
70
35
Axioms of equality, 65
36
B
37
Backward-chaining
38
reasoning, 92
39
Base function, 253
40
Bayes’ rule, 242
41
Belief, 3
42
Belief measure, 252
43
Belief network, 246
44
Belief revision, 285
45
Bound variable, 18
46
C
47
Certainty factor, 131
48
Circumscribing a predicate,
49
216
50
Circumscription, 216
51
minimal entailment, 217
52
Classification, 172
53
taxonomy, 172
54
Clausal formula, 51, 57
55
Clause, 51
56
ground, 57
57
pure, 72
58
subsumed, 73
59
unit, 51
60
Closed-world assumption,
61
210
62
generalized, 213
63
Cognitive penetrability, 9
64
Complement of a literal, 51
65
Complete knowledge, 211
66
Component of a concept,
67
166
68
Concept in description
69
logic, 157
70
atomic, 158
71
component, 166
72
defined, 160
73
extension of, 161
74
primitive, 160
75
Concept-forming operator,
76
158
77
Conclusion of a default
78
rule, 222
79
Conclusion supported in a
80
network, 189
81
Conditional, 86
82
Conditional independence,
83
242
84
Conditional planner, 321
85
Conditional probability,
86
241
87
independence, 242
88
Bayes’ rule, 242
89
Conflict resolution strategy,
90
126
91
recency, 126
92
refractoriness, 127
93
specificity, 126
94
Conflict set, 119
95
Conjunctive normal form
96
(CNF), 50
97
skolemization, 64
98
Connection graph, 74
99
Consistency-based
100
diagnosis, 277