×

罗索·克林戈

swMATH ID: 13474
软件作者: 本杰明·安德烈斯;戴维·拉贾拉特南;奥昆特Sabunu;托尔斯滕·绍布
描述: 将ASP集成到ROS中,用于机器人推理。知识表示和推理能力对认知机器人至关重要,因为它们提供了更高级别的功能,用于对动作、环境、目标、感知等进行推理。虽然答案集编程(ASP)非常适合对这些功能进行建模,但到目前为止,还没有在机器人设置中无缝使用ASP的方法。我们解决了这一缺点,并展示了如何利用最近开发的ASP系统在机器人系统中提供适当的推理能力。更准确地说,我们提供了一个包,将新版ASP解算器clipeo与流行的开源机器人中间件机器人操作系统(ROS)集成在一起。由此产生的系统ROSoClingo提供了一种通用方法,通过该方法,ASP程序可以控制机器人的行为并对机器人的动作结果作出响应。
主页: http://www.cs.uni-potsdam.de/rosoclingo网站/
相关软件: 克林戈;Clingcon公司;WASP公司;Potassco公司;国内流离失所者3;DLV公司;Lparse(L解析);;格林戈;高尔夫球;C模型;ASP工具;lp2正常;星期六4j;亚萨特;普韦布洛;古罗比;ezcsp公司;超小卫星;实际HEX
引用于: 5文件

在1个字段中引用

5 计算机科学(68至XX)

按年份列出的引文