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 5 Issue 1
January  1990
Turn off MathJax
Article Contents
Abstract
References
Related Articles
Liu Dongbo, Li Deyi. A Fuzzy Proof Theory[J]. Journal of Computer Science and Technology, 1990, 5(1): 92-96.
Citation: Liu Dongbo, Li Deyi. A Fuzzy Proof Theory[J]. Journal of Computer Science and Technology, 1990, 5(1): 92-96.
shu

A Fuzzy Proof Theory

  • The Institute of China Electronic System Engineering Company;

More Information
  • Published Date: January 09, 1990
    Abstract
  • Based on the first order predicate logic, in this paper, we present a new approach to generalizing the syn- tax of ordinary Horn clause rules to establish a fuzzy proof theory. First of all, each Horn clause rule is associ- ated with a numerical implication strength f. Therefore we obtain f-Horn clause rules. Secondly, Herbrand in- terpretations can be generalized to fuzzy subsets of the Herbrand base in the sense of Zadeh. As a result the proof theory for Horn clause rules can be developed in much the same…
    • FullText(HTML)
    • References (5)
  • [1]
    L.A.Zadeh, Fuzzy sets, Injorm.and Control , 8(1965)，338-353.
    [2]
    P.H.Winston , Artificial Intelligence , Addison-Wesley, 1978.
    [3]
    Liu Dongbo and Li Deyi, Fuzzy reasoning based on f-Horn clause rules,Proc.1st Int'l Workshop on Algebraic and Logic Programming, Akademie -Verlag,Berlin,1988,214-222.
    [4]
    Liu Dongbo and Li Deyi, Fuzzy PROLOG language and expert systems, Mini-Micro Computer Systems, 9:5(1988),26-31.
    [5]
    Liu Dongbo et al., A new fuzzy inference language f-PROLOG, Computer Engineering, 1(1989),23一27.
    • Relative Articles

  • Related Articles

    [1]Heitor Silverio Lopes, Reginaldo Bitello. A Differential Evolution Approach for Protein Folding Using a Lattice Model[J]. Journal of Computer Science and Technology, 2007, 22(6): 904-908.
    [2]Jing-Fa Liu, Wen-Qi Huang. Quasi-Physical Algorithm of an Off-Lattice Model for Protein Folding Problem[J]. Journal of Computer Science and Technology, 2007, 22(4): 569-574.
    [3]Cui-Ping Li, Kum-Hoe Tung, Shan Wang. Incremental Maintenance of Quotient Cube Based on Galois Lattice[J]. Journal of Computer Science and Technology, 2004, 19(3).
    [4]Giuseppe Lancia. Integer Programming Models for Computational Biology Problems[J]. Journal of Computer Science and Technology, 2004, 19(1).
    [5]TAO Liang, ZHUANG ZhenQuan. Uni ed Parallel Lattice Structures for Block Time-RecursiveReal-Valued Discrete Gabor Transforms[J]. Journal of Computer Science and Technology, 2003, 18(1).
    [6]LIU Tian. A Note on Closeness between NP-Hard Sets and C=P[J]. Journal of Computer Science and Technology, 2000, 15(2): 194-195.
    [7]Chen Bin, Hong Yong. FCV_1: A New Fast Greedy Covering Algorithm[J]. Journal of Computer Science and Technology, 1998, 13(4): 369-374.
    [8]Cheng Qi, Zhu Hong. MNP: A Class of NP Optimization Problems[J]. Journal of Computer Science and Technology, 1997, 12(4): 306-313.
    [9]Chen Bin, Hong Jiarong, Wang Yadong. The Minimum Feature Subset Selection Problem[J]. Journal of Computer Science and Technology, 1997, 12(2): 145-153.
    [10]Wang Huaimin, Chen Huowang. A Constructor-Based EI-Model Semantics of EI-CTRS[J]. Journal of Computer Science and Technology, 1995, 10(1): 85-96.
    • Supplements (0)

Catalog

    Get Citation
    PDF
    XML
    Article views (10) PDF downloads (1225) 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