联结主义与一阶知识表示及推理的整合作为人工智能的挑战
人工智能
2007-05-23 v1 计算机科学中的逻辑
神经与进化计算
摘要
一方面基于一阶逻辑、另一方面基于人工神经网络(也称联结主义系统)的智能系统存在本质差异。将鲁棒的神经网络机制与逻辑编程等符号知识表示及推理范式相结合,使得两种范式的优势得以保留,是非常理想的。然而,当前最先进的研究远未实现这一终极目标。我们认为需要克服的主要障碍之一是符号知识如何通过联结主义系统进行编码的问题:对这一问题的满意回答将自然为知识提取算法和神经-符号整合系统指明道路。
引用
@article{arxiv.cs/0408069,
title = {The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence},
author = {Sebastian Bader and Pascal Hitzler and Steffen Hoelldobler},
journal= {arXiv preprint arXiv:cs/0408069},
year = {2007}
}
备注
In Proceedings of INFORMATION'2004, Tokyo, Japan, to appear. 12 pages