action reasoning independent of designer | |
Zhou Shengming ; Wang Ju ; Jiang Yuncheng | |
刊名 | Jisuanji Yanjiu yu Fazhan/Computer Research and Development |
2009 | |
卷号 | 46期号:11页码:1917-1924 |
关键词 | Calculations Computational fluid dynamics Design Formal languages Formal logic Knowledge based systems Multi agent systems Robot programming Robots Sensors |
ISSN号 | 10001239 |
收录类别 | EI |
语种 | 中文 |
公开日期 | 2011-03-18 |
附注 | Action and action reasoning is a basic part of human activities. People must execute some actions when they want to complete some tasks. Similarly, robot needs to execute some actions when she accomplishes a task. High-level intelligent robot is required to be able to sense the external environment and do correct reasoning about actions independently. It is needed that the external designer writes out background axioms, sensing results and related knowledge changes for agent when expressing action reasoning with sensing actions and knowledge in situation calculus action theory. This is a kind of action reasoning depending on the designer. The situation calculus action theory is expanded in proper way, the sensors representation is added into the formal language of action theory, and agents new knowledge producing is based on the results of sensor applications in this paper. A platform is provided in which the following issues can be expressed formally: robot is sensing its external environment; the information obtained by robots sensors is converted to robots knowledge automatically; robot does an action reasoning independent of designer. In this way, the "black box" process of sensing actions will be clear; robots knowledge will be linked to the results of sensors; knowledge-fluent will be regarded as a dynamic knowledge base; and robot can update the knowledge base by executing sensing actions. Furthermore, robot can make action planning and execute actions independent of designer. |
内容类型 | 期刊论文 |
源URL | [http://124.16.136.157/handle/311060/8074] |
专题 | 软件研究所_软件所图书馆_2009年期刊/会议论文 |
推荐引用方式 GB/T 7714 | Zhou Shengming,Wang Ju,Jiang Yuncheng. action reasoning independent of designer[J]. Jisuanji Yanjiu yu Fazhan/Computer Research and Development,2009,46(11):1917-1924. |
APA | Zhou Shengming,Wang Ju,&Jiang Yuncheng.(2009).action reasoning independent of designer.Jisuanji Yanjiu yu Fazhan/Computer Research and Development,46(11),1917-1924. |
MLA | Zhou Shengming,et al."action reasoning independent of designer".Jisuanji Yanjiu yu Fazhan/Computer Research and Development 46.11(2009):1917-1924. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论