首页>
外国专利>
Method and apparatus of automated theorem proving for information processing
Method and apparatus of automated theorem proving for information processing
展开▼
机译:用于信息处理的自动定理证明的方法和装置
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method of automated theorem proving for information processing which can be highly efficient irrespective of a set of clauses to be dealt with. The method includes the steps of: transforming the statement and the set of knowledge into expressions in terms of elements of a module; constructing a linear equation with the elements of the module as coefficients and elements of a ring of scalars of the module as unknowns; checking the existence of non-negative solution to the linear equation; and determining that the statement is provable when the non-negative solution exist, and not provable otherwise. The apparatus for performing this method is also disclosed.
展开▼