• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International Journal Information Theories and Applications >Isomorphism of Predicate Formulas in Artificial Intelligence Problems
【24h】

Isomorphism of Predicate Formulas in Artificial Intelligence Problems

机译：人工智能问题中谓词公式的同构

获取原文
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The paper discusses various aspects of application of the notion of isomorphism ofelementary conjunc- tions of predicate formulas in Artificial Intelligence (AI) problems that canbe formalized by means of predicate calculus. The notion of isomorphism of various objectsis widespread in mathematics. Moreover, isomorphic objects have a large number of identicalproperties. The definition of isomorphic elementary conjunctions of predicate formulas is given inthe paper. The main property of such formulas is that they define the same relation between theirarguments. The main difference between the notion of isomorphism and the notion of equivalenceis that the equivalent formulas must have the same arguments, and the arguments of isomorphicformulas may be significantly different. In the framework of the logic-objective approach to solvingAI problems, the following problems, for solving which the notion of isomorphism is used, areconsidered: the problem of object classification; creating a level description of classes to decreasethe computational complexity of the analysis problem of a complex object; creating a level descriptionof the database to decrease computational complexity while multiple solution of the problem ConjunctiveBoolean Query; definition of a metric in the space of elementary conjunctions of predicate formulas.
机译：本文讨论了谓词公式的基本连词同构概念在人工智能（AI）问题中应用的各个方面，这些问题可以通过谓词演算来形式化。各种对象的同构概念在数学中很普遍。此外，同构对象具有大量相同的属性。给出了谓词公式的同构基本连接的定义。这样的公式的主要特性是它们在参数之间定义了相同的关系。同构和等效概念之间的主要区别在于，等效公式必须具有相同的自变量，同构公式的自变量可能存在显着差异。在解决AI问题的逻辑-目标方法的框架中，考虑了用于解决使用同构概念的以下问题：对象分类问题;创建类的级别描述以降低复杂对象分析问题的计算复杂性;创建数据库的级别描述，以降低计算复杂性，同时解决问题的联合布尔查询;在谓词公式的基本连词空间中定义度量。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号