将回答集编程与多排序逻辑联系起来进行形式验证

💡 原文中文,约200字,阅读约需1分钟。
📝

内容提要

本研究提出了一种基于“这里与那里”逻辑的替代语义,以解决回答集编程中的形式验证挑战,促进逻辑程序的模块化理解,并利用自动定理证明工具验证程序特性,旨在简化ASP验证。

🏷️

标签

➡️

继续阅读