首页> 中国专利> 命题逻辑中基于极大子句判定公式属性的方法

命题逻辑中基于极大子句判定公式属性的方法

页面导航

摘要

本发明公开了命题逻辑中基于极大子句判定公式属性的方法，其步骤为：首先，根据子句集S中出现的所有命题变元集合V(S)，构造一个关于V(S)的极大子句D(k)，其次，在子句集S中将与子句～D(k)含有相同文字的子句删除，并将所得子句集记为S

1. 命题逻辑中基于极大子句判定公式属性的方法 [P] . 中国专利： CN108875944A . 2018-11-23
2. 命题逻辑中基于最大矛盾体判定公式属性的方法 [P] . 中国专利： CN108875948A . 2018-11-23
3. Computer implemented method for reformatting logically complex clauses in an electronic text-based document [P] . 美国专利： US2002129066A1 . 2002-09-12

机译：重新格式化基于电子文本的文档中的逻辑复杂子句的计算机实现方法
4. Method for automatic recognition and storage of product properties from product description texts, involves searching description texts from lists based on specific terms so that agreeing terms are stored as product property terms [P] . 德国专利： DE102013000669A1 . 2014-07-17

机译：从产品描述文本自动识别和存储产品属性的方法，涉及基于特定术语从列表中搜索描述文本，以便将约定的术语存储为产品属性术语
5. Apparatus and method for identifying a digital device based on the device's uniform device descriptor file that specifies the attributes of the device in a XML document in a networked environment [P] . 美国专利： US6581094B1 . 2003-06-17

机译：用于基于设备的统一设备描述符文件来识别数字设备的设备和方法，该设备描述符文件指定了网络环境中XML文档中设备的属性