首页> 中国专利> 一阶逻辑中基于矛盾体分离式的逆向并行演绎推理方法

一阶逻辑中基于矛盾体分离式的逆向并行演绎推理方法

页面导航

摘要

本发明公开了一阶逻辑中基于矛盾体分离式的逆向并行演绎推理方法，该方法步骤为：对一阶逻辑中子句集S构造矛盾体并形成矛盾体分离式R，根据R判断演绎推理是否终止：如果判定S不可满足，则停止；否则，用R与S构造t个新子句集，然后对t个新子句集进行演绎推理得到结果R

1. 一阶逻辑中基于矛盾体分离式的逆向并行演绎推理方法 [P] . 中国专利： CN108875949A . 2018-11-23
2. 命题逻辑中基于矛盾体分离式的逆向并行演绎推理方法 [P] . 中国专利： CN108875941A . 2018-11-23
3. Parallel inferencing method and apparatus for rule-based expert systems [P] . 美国专利： US5226110A . 1993-07-06

机译：基于规则的专家系统的并行推理方法和装置
4. ACTIVITY RECOGNITION METHOD BASED ON A SEMI MARKOV CONDITIONAL RANDOM FIELD MODEL, PARTICULARLY FOR SIMULTANEOUSLY PROGRESSING TRAINING AND DEDUCTION IN A SEMI MARKOV CONDITIONAL RANDOM FIELD MODEL [P] . 韩国专利： KR20110034828A . 2011-04-06

机译：基于半马尔可夫条件随机场模型的活动识别方法，特别是在半马尔可夫条件随机场模型中同时进行训练和演绎的方法
5. METHOD FOR REASONING WITH CONTEXT USING DEMPSTER-SHAFER THEORY IN A PERVASIVE COMPUTING ENVIRONMENT [P] . 韩国专利： KR101270813B1 . 2013-06-05

机译：普适计算环境中基于决策者理论的上下文推理方法