【摘 要】
：
本文提出了一种基于实用原则的框架问题的解决方案,证明该方案的表达能力与Reiter的方案等价,分析了两种方案各自的特色及适用范围。提出了效应公理的完备化概念,给出了效应
【机 构】
：
南京大学软件新技术国家重点实验室,南京航空航天大学计算机科学研究所,
论文部分内容阅读
本文提出了一种基于实用原则的框架问题的解决方案,证明该方案的表达能力与Reiter的方案等价,分析了两种方案各自的特色及适用范围。提出了效应公理的完备化概念,给出了效应公理的规则表示形式,这些结果为基于意向驱动的agent模型的建立以及面向agent的程序设计语言AOPLID的提出提供了必要的理论基础。
This paper presents a solution to the framework problem based on practical principles, proves that the program’s expression ability is equivalent to Reiter’s scheme, and analyzes the characteristics and applicable scope of the two schemes. The concept of completeness of effect axioms is proposed and the rule representation of effect axioms is given. These results provide the necessary theoretical basis for the establishment of agent - driven agent model and the AOPLID for agent - oriented programming.
其他文献
高职教育专业核心课程必须根据专业技术岗位要求和职业资格标准来设计,以药品经营与管理专业药品批发企业经营实务课程为例,按照基于工作过程的教学理念,介绍了课程的设计思
目的：探讨冠状动脉搭桥术后理想的胰岛素输注方式。方法：观察冠状动脉搭桥术后需要胰岛素治疗的2型糖尿病患者70例，分为胰岛素泵连续皮下注射组(CSII组)和多次皮下胰岛素注射组(
目的：分析脑梗死后再发心肌梗死（ AMI）的病因及死因。方法对脑梗塞后遗症病人发生AMI前状态、发生AMI时临床特征以及预后进行系统分析。结果所选病例AMI前存在多重心血管病变高
目的 探讨中医活血化瘀法在治疗妇科疾病的临床应用效果.方法 选取我院妇科2010年1月到2011年12月间诊断为淤血症的60例患者应用中医活血化瘀法进行治疗,观察其临床治疗效果.
语文是工具性与人文性统一的学科,但长期以来,语文教学关注的往往是认知因素而忽视情感因素。重理性、轻感情,重认知、轻情感,以致语文教学出现了种种不和谐现象。本文从情感
教学质量评价指标对教学质量及教师绩效的衡量有导向性,合理、科学的评教机制对提高教学质量有关键性意义.目前经管学院理论课程教学评价指标体系正在运行之中,由运行状况分
本文主要对岩土工程勘察地基中的不均匀与不稳定情况进行了研究，并提出了一些工作经验与措施可供同行参考。
随着科学技术的迅速发展，促使了测绘科学技术的巨大变革，出现了“3S”测绘新技术，该技术的产生，促使测绘新仪器、新理论、新技术迅速发展。本文主要介绍了测绘技术在地籍测量中的
和谐发展是教育的理想境界,也是新课程改革极力倡导和追求的价值取向,而和谐发展的核心是人格的和谐发展。只有在民主、和谐的氛围中,在师生平等对话中,学生才能充分地张扬个
水电安装作为建筑安装中的重要组成部分，是一项复杂、长期且繁琐的工作本文主要对建筑水电安装工程技术管理进行了分析。