Resolution Method of Six-Element Linguistic Truth-Valued First-Order Logic System

• 作者: Di Liu Juan Qu Li Zou Yingxin Wang
• 来源期刊: 国际计算机前沿大会会议论文集
• 学科: 社会科学
• 关键词: LINGUISTIC truth-valued lattice implication ALGEBRA 6-elements LINGUISTIC truth-valued FIRST-ORDER logic Automated REASONING
• 年，卷（期）: 2015,（1）
• 页码范围: 10-12
• 页数: 3页
• 分类号: C5

摘要

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.