Abstract | ||
---|---|---|
Databases and knowledge bases could be inconsistent in many ways. For example, if a programmer is constructing an expert system
ES relating to a domain D,he does so by consulting several experts (say n in number) in the field D. From each expert d
i
, 1 ≤ i ≤ n, he obtains some information, and this may be represented in logic as a collection of sentences, ES
i
, for 1 ≤ i ≤ n. The simplest way of combining the resulting knowledge is to set
ES = È</font
>i = 1n ESi .
ES = \bigcup\limits_{i = 1}^n {ES_i .}
|
Year | DOI | Venue |
---|---|---|
1991 | 10.1007/978-94-011-3488-0_9 | Automated Reasoning: Essays in Honor of Woody Bledsoe |
Keywords | Field | DocType |
paraconsistent logic,expert system,knowledge base | Logic program,Programming language,Programmer,Paraconsistent logic,Computer science,Expert system,Non-monotonic logic,Complete lattice | Conference |
Citations | PageRank | References |
10 | 1.55 | 10 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
James J. Lu | 1 | 520 | 118.05 |
Lawrence J. Henschen | 2 | 478 | 280.94 |
V. S. Subrahmanian | 3 | 6864 | 1053.38 |
Newton C. A. da Costa | 4 | 156 | 40.89 |