会议论文《基于OBDD的描述逻辑ALCIO判定算法》发表于广西计算机学会2010年年会，探讨了如何利用有序二叉决策图（OBDD）提高描述逻辑ALCIO的判定效率。该算法通过将逻辑公式转换为OBDD结构，实现了对ALCIO逻辑的高效推理与判定，为知识表示与推理提供了新的方法和思路。
文档为pdf格式，0.29MB，总共5页。
举报
