【摘 要】
：
该文把McCarthy的限定理论同规划识别结合起来,在限定中研究规划识别问题.证明了在一定的限制下,由观察到的现象求出的最小规划集与对这些现象作限定获得的解集是一样的.以此
【机 构】
：
中山大学软件研究所,吉林大学计算机科学系
论文部分内容阅读
该文把McCarthy的限定理论同规划识别结合起来,在限定中研究规划识别问题.证明了在一定的限制下,由观察到的现象求出的最小规划集与对这些现象作限定获得的解集是一样的.以此为基础,文中提出了一种用限定求解规划识别问题的方法.这种方法把Kautz提出的规划识别表示形式做了某些改变,求解的过程中把二阶限定的表示形式转化为一阶形式,这种一阶形式的限定结果可以用逐点限定的方法直接求得.因为利用了逐点限定的这一特点,该文的方法对限定的计算过程可以用机器自动完成.
其他文献
实时跟踪人体运动是人机交互的重要研究课题，可以广泛应用于虚拟现实、虚拟人运动合成、聋人手语自动生成、计算机3D动画、机器人运动控制、远程人机交互等领域.文中介绍了一
随着视频数据量的急剧增加,如何为海量视频数据建立高效索引并提供查询和检索能力成为目前信息检索领域重要的研究课题.许多研究表明,通过对视频中主要运动的定性分析,有助于
基于服务质量的路由选择机制是从根本上提供分布式多媒体应用所需的服务质量保证的重要手段之一.该文提出了两种基于服务质量的多媒体通信初始路由建立算法.一种算法支持在两
在当前 Internet的尽力而为服务模式下 ,网络拥塞和分组丢失不可避免 ,视频流应用必须使用有效的拥塞控制和差错控制机制来改善性能 .文中给出一个自适应拥塞控制与 RS编码差错修复机制相结合的端到端单播视频流体系结构 .所设计的自适应视频流协议 AVSP以一个参数可调的加权移动平均速率调整策略为核心实现拥塞控制 ,并使用 Gilbert模型进行分组丢失率估计用于决策 .仿真结果表明 ,AVSP