We use cookies to improve your experience with our site.

Indexed in:

SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.

Submission System
(Author / Reviewer / Editor)
Advanced Search
Volume 16 Issue 4
July  2001
Turn off MathJax
Article Contents
Abstract
Related Articles
WANG Kewen, ZHOU Lizhu. Closed World Assumption for Disjunctive Reasoning[J]. Journal of Computer Science and Technology, 2001, 16(4).
Citation: WANG Kewen, ZHOU Lizhu. Closed World Assumption for Disjunctive Reasoning[J]. Journal of Computer Science and Technology, 2001, 16(4).
shu

Closed World Assumption for Disjunctive Reasoning

More Information
  • Published Date: July 14, 2001
    Abstract
  • In this paper, therelationship between argumentation and closed world reasoning fordisjunctive information is studied. In particular, the authors propose asimple and intuitivegeneralization of the closed world assumption (CWA) forgeneral disjunctive deductive databases (with default negation).This semantics, called DCWA, allows a natural argumentation-basedinterpretation and can be used to represent reasoning for disjunctiveinformation. We compare DCWA with GCWA and prove that DCWA extendsMinker's GCWA to the class of disjunctive databases with default negation. Also wecompare our semantics with some related approaches. In addition,the computational complexity of DCWA is investigated.
    • FullText(HTML)
    • References (0)
    • Relative Articles

  • Related Articles

    [1]Pei-Feng Li, Guo-Dong Zhou. Three-Layer Joint Modeling of Chinese Trigger Extraction with Constraints on Trigger and Argument Semantics[J]. Journal of Computer Science and Technology, 2017, 32(5): 1044-1056. DOI: 10.1007/s11390-017-1780-5
    [2]Xi-Shun Zhao, Yu-Ping Shen. Comparison of Semantics of Disjunctive Logic Programs Based on Model-Equivalent Reduction[J]. Journal of Computer Science and Technology, 2007, 22(4): 562-568.
    [3]Xiu-Li Sun, Wen-Yin Zhang, Jin-Zhao Wu. Event-Based Operational Semantics and a Consistency Result for Real-Time Concurrent Processes with Action Refinement[J]. Journal of Computer Science and Technology, 2004, 19(6).
    [4]Jin-Zhao Wu, Harald Fecher. Symmetric Structure in Logic Programming[J]. Journal of Computer Science and Technology, 2004, 19(6).
    [5]LI Layuan, LI Chunlin. A Semantics-Based Approach for Achieving Self Fault-Tolerance of Protocols[J]. Journal of Computer Science and Technology, 2000, 15(2): 176-183.
    [6]Hock C. Chan. Translational Semantics for a Conceptual Level Query Language[J]. Journal of Computer Science and Technology, 1995, 10(2): 175-187.
    [7]Shen Yidong. A Fixpoint Semantics for Stratified Databases[J]. Journal of Computer Science and Technology, 1993, 8(2): 12-21.
    [8]Shen Yidong. An Algorithm for Determining Database Consistency Under the Closed World Assumption[J]. Journal of Computer Science and Technology, 1992, 7(4): 289-294.
    [9]Shen Xubang, Ma Guangti, Chen Lan. An Inference Microprocessor Design[J]. Journal of Computer Science and Technology, 1991, 6(3): 209-213.
    [10]Zhu Mingyuan. Two Congruent Semantics for Prolog with CUT[J]. Journal of Computer Science and Technology, 1990, 5(1): 82-91.
    • Supplements (0)

Catalog

    Get Citation
    PDF
    XML
    Article views (16) PDF downloads (1566) Cited by()
    Related

    Copyright ©2025 JCST, All Rights Reserved     京ICP备05002829号-1

    Institute of Computing Technology, Chinese Academy of Sciences
    P.O. Box 2704, Beijing 100190, P.R. China

    Tel.: 86-10-62610746 E-mail: jcst@ict.ac.cn

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return