Closed world assumption for disjunctive reasoning
Author(s)
Wang, KW
Zhou, LZ
Griffith University Author(s)
Year published
2001
Metadata
Show full item recordAbstract
In this paper, the relationship between argumentation and closed world reasoning for disjunctive information is studied. In particular, the authors propose a simple and intuitive generalization of the closed world assumption (CWA) for general disjunctive deductive databases (with default negation). This semantics called DCWA, allows a natural argumentation-based interpretation and can beused to represent reasoning for disjunctive information. We compare DCWA with GCWA and prove that DCWA extends Minker’s GCWA to the class of disjunctive databases with default negation. Also we compare our semantics with some related approaches. ...
View more >In this paper, the relationship between argumentation and closed world reasoning for disjunctive information is studied. In particular, the authors propose a simple and intuitive generalization of the closed world assumption (CWA) for general disjunctive deductive databases (with default negation). This semantics called DCWA, allows a natural argumentation-based interpretation and can beused to represent reasoning for disjunctive information. We compare DCWA with GCWA and prove that DCWA extends Minker’s GCWA to the class of disjunctive databases with default negation. Also we compare our semantics with some related approaches. In addition, the computational complexity of DCWA is investigated.
View less >
View more >In this paper, the relationship between argumentation and closed world reasoning for disjunctive information is studied. In particular, the authors propose a simple and intuitive generalization of the closed world assumption (CWA) for general disjunctive deductive databases (with default negation). This semantics called DCWA, allows a natural argumentation-based interpretation and can beused to represent reasoning for disjunctive information. We compare DCWA with GCWA and prove that DCWA extends Minker’s GCWA to the class of disjunctive databases with default negation. Also we compare our semantics with some related approaches. In addition, the computational complexity of DCWA is investigated.
View less >
Journal Title
Journal of Computer Science and Technology
Volume
16
Issue
4
Subject
Information and computing sciences