融合逻辑推理与编程模型，提升AI可信度
Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
- 结合规则约束与多种编程范式构建推理系统
- 探索多模型协同提升AI决策可解释性
- 适合关注AI可信性与形式化验证的研究者
本文集收录了第四届逻辑与编程实践研讨会（LPOP）的摘要与立场论文。该研讨会将于2024年10月13日在美国德克萨斯州达拉斯以线上线下混合形式举行，与第40届国际逻辑编程会议（ICLP）同期。本次研讨会聚焦于为可信AI整合推理系统，特别关注将不同编程模型与规则、约束相结合的方法。
原文摘要 · Abstract (English)
This proceedings contains abstracts and position papers for the work to be presented at the fourth Logic and Practice of Programming (LPOP) Workshop. The workshop is to be held in Dallas, Texas, USA, and as a hybrid event, on October 13, 2024, in conjunction with the 40th International Conference on Logic Programming (ICLP). The focus of this workshop is integrating reasoning systems for trustworthy AI, especially including integrating diverse models of programming with rules and constraints.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。