The ability to conduct logical reasoning is a fundamental aspect of intelligent human behavior, and thus an important problem along the way to human-level artificial intelligence. Traditionally, logic-based symbolic methods from the field of knowledge representation and reasoning have been used to equip agents with capabilities that resemble human logical reasoning qualities. More recently, however, there has been an increasing interest in using machine learning rather than logic-based symbolic formalisms to tackle these tasks. In this paper, we employ state-of-the-art methods for training deep neural networks to devise a novel model that is able to learn how to effectively perform logical reasoning in the form of basic ontology reasoning. This is an important and at the same time very natural logical reasoning task, which is why the presented approach is applicable to a plethora of important real-world problems. We present the outcomes of several experiments, which show that our model is able to learn to perform highly accurate ontology reasoning on very large, diverse, and challenging benchmarks. Furthermore, it turned out that the suggested approach suffers much less from different obstacles that prohibit logic-based symbolic reasoning, and, at the same time, is surprisingly plausible from a biological point of view.
翻译:进行逻辑推理的能力是人类智能行为的一个基本方面,因此是人类一级人工智能过程中的一个重要问题。 传统上,来自知识代表性和推理领域的基于逻辑的象征性方法被用于使代理人员具备与人类逻辑推理质量相似的能力。 然而,最近,人们越来越有兴趣利用机器学习而不是基于逻辑的象征性形式主义来完成这些任务。 在本文件中,我们使用最先进的方法来培训深层神经网络,以设计一个能够学习如何以基本本体学推理形式有效进行逻辑推理的新模式。 这是一项重要且同时非常自然的逻辑推理任务,这就是为什么所提出的方法适用于大量重要的现实世界问题。我们介绍了一些实验的结果,这些实验表明我们的模型能够以非常庞大、多样和具有挑战性的基准来进行非常准确的理论推理。 此外,我们发现,所建议的方法受到不同的障碍的影响要小得多,这些障碍禁止基于逻辑的理论推理,而与此同时,从生物学的观点来看却令人惊讶。