没有合适的资源?快使用搜索试试~ 我知道了~
温馨提示
试读
8页
对动态系统的描述是智能领域的一个重要问题,但目前已有的动态描述逻辑语言,用不可再分的符号表示 原子动作,不能区分动作类和动作实例,不足以对实际系统中的动作进行表达。因此提出了一个扩展的动态描述逻 辑语言,在原子动作模态词的形式中可以表示动作的属性,从而区分了一类动作和具体动作。通过对可达关系进行 限制,定义了此特殊形式模态词动作的语义。另外,还提供了此语言的 Tableau算法,并证明了此算法的可终止性和 完备性。
资源推荐
资源评论
资源评论
weixin_38710524
- 粉丝: 7
- 资源: 884
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功