基于卢卡西维茨多值演算的模态逻辑推理机
周娟
李超
1.湖北民族学院科技学院,湖北恩施,4450002.湖北民族学院科技学院,湖北恩施,445000
摘要：模态逻辑广泛应用于人工智能领域,但没有实际有效的推理机.针对上述问题,研究了模态逻辑中演绎推理的方法,该方法用必要的形式化方法将模态逻辑转换为卢卡西维茨多值逻辑,再将卢卡西维茨多值逻辑转换为布尔逻辑.结果表明和其他方法相比,该推理机在模态逻辑中具有普适性、计算简单性、推理规则应用的非限制性.
关键词：卢卡西维茨多值演算模态逻辑推理机
分类号：TP18(自动化基础理论)
论文发表日期：2015-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：5( 285-289 )
英文信息