摘要
Based on 6-elements linguistic truth-valued lattice implication algebras this paper discusses 6-elements linguistic truth-valued first-order logic system. With some special properties of 6-elements linguistic truth-valued first-order logic, we discussed the satisfiable problem of 6-elements linguistic truth-valued first-order logic and proposed a resolution method of 6-elements linguistic truth-valued firstorder logic. Then the resolution algorithm is presented and an example illustrates the effectiveness of the proposed method.
出处
《国际计算机前沿大会会议论文集》
2015年第1期10-12,共3页
International Conference of Pioneering Computer Scientists, Engineers and Educators(ICPCSEE)
基金
This work is partly supported by National Nature Science Foundation of China (Grant No.61105059,61175055,61173100), International Cooperation and Exchange of the National Natural Science Foundation of China (Grant No.61210306079), Sichuan Key Technology Research and Development Program (Grant No.2011FZ0051), Radio Administration Bureau of MIIT of China (Grant No.[2011]146), China Institution of Communications (Grant No.[2011]051), and Sichuan Key Laboratory of Intelligent Network Information Processing (Grant No.SGXZD1002-10),Liaoning Excellent Talents in University (LJQ2011116).