算子命题逻辑相关硕士博士期刊学术论文 - 搜论网

算子命题逻辑相关论文

一种算子命题逻辑系统及其T-不变量推理算法

定义一种只带原子命题以及命题算子的算子命题逻辑，讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。为了实现算子命题逻......

期刊

Λ-归结 PETRI网 T-不变量算子命题逻辑归结推理 λ-resolution Petri Net T-invariant Proposition Log

基于Petri网模型的归结自动推理研究

知识表示、知识推理和知识应用是人工智能的核心问题。目前，基于非经典逻辑的自动推理系统由于它加速了人工智能的发展而越来越引起......

学位

Petri网归结推理算子命题逻辑算子模糊逻辑格值命题逻辑

看过本文同时还关注