罗索·克林戈 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出版物描述软件,包括1出版物以zbMATH为单位 年份 将ASP集成到ROS中,用于机器人推理。 Zbl 1467.68187号本杰明·安德烈斯;戴维·拉贾拉特南;奥昆特·萨布努克;托尔斯滕·绍布 2015 全部的 前5名18位作者引用 2 巴特·博加特 2 托尔斯滕·绍布(Torsten H.Schaub)。 1 本杰明·安德烈斯 1 里卡多·贝尔托卢奇 1 阿莱西奥·卡皮塔内利 1 沃尔夫·德·沃尔夫 1 卡明·多达罗 1 马丁·格布瑟 1 汤米·詹胡宁 1 罗兰·卡明斯基 1 本杰明·考夫曼 1 尼古拉·利昂 1 马可·马拉提亚 1 富尔维奥·马斯特罗吉奥瓦尼 1 戴维·拉贾拉特南 1 奥昆特·萨布努克 1 沙哈卜·塔沙罗菲 1 毛罗·瓦拉蒂 连载1篇 三 逻辑程序设计理论与实践 在1个字段中引用 5 计算机科学(68至XX) 按年份列出的引文