63:
430:
373:
22:
125:
242:
In the case where KB := { P(a), Q(a), Q(b) }, KB ⊭ P(b) and KB ⊭ ¬P(b), so, with the closed world assumption, KB' = { P(a), ¬P(b), Q(a), Q(b) }, where KB' ⊨ ¬P(b).
143:
35:
236:
as negations to the knowledge base. In the above example though, this would not work because it would make the knowledge base inconsistent:
271:
that are themselves complete are intersected. For Query 2, no such conclusion could be made, as predicate T is potentially incomplete.
471:
414:
41:
490:
179:
161:
106:
84:
49:
77:
258:
225:
464:
445:
388:
139:
354:
322:
407:
233:
71:
500:
229:
457:
88:
341:
309:
495:
8:
400:
261:
R and S, while nothing is asserted for predicate T. Then consider the following queries:
268:
285:
441:
384:
280:
197:
484:
429:
251:
336:
Levy, Alon (1996). "Obtaining complete answers from incomplete databases".
267:
For Query 1, the knowledge base would return a complete answer, as only
254:
that can be asserted for parts of the KB via completeness assertions.
437:
257:
As example, a knowledge base may contain complete information for
372:
380:
215:
Example of knowledge base with incomplete knowledge:
212:
there is no formula α such that KB ⊭ α and KB ⊭ ¬α.
134:
may be too technical for most readers to understand
208:In formal logic, a knowledge base KB is complete
482:
465:
408:
264:Q1 :- R(x), S(x) Q2 :- R(x), T(x)
304:"Integrity = Validity + Completeness". 1989.
50:Learn how and when to remove these messages
472:
458:
415:
401:
180:Learn how and when to remove this message
162:Learn how and when to remove this message
146:, without removing the technical details.
107:Learn how and when to remove this message
297:
70:This article includes a list of general
329:
483:
144:make it understandable to non-experts
424:
367:
335:
250:In data management, completeness is
118:
56:
15:
13:
245:
200:refers to two different concepts.
76:it lacks sufficient corresponding
14:
512:
221:Then we have KB ⊭ A and KB ⊭ ¬A.
31:This article has multiple issues.
428:
371:
123:
61:
20:
203:
39:or discuss these issues on the
228:can be made complete with the
1:
291:
444:. You can help Knowledge by
387:. You can help Knowledge by
7:
274:
10:
517:
423:
366:
226:consistent knowledge base
491:Knowledge representation
239:KB' = { A ∨ B, ¬A, ¬B }
230:closed world assumption
91:more precise citations.
440:-related article is a
383:-related article is a
349:Cite journal requires
317:Cite journal requires
234:not-entailed literals
232:—that is, adding all
218:KB := { A ∨ B }
453:
452:
396:
395:
224:In some cases, a
190:
189:
182:
172:
171:
164:
117:
116:
109:
54:
508:
474:
467:
460:
432:
425:
417:
410:
403:
375:
368:
359:
358:
352:
347:
345:
337:
333:
327:
326:
320:
315:
313:
305:
301:
185:
178:
167:
160:
156:
153:
147:
127:
126:
119:
112:
105:
101:
98:
92:
87:this article by
78:inline citations
65:
64:
57:
46:
24:
23:
16:
516:
515:
511:
510:
509:
507:
506:
505:
481:
480:
479:
478:
422:
421:
364:
362:
350:
348:
339:
338:
334:
330:
318:
316:
307:
306:
303:
302:
298:
294:
286:Vivid knowledge
277:
265:
248:
246:Data management
206:
198:knowledge bases
186:
175:
174:
173:
168:
157:
151:
148:
140:help improve it
137:
128:
124:
113:
102:
96:
93:
83:Please help to
82:
66:
62:
25:
21:
12:
11:
5:
514:
504:
503:
501:Database stubs
498:
493:
477:
476:
469:
462:
454:
451:
450:
433:
420:
419:
412:
405:
397:
394:
393:
376:
361:
360:
351:|journal=
328:
319:|journal=
295:
293:
290:
289:
288:
283:
281:Certain answer
276:
273:
263:
247:
244:
205:
202:
196:as applied to
188:
187:
170:
169:
131:
129:
122:
115:
114:
69:
67:
60:
55:
29:
28:
26:
19:
9:
6:
4:
3:
2:
513:
502:
499:
497:
494:
492:
489:
488:
486:
475:
470:
468:
463:
461:
456:
455:
449:
447:
443:
439:
434:
431:
427:
426:
418:
413:
411:
406:
404:
399:
398:
392:
390:
386:
382:
377:
374:
370:
369:
365:
356:
343:
332:
324:
311:
300:
296:
287:
284:
282:
279:
278:
272:
270:
262:
260:
255:
253:
252:metaknowledge
243:
240:
237:
235:
231:
227:
222:
219:
216:
213:
211:
201:
199:
195:
184:
181:
166:
163:
155:
145:
141:
135:
132:This article
130:
121:
120:
111:
108:
100:
90:
86:
80:
79:
73:
68:
59:
58:
53:
51:
44:
43:
38:
37:
32:
27:
18:
17:
446:expanding it
435:
389:expanding it
378:
363:
342:cite journal
331:
310:cite journal
299:
266:
256:
249:
241:
238:
223:
220:
217:
214:
209:
207:
204:Formal logic
194:completeness
193:
191:
176:
158:
152:January 2018
149:
133:
103:
97:January 2018
94:
75:
47:
40:
34:
33:Please help
30:
496:Logic stubs
89:introducing
485:Categories
292:References
269:predicates
259:predicates
72:references
36:improve it
192:The term
42:talk page
438:database
275:See also
138:Please
85:improve
74:, but
436:This
381:logic
379:This
442:stub
385:stub
355:help
323:help
142:to
487::
346::
344:}}
340:{{
314::
312:}}
308:{{
210:if
45:.
473:e
466:t
459:v
448:.
416:e
409:t
402:v
391:.
357:)
353:(
325:)
321:(
183:)
177:(
165:)
159:(
154:)
150:(
136:.
110:)
104:(
99:)
95:(
81:.
52:)
48:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.