【摘 要】
:
BDI(信念、愿望和意图)模型是影响最为广泛的主体技术之一。在把无穷值的ukasiewicz逻辑和命题动态逻辑进行融合后对等级BDI主体模型进行形式化的基础上,提出了GBDIPDL+LL逻
【机 构】
:
四川师范大学逻辑与信息研究所,福建省仿脑智能系统重点实验室,宁德师范学院,厦门大学智能科学与技术系
论文部分内容阅读
BDI(信念、愿望和意图)模型是影响最为广泛的主体技术之一。在把无穷值的ukasiewicz逻辑和命题动态逻辑进行融合后对等级BDI主体模型进行形式化的基础上,提出了GBDIPDL+LL逻辑。为了通过概率、必然性和可能性对不确定性行为进行表示和推理,把相应的公理添加到■ukasiewicz逻辑中。文中的GBDIPDL+LL主体模型使用多背景系统,清晰地表示了信念、愿望和意图的不确定性。GBDIPDL+LL主体行为则通过添加具体条件的每种背景的不同测度来决定。对信念、愿望和意图的模型进行了公理化,并说明了它们对主体行为的影响,该模型可以很轻易地向包括其他心理状态的主体进行推广。在给出了GBDIPDL+LL模型语言、语义和GBDIPDL+LL逻辑的公理和演绎规则后,证明了此逻辑系统的完全性和可靠性。之后,在对复合行动进行形式刻画的基础上,描述了GBDIPDL+LL模型的不同背景之间的关系。文章立足于不确定性的表示和推理,志在为分布式人工智能提供形式支持。
其他文献
<正>很多情况下,开设公开课都是异地借班上课。教师面对的是陌生的学生,对他们的思维品质、思维习惯、表达习惯都不甚了解;同样,学生对老师也是陌生的,不清楚老师的语言风格
<正>慢性阻塞性肺疾病(COPD)是一种严重危害人民健康的呼吸系统的常见病和多发病;而COPD患者是肺栓塞(pulmonary embolism,PE)的高发人群[1]。COPD急性加重患者合并PE者占33%
本文考察了两汉时期汉语衣、帽、鞋、袜称量量词的使用情况,并通过和先秦时期服装量词的对比,发现较之先秦,两汉时期服装量词有了较大的发展,呈现出以下一些特点:两汉时期服
《孔乙己》一文中的衬托艺术●廖艳琼《孔乙己》是鲁迅小说中的一颗瑰丽璀璨的明珠。它的魅人之处,在于成功地塑造了一个深受封建科举制度毒害和摧残的下层知识分子形象。于漪
高额的投入使如今的游戏内容变得丰富多彩,绚丽夺目,玩家在体验到足够的视觉震撼后对游戏智能提出了更高的要求。虽然现在的游戏AI(Artificial Intelligence)有了长足的进步,
<正>每逢新春佳节,家家户户都要在屋门上、墙壁上、门楣上贴上大大小小的"福"字。春节贴"福"字,是我国民间由来已久的风俗。据《梦梁录》记载:"岁旦在迩,席铺百货,画门神桃符
目的探讨一种低浓度红细胞同种抗体浓缩提纯的方法。方法采用液态氯化钙-草酸钾法("钙-草"法)或凝血酶法去除血浆中纤维蛋白,使血浆转化成血清,再经聚乙二醇(PEG)法浓缩提纯
上海世博会近期发布了其旨在指导参展者、参观者和运营商行为规范的"绿色指南"和全方位表明世博会筹备中环保工作开展情况的"环境报告",将原本已经见诸各类媒体的"绿色世博"
γ-氨基丁酸(γ-aminobutyric acid,GABA)是一种具有重要生理功能的天然氨基酸,广泛应用在医药、食品、化工等行业。利用谷氨酸脱羧酶催化法合成GABA因其反应条件温、对环境
从液压动力学方面分析了板坯连铸机结晶器液压振动装置的振动特性,结合钢厂测试实际数据得出了结晶器液压振动装置的幅频曲线,提出在实际生产中对结晶器振动幅值参数的控制要