Conference: NSF Workshop on Hardware-Software Co-design for Neuro-Symbolic Computation

尽管人工智能(AI)系统取得了令人印象深刻的进步，但仍然存在重大挑战，例如在现实世界背景下实现高级推理，以及在资源受限的环境中实现动态组合性。神经符号计算代表了两种重要的人工智能方法的融合：传统的符号和神经网络。通过整合符号和统计方法，神经符号计算释放了模块化的基本特征，以实现可解释性和组合性。然而，该方法引入了相当大的计算复杂性。这个项目的目的是组织一个由国家科学基金会(NSF)赞助的名为“神经符号计算的硬件-软件联合设计”的研讨会。这个研讨会的主要目标是聚集相关研究领域的顶尖专家，探索和确定与高性能、集成的神经符号AI计算系统相关的科学和技术挑战，并为更广泛的研究界提供有价值的指导。为了确保对这一主题的全面报道，该团队将邀请来自学术界、工业界、政府实验室和资助机构的知名研究人员，他们具有不同的背景，包括电路设计、计算机架构、设计自动化、系统开发、算法和应用。将特别鼓励任职人数不足的群体参加研讨会并优先考虑这些问题。该项目旨在确定半导体和人工智能劳动力发展和技术转移的关键战略。该奖项反映了NSF的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

Despite the impressive advancements in artificial intelligence (AI) systems, there still exist significant challenges, such as enabling high-level reasoning in real-world contexts and dynamic compositionality within resource-constrained environments. Neuro-symbolic computation represents the convergence of two prominent AI methodologies: traditional symbolic and neural networks. By integrating symbolic and statistical methods, neuro-symbolic computation unleashes essential features of modularity for explainability and compositionality. However, the approach introduces significant computational complexity. The purpose of this project is to organize a National Science Foundation (NSF) sponsored workshop named "Hardware-Software Co-design for Neuro-Symbolic Computation."The primary objective of this workshop is to gather leading experts in relevant research domains to explore and identify the scientific and technological challenges associated with high-performance, integrated neuro-symbolic AI computing systems, and provide valuable guidance to the broader research community. To ensure comprehensive coverage of the topic, the team will extend invitations to prominent researchers from academia, industry, government laboratories, and funding agencies with diverse backgrounds, including circuit design, computer architecture, design automation, system development, algorithms, and applications. Underrepresented groups will be particularly encouraged to attend the workshop and receive priority in the considerations. This project aims to identify the critical strategies for semiconductor and AI workforce development and technology transfer.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.