模式识别与人工智能
Thursday, Apr. 10, 2025 Home      About Journal      Editorial Board      Instructions      Ethics Statement      Contact Us                   中文
  2013, Vol. 26 Issue (8): 740-744    DOI:
article Current Issue| Next Issue| Archive| Adv Search |
Vector Truth Degrees of Formulae in Two-Valued Predicate Logic
QIN Xiao-Yan1, 2, XU Yang1, LIU Yi1
1. Intelligent Control Development Center, Southwest Jiaotong University, Chengdu 610031
2. College of Mathematics and Computer Science, Shanxi Normal University, Linfen 041004

Download: PDF (337 KB)   HTML (1 KB) 
Export: BibTeX | EndNote (RIS)      
Abstract  

All of the finite interpretations of first-order languages are considered in layers according to their cardinalities for the first time, and n-truth degrees of formulae under each layer of the class of interpretations are proposed.Then, the definition of the vector truth degrees of formulae is given to describe the truth degrees of first-order formulae more intuitively and more accurately. Moreover, some basic properties are proved, and it is pointed out that the vector truth degrees of formulae preserve Modus Ponens(MP) rule, Hypothetical Syllogism(HS) rule and rule of generalization(Gen) of the formal reasoning in the predicate logic. Thus, a kind of possible frame for approximate reasoning in predicate logic system is provided.

Key wordsQuantitative Logic      Vector Truth Degree      Quasi-Truth Degree      Probability Measure     
Received: 08 November 2012     
Service
E-mail this article
Add to my bookshelf
Add to citation manager
E-mail Alert
RSS
Articles by authors
QIN Xiao-Yan
XU Yang
LIU Yi
Cite this article:   
QIN Xiao-Yan,XU Yang,LIU Yi. Vector Truth Degrees of Formulae in Two-Valued Predicate Logic[J]. , 2013, 26(8): 740-744.
URL:  
http://manu46.magtech.com.cn/Jweb_prai/EN/      OR     http://manu46.magtech.com.cn/Jweb_prai/EN/Y2013/V26/I8/740
Copyright © 2010 Editorial Office of Pattern Recognition and Artificial Intelligence
Address: No.350 Shushanhu Road, Hefei, Anhui Province, P.R. China Tel: 0551-65591176 Fax:0551-65591176 Email: bjb@iim.ac.cn
Supported by Beijing Magtech  Email:support@magtech.com.cn