QSRM:一种带约束处理的定性空间推理实现方法

针对以往距离关系空间推理中只能进行同方向距离推理,提出了任意方向上距离关系的推理方法,并通过细化分离关系融入了粗粒度的定性距离关系,从而将RCC-8扩充为RCC-9拓扑关系.在此基础上加入经典的基于锥形的方向关系组合表推理,提出了一种利用约束处理规则对空间拓扑关系、方向关系、距离关系组合推理的实现方法QSRM(Quantitative Spatial Reasoning Method),并将此方法应用于小区规划的实例,实例证明了该实现方法的有效性.

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

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