可判定公式类相关硕士博士期刊学术论文 - 搜论网

可判定公式类相关论文

信念修正开放过程模式可判定公式表达能力

提出了一种可以在两个极大可判定前缀词公式类上实现信念修正OPEN过程模式的算法,该算法从初始形式理论出发,依据不断获取的新事实......

期刊

人工智能信念修正开放过程模式可判定公式类表达能力定理机器证明 artificial intelligence belief revision OPEN

看过本文同时还关注