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 9 Issue 3
July  1994
Turn off MathJax
Article Contents
Abstract
References
Related Articles
Zhang Mingyi. Some Results on Default Logic[J]. Journal of Computer Science and Technology, 1994, 9(3): 267-274.
Citation: Zhang Mingyi. Some Results on Default Logic[J]. Journal of Computer Science and Technology, 1994, 9(3): 267-274.
shu

Some Results on Default Logic

  • Institute of Applied Mathematics; Guizhou Academy of Sciences; Guiyang 550001;

More Information
  • Published Date: July 09, 1994
    Abstract
  • In the previous paper, some important properties of extensions of general default theories were given. In order to further explore default logic, a characterization of extensions is presented. And a class of defaults, so-called Auto-compatible Default Theory, is also iotroduced. All these essentially develop the theories of Reiter and his followers.
    • FullText(HTML)
    • References (3)
  • [1]
    Zhang Mingyi. On extensions of general default theories. Science in China (Series A), 1993, 36(10), 1273-1280.
    [2]
    Reiter R. A logic for default reasoning. Artificial Intelligence, 1980, 13(1-2).
    [3]
    Reiter R, Criscuolo G. On interacting defaults. In: Proc.of IJCAI-81, Vancouver, 1981. ……….
    • Relative Articles

  • Related Articles

    [1]Yi-Song Wang, Ming-Yi Zhang, Jia-Huai You. Logic Programs, Compatibility and Forward Chaining Construction[J]. Journal of Computer Science and Technology, 2009, 24(6): 1125-1137.
    [2]Xi-Shun Zhao. Regular Disjunction-Free Default Theories[J]. Journal of Computer Science and Technology, 2004, 19(3).
    [3]XU DaoYun, DING DeCheng, ZHANG MingYi. Characterization of an Auto-Compatible Default Theory[J]. Journal of Computer Science and Technology, 2003, 18(3).
    [4]SU Kaili. Constraints on Extensions of a Default Theory[J]. Journal of Computer Science and Technology, 2001, 16(4).
    [5]ZHANG Dongmo, ZHU Zhaonui, CHEN Shifu. Default Reasoning and Belief Revision: A Syntax-Independent Approach[J]. Journal of Computer Science and Technology, 2000, 15(5): 430-438.
    [6]SHEN Yidong. A Theory of Hybrid Diagnosis[J]. Journal of Computer Science and Technology, 1999, 14(4): 363-371.
    [7]SHEN Yidong. A General Scheme for Formalizing Defaults Usingthe Predicate ab(I,S)[J]. Journal of Computer Science and Technology, 1999, 14(2): 159-164.
    [8]Li Wei. A Comparative Study of Default Reasoning and Epistemic Processes[J]. Journal of Computer Science and Technology, 1993, 8(3): 3-14.
    [9]Fan Zhongchun, Xing Hancheng. DKLFRS:A Default Knowledge Logical Framework Representation System[J]. Journal of Computer Science and Technology, 1992, 7(2): 136-142.
    [10]Han Jianchao, Shi Zhongzhi. Formalizing Default Reasoning[J]. Journal of Computer Science and Technology, 1990, 5(4): 374-378.
    • Supplements (0)

  • Cited by

    Periodical cited type(3)

    1. Runfang Wu, Ye Du, Yu Tang. A Research landscape on formal verification of UML dynamic modeling. The Journal of Supercomputing, 2025, 81(8) DOI:10.1007/s11227-025-07464-8
    2. Aissam Belghiat. Interleaving semantics and verification of UML 2 dynamic interactions using process algebra. Science of Computer Programming, 2025, 246: 103334. DOI:10.1016/j.scico.2025.103334
    3. Xiao-Ying Liu, Sheng-Rong Zou, Xue Geng, et al. Conversion of Timing Diagram to Event-B. 2023 8th International Conference on Computational Intelligence and Applications (ICCIA), DOI:10.1109/ICCIA59741.2023.00021

    Other cited types(0)

Catalog

    Get Citation
    PDF
    XML
    Article views (20) PDF downloads (1249) Cited by(3)
    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