Up to now, no satisfactory theory has been established for formalizing incomplete knowledge in incomplete databases. In this paper, we clarify why existing closed world approaches, such as the CWA, the GCWA, the ECWA,...Up to now, no satisfactory theory has been established for formalizing incomplete knowledge in incomplete databases. In this paper, we clarify why existing closed world approaches, such as the CWA, the GCWA, the ECWA, circumscription, predicate completion and the PWA, fail to do so, and propose a new method. The method is an augmentation of both the ECWA and circumscrip- tion with the mechanism to discriminate implicitly expressed positive knowledge, negative knowledge and truly unknown knowledge.展开更多
文摘Up to now, no satisfactory theory has been established for formalizing incomplete knowledge in incomplete databases. In this paper, we clarify why existing closed world approaches, such as the CWA, the GCWA, the ECWA, circumscription, predicate completion and the PWA, fail to do so, and propose a new method. The method is an augmentation of both the ECWA and circumscrip- tion with the mechanism to discriminate implicitly expressed positive knowledge, negative knowledge and truly unknown knowledge.
