一种基于有色网的行动推理表示模型

针对行动推理中的异步并发、真并发和冲突难以被表示的问题,利用有色网具有严格的数学模型、易于形式化地描述系统异步、并发等特征的优点,提出一种基于有色网表示行动推理的形式化模型—CPNRAA网.运用其对状态、动作以及复合动作进行了形式化的描述,通过构造动作及复合动作的CPNRAA网并加入一个用于保存动作序列的库所,得出一个可以生成动作序列的CPNRAA网系统,并提出了该网系统动作序列的生成方法.对办公室环境下送咖啡实例的CPNRAA网系统进行了建模和仿真,自动生成的动作序列验证了CPNRAA网表示行动推理的可行性和有效性.

行动推理中循环因果关系的研究

近年来行动推理的研究成为人工智能领域的热门问题,而结果问题是目前行动推理研究的核心问题之一.该文针对许多行动推理系统不能处理循环因果关系的问题,提出了解决方法.基于适当修改后的McCain和Turner的因果理论,该文提出了一种能处理循环依赖的理论转化方法.转化后的因果理论消除了循环依赖,而且可以采用单调推理方法.基于因果闭包语义,证明了转化前后的因果理论具有相同的模型.当因果关系不存在循环依赖时,该文方法得到与McCain,Turner方法(1997)相同的结果.

智能体行动推理中的信念修正

信念修正中的加强修正算法在保留低秩协调信念时存在不足,流演算由于其表示公式的局限,无法较好地与信念修正结合来进行行动推理。针对以上不足,提出了依赖信念修正算法和Strategy-Axiom-Reasoning(SAR)模型。该算法满足Ind假设并且较好地保留了条件信念和低秩非矛盾信念,SAR模型继承并改进了流演算的公理系统,用公式集表示信念集,较好地实现了与信念修正的结合。最后将依赖信念修正算法运用到SAR模型中,用实验证明了其可行性。

基于流演算的智能体行动推理模型设计与实现

并发约束程序设计在人工智能程序设计领域中占据越来越重要的位置,约束处理规则作为新一代的并发程序设计正倍受关注。对约束处理规则和流演算理论及其实现语言FLUX进行了研究,结合流演算和JCHR推理模型优点,设计了一种基于Java的流演算解释器JFLUX,同时提出了一个基于目标驱动的,在不完全可知的虚拟环境中通过感知到的有限信息进行自主行动推理能力的智能体模型,实现了办公室场景中智能体行动推理系统。

关于行动的推理

关于行动的推理是研究行动及其所带来的变化的规律的一个人工智能分支。近年来,关于行动的推理技术一直伴随着非单调推理等一系列相关领域的开展而发展,出现了一系列新的理论与方法。本文介绍关于行动的推理的基本问题、理论与方法。同时也介绍与其它相关领域的联系。

情态演算在行动推理中的应用

情态演算是专门设计来表示动态变化世界的一个二阶多类语言,它可作为描述动态系统的一个工具,在行动推理的应用中显示出其强大的表示能力和实现能力。在情态演算中,可以对行动进行公理化,可以描述行动的时间性、并发性及agent的信念和知识,可用Prolog实现在开放世界中带有感知行动的规划。讨论并介绍与这些应用有关的基本概念、思想,方法和最新的一些研究成果。

独立于设计者的行动推理

高水平的智能机器人要求能够独立地对环境进行感知并进行正确的行动推理.在情境演算行动理论中表示带有感知行动及知识的行动推理需要外部设计者为agent写出背景公理、感知结果及相应的知识变化,这是一种依赖于设计者的行动推理.情境演算行动理论被适当扩充,感知器的表示被添加到行动理论的形式语言中,并把agent新知识的产生建立在感知器的应用结果之上.扩充后的系统能够形式化地表示机器人对环境的感知并把感知结果转换为知识,还能进行独立于设计者的行动推理,同时让感知行动的"黑箱"过程清晰化.

传感器机器人行动推理的有色网表示模型

研究机器人行动推理优化系统,针对传统的推理前必须预先给定所有环境状态,不能动态获取环境状态新知识。为了使得机器人在推理的过程中能动态获取环境状态新知识以提高推理的准确度,提出了行动推理过程中的两种基本动作即外部动作和感知动作进行了形式化地表示,对这两种基本动作、STRIPS推理规则以和有色网来表示机器人在不完全可知环境下进行行动推理的形式化表示,采用PNS(Petri Net for Reasoning about Action with sensor)网系统,采用CPNTools对办公环境下机器人行动推理实验,结果表明PNS网系统能使得机器人在行动推理过程中动态获取新知识目标,提高了行动推理的准确度。

事件演算在行动推理中的应用

事件演算是基于一阶谓词演算的行动推理理论。它可作为描述事件的一个工具,在行动推理的应用中显示出其强大的表示能力和实现能力。在事件演算中,可以对行动进行公理化,可以描述行动的时间性、并发性、连续变化及知识,而且还可用Prolog实现。讨论介绍与这些应用相关的基本概念、思想和方法等,并且通过一个送咖啡的例子说明了如何通过事件演算来描述和实现。

行动推理中若干问题的研究

1 引言我们所面临的世界是不断动态变化的,一个智能系统往往需要对动态变化的环境做出反应,其中一个重要方面是对各种行动的结果进行预测、推理,以决定下一步的目标和动作。John McCarthy提出进行行动推理(Reasoning about action)研究,并认为行动推理在常识推理中占有基础性的地位。至此以后,行动推理成为人工智能的一项重要研究内容。利用形式化的方法对世界和行动进行描述和推理构成了行动推理的主要内容。行动推理有时也被称为行动逻辑。在这里我们把关于行动和变化的推理总称为行动推理。

情绪作为内感受的外在行动推理——一种基于预测加工的情绪理解

对比当前的几种情绪理论及其优劣,可以通过对预测加工理论中实现预测误差(PE)最小化的知觉推理和行动推理两种方式的考察,引介一种情绪的内感受的外在行动推理观(IEAIE),将预测加工原则引入对情绪的理解。这种观点将情绪视作调节情感效价的特殊策略,认为主体通过作为内感受的外在行动推理的情绪来调节内感受知觉(效价),从而维持内稳态平衡。这种观点整合了其他理论的解释资源,具有明显的优势。

由“微博打拐”看经典传播学理论适用性

微博在社会公众生活中的重要性和影响力已毋庸置疑,2011年春节期间在微博平台上演的"打拐潮",再一次证明了微博影响力之大。在"微博打拐"语境中,随着传播介质和方式的改变,一些传统传播学理论如议程设置理论、推理行动理论和媒介麻醉论等,均可予以重新审视。

基于情境演算的智能体结构

Agent结构的建立是Agent研究的重要内容.尝试着结合BDI结构和情境演算的优点,提出了一个能够刻画Agent的多种特征,尤其是自主性的智能体结构AASC(Agent architecture based on situation calculus).此结构既能表示Agent的信念、目标、策略等心智状态,又能进行行动推理和规划,为解释Agent的自主性、建构不同类型的Agent提供了统一的平台.

基于流演算的智能虚拟人模型研究与实现

在研究流演算理论及其实现语言FLUX的基础上,将流演算与虚拟现实技术中的虚拟人相结合,提出了一个基于目标驱动的、有自主行动能力的虚拟人模型。设计了动作检测模块,同时使用了动作队列,根据动作检测的结果来决定是否执行下一个动作,使虚拟人可以针对动态变化的虚拟环境进行有效的行动规划。利用此模型可以快速构建出一个在不完全可知的虚拟环境中通过感知到的有限信息进行实时的、自主行动推理的智能虚拟人。最后,实现了办公室场景中智能虚拟人行动推理系统。

FLUX中负析取约束的研究与实现

FLUX是基于流演算的逻辑程序语言,实现agents在不完全状态下对其动作和感知信息进行逻辑推理。FLUX利用不同的约束来编码不完全状态,但现有的约束并不能覆盖所有流演算状态公式,这势必影响FLUX的应用范围。针对以上问题,在FLUX中引入负析取约束,利用约束处理规则集(CHRs)加以实现,并基于流演算基础语义分析了负析取约束的正确性,从而提高了FLUX对不完全状态的表达能力。

条件规划中转移函数定义

条件规划的产生,是在行动所产生的环境状态空间中进行搜索,需要定义由于行为而导致的环境之间的转移,根据状态空间中的搜索方向,定义了环境间的正向转移函数和反向转移函数。

家庭作业里的教学与课程潜力:对几何证明作业的讲解与点评——上海的案例研究

作为一项案例研究,文章聚焦于上海东南部的一所普通初级中学,探讨一位有经验的教师(王老师)如何在课前讲解与点评学生的几何证明作业。研究发现体现在三个主要方面:第一,通过话语分析揭示这位教师讲解和点评作业惯常的行为结构,她通过IRE/F(教师用提问开启-学生回答-教师评价/反馈)课堂话语引导学生共同参与讲解,点评学生的错误及其原因,帮助他们回忆、再联结和再建构他们先前所学的知识,通过这样的即时反馈帮助学生在学习新知识前及时纠正错误、强化巩固。通过数个小时的时间批改学生的几何作业,分析学生的思维并对个别学生进行单独辅导之后,王老师的讲解在呈现出细节化、层次化和结构化的同时从学生的错误中抓住数学学科的本质。第二,通过分析教材和批改过的学生作业中的错误,发现学生学习过程中出现的错误和困难并不是新学的或难以理解的定理,而是缺乏几何证明书写过程中所需要遵循的基本规范与逻辑思维习惯。第三,题目的变式设计的传统营造了精心设计的多样化的问题背景,使得教师通过批改、辅导、讲解和点评作业能够及时发现并解决学生的学习问题,进而帮助学生理解和掌握基本的演绎推理技能和习惯。借助家庭作业,本研究揭示了上海地区常见的数学教学实践背后潜藏的维度,以帮助我们重新思考家庭作业在数学学科的教与学中的作用与潜力。

微博时代，探析传播理论的变异

微博日渐成长为公共事件的舆论场，发挥着巨大的作用。一次又一次的事件证明了微博的强大，随着公众意识的提升，传播介质和方式的改变，传播理论中议程设置理论、沉默的螺旋等理论也在发生着变异。

论实现“中国梦”的逻辑

实现"中国梦"的逻辑是一种行动逻辑。行动的推理把人的目的作为推理的首要前提。目的的正当性和手段(工具)的有效性是行动推理的两个前提。"中国梦"体现了近现代中国历史发展的必然,是中国近现代史的主题;又是全体中华儿女的伟大梦想和共同愿望,体现了目的的正当性。道路的正确性和实干的科学性是实现梦想的有效逻辑手段(工具)。它与正当的目的一起,是达到梦想成真即主客观一致这一行动推理的结论的两个必不可少的前提。