【摘 要】
：
建立意图后承的形式化推理系统是意图形式化研究中的一个重要课题，提供了一个新的基于“归约蕴涵”的意图后承形式系统Lm5c，给出了意图后承的形式规范，与已有的科后承形式系统相
【机 构】
：
中国科学技术大学计算机科学与技术系
论文部分内容阅读
建立意图后承的形式化推理系统是意图形式化研究中的一个重要课题，提供了一个新的基于“归约蕴涵”的意图后承形式系统Lm5c，给出了意图后承的形式规范，与已有的科后承形式系统相比，这个系统比较简单，并具有许多现有同类系统所不具备的优良性质，比如无副作用，此外，还具有较强的推理能力，可供Agent自身用于意图推理和目标修改。
其他文献
侵权法向来是法学界争论的热点,建筑物高空抛物致人损害这一特殊的侵权类型也受到了更多的关注,因为它是一种找不到具体加害人的侵权行为,与一般的建筑物物件致人损害不同,与
目的为失独家庭提供心理关爱,改善失独家庭成员的心理状态,有利于家庭和谐和社会稳定。方法调查摸底掌握失独家庭基础数据;在知情同意的前提下,完成失独家庭成员心理评估,建
<正>《实用医学杂志》创刊于1972年,是由广东省卫生和计划生育委员会主管,广东省医学学术交流中心(广东省医学情报研究所)主办的综合性医学学术性期刊。本刊为原创性学术性期
在世的外国记者中,中国人最熟悉的莫过于法拉奇了.那是1980年8月21日至23日,她两次采访了我国领导人邓小平,而采访笔录又收入了《邓小平文选》(第二卷),法拉奇由此在中国名声
违禁药物残留是指给畜禽等动物使用法律严格规定禁止或者限制使用的药物后,在动物细胞、组织和器官内以及可食性产品中蓄积或贮存的药物或化学物的原形、代谢产物和杂质。动
演播厅。音乐起、灯光骤亮、大门开启,主持人王刚上场。王:我发现在生活中,很多收藏爱好者和收藏家在步入收藏领域之后呢,藏品的题材就慢慢地相对固定了,比如说专门收藏陶瓷
目前,在小学、中学,学生对计算机的掌握程度存在很大差异,学生在这方面的知识水平参差不齐。这就要求我们在进行信息技术学科的教学时,既要面向全体学生,又要因材施教。
At
河南省周口市基层畜牧业技术推广体系改革与建设补助项目实施效果显著,2015～2017年连续三年被省畜牧局表彰为优秀单位,在全省项目实施中极具代表性。文章结合周口市2012～2018年