会议论文《时序描述逻辑TL-SI及其判定算法》发表于2009年中国计算机大会，探讨了时序描述逻辑在知识表示中的应用。该文提出了TL-SI逻辑系统，结合时序逻辑与描述逻辑，增强了对动态知识的表达能力。文章还给出了该逻辑的判定算法，为相关领域的研究提供了理论基础和实用工具。
文档为pdf格式，0.5MB，总共11页。
举报
