卢卡西维茨多值演算相关论文
模态逻辑广泛应用于人工智能领域,但没有实际有效的推理机.针对上述问题,研究了模态逻辑中演绎推理的方法,该方法用必要的形式化方......
模态推理是人工智能研究的重要内容.已有的推理方法,由于计算复杂等原因,使用范围受到限制.将模态逻辑转换为卢卡西维茨多值逻辑,......
