论文部分内容阅读
作为一阶谓词逻辑的扩展，多层逻辑（MLL）能表示对象的层次结构，因而更适合于知识的表示。该文介绍了MLL，讨论了其公式的标准型及合一等问题，并提出了实现标准化及合一的算法。（本刊录）
一种适合于知识表示的逻辑
【摘 要】
：
作为一阶谓词逻辑的扩展，多层逻辑（MLL）能表示对象的层次结构，因而更适合于知识的表示。该文介绍了MLL，讨论了其公式的标准型及合一等问题，并提出了实现标准化及合一的算法。（本刊录
【机 构】
：
武汉大学
【出 处】
：
第五届全国数据库及第一届全国管理信息学术会
【发表日期】
：
1986年期
其他文献
摘 要：本人结合自身的工作经验，浅谈一些常见的质量通病，分析其形成的原因，从而找到预防措施及解决的方法，仅供大家参考。 关键词：施工质量通病；现象；分析原因；预防措施 但我们在建筑幕墙工程质量日常检查中，发现建筑幕墙普遍存在不同的质量隐患以及较多的质量通病。因此，在幕墙工程的设计及施工过程中，争取做到事前控制，将一些容易出现的幕墙工程质量问题，本人结合自身的工作经验，浅谈几个质量通病，分析其形
（大庆筑安建工集團有限公司） 摘 要：随着我国经济水平的提升，房屋建筑速度也在日益加快，在实际开展施工的时候需要对保温措施引起必要的重视，只有这样才能够确保建筑的整体质量。 关键词：建筑墙体；屋面；保温隔热；措施 在实际开展施工的时候，墙体以及屋面的保温隔热已经逐渐成为建筑的重要内容，新型工艺及其新材料也得到了大力的推广。 1 建筑墙体保温技术 1.1 外墙内保温技术 对于建筑外墙内保
分析了现有挤出机喂料方法及其装置的特点和不足之处，提出了可克服现有喂料方法及其装置的缺点的新型螺旋啮合喂料方法及其装置，并认为该装置具有推广应用前景。
（黑龙江省三建建筑工程有限责任公司） 摘 要：道路施工的好坏关系到人们出行的安全，因此道路施工一直是国家重点工程。而在道路施工中，路基土方起到至关重要的作用，路基土方填筑和压实技术更是重中之重。本文就路基土方填筑和压实技术进行简要分析，希望能对道路路基施工提供参考。 关键词：路基土方；土方填筑；压实；施工 随着交通网络的迅速兴起，人们的出行更加便利，各地的旅游事业快速发展，人们消费水平的提升