回答集编程

作品数：17被引量：31H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：赵岭忠张超伍淳华张志政王枞更多>>
相关机构：桂林电子科技大学东南大学中国科学技术大学桂林理工大学更多>>
相关期刊：《安徽科技学院学报》《计算机应用研究》《北京邮电大学学报》《计算机研究与发展》更多>>
相关基金：国家自然科学基金广西壮族自治区自然科学基金安徽省高校省级自然科学研究项目软件工程国家重点实验室开放基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于知识图谱的检索增强生成情报问答技术
《计算机科学》2025年第1期87-93,共7页成志宇 陈星霖 王菁 周中元 张志政 
军科委国防科技重点实验室基金(6142101210205);军科委国防科技创新特区资助项目。
为实现军事情报问答,提出了一种基于知识图谱的检索增强生成框架。该框架通过问题分类、实体识别、实体链接、知识检索有效地获取了背景知识。同时考虑到情报问题多约束的特点,使用回答集编程在知识上通过约束限制减少知识数量或者直接...
关键词：情报问答 回答集编程 大语言模型 检索增强生成 知识图谱 
目标行动信息的时空一致性检测方法
《宇航计测技术》2024年第6期14-19,共6页李俊儒 王彧之 张志政 
目标行动信息是重要的情报数据内容,判断其行动信息是否可靠的一个重要依据是目标行动是否在时空上一致。通过形式化定义作为检测对象的目标行动信息库和作为检测依据的目标行动时空常识库,提出了一种目标行动的时空一致性检测问题的建...
关键词：情报分析 常识推理 时空一致性 回答集编程 
实现家庭服务机器人中文指令解析问题研究被引量：4
《计算机应用研究》2019年第1期58-63,76,共7页徐园园 孔令富 高胜男 
国家自然科学基金资助项目(61305113);河北省自然科学基金资助项目(F2012203199);燕山大学校级硕士研究生创新资助项目(2017XJSS030)
为了实现家庭服务机器人在无人干预的情况下自主地执行中文指令中蕴涵的服务任务,提出一种基于回答集的中文指令任务规划方法,将组块标注和回答集编程(answer set programming,ASP)应用于家庭服务机器人任务规划。通过组块标注对中文指...
关键词：回答集编程 任务规划 组块标注 谓词集 
服务机器人自然语言处理的研究与应用被引量：3
《安徽科技学院学报》2018年第4期61-69,共9页王凡 尹浩伟 蒋峰岭 郭玉堂 
安徽省高等学校自然科学研究重点项目(2013A217);合肥师范学院青年基金项目(2015QN15;2017QN19)
目的:以服务机器人的自然语言处理为目标,主要研究场景信息分析、自然语言任务信息理解等问题,最终求解出机器人的最优动作序列。方法:使用关键字搜索算法处理自然语言,通过格式化处理、分组标记和谓词转换等技术处理为特定格式的指令语...
关键词：服务机器人 自然语言处理 关键字搜索 回答集编程 
回答集编程在RoboCup中型组的应用被引量：1
《信息通信》2014年第10期104-105,共2页朱喆 
在RoboCup MSL足球机器人中,教练机程序负责对机器人的单机任务和机器人之间的协作进行规划。在多机协作的过程中,由教练机导致的机器人之间的协作冲突会导致任务的失败。如何消解教练机中存在的冲突问题成为中型组研究的一个重点。回...
关键词：ROBOCUP 回答集编程 协作冲突 
基于ASP逻辑的偏好多语境系统被引量：1
《湖北大学学报（哲学社会科学版）》2014年第5期44-49,共6页王淑庆 
多语境系统(MCS)是对分布式系统(如多知识库系统)的一种形式刻画。在现有MCS的基础上,一方面提出一种基于ASP(回答集编程)逻辑的偏好多语境系统PMCS;另一方面,利用其偏好语义实现MCS的桥规则的删除功能,以及使用偏好桥规则处理MCS的不...
关键词：回答集编程 多语境系统 偏好 删除 
提高回答集编程在家庭机器人仿真上求解效率初探被引量：4
《赤峰学院学报（自然科学版）》2014年第6期19-21,共3页王凡 范文斌 张雪艳 郭玉堂 刘乐群 
安徽省高校自然科学研究重点项目(KJ2013A217);合肥师范学院2013本科教学质量提升计划(2013zyzh01);国家级大学生创新创业训练项目(201314098016)
家庭机器人仿真比赛是由中科大发起的一项基于简单机器人模型在一定范围内实现任务规划的比赛.Answer Set Programming(回答集编程)是一种非单调逻辑编程技术,是在融合逻辑编程理论基础上发展而来的.独创性的提出合并关联原子动作来提...
关键词：回答集编程 家庭机器人 行动规划 逻辑推理 
基于进程迹的CSP模型验证框架被引量：3
《计算机科学》2013年第11期181-186,221,共7页赵岭忠 翟仲毅 钱俊彦 
国家自然科学基金(61262008;61063002);广西自然基金(2011GXNSFA018166;2011GXNSFA018164);广西可信软件重点实验室基金(kx201113)资助
CSP(Communicating Sequential Processes)是构建并发系统和网络安全协议的经典方法。当前主流的CSP模型验证方法需将进程转化为迁移系统,转化过程比较复杂;性质采用迹进行规范,不利于活性的描述。提出了一种基于进程迹的CSP模型验证框...
关键词：通信顺序进程(CSP) 并发系统 迹模型 回答集编程(ASP) 
基于回答集编程的Banks选举求解方法被引量：1
《计算机工程》2013年第8期266-269,共4页赖河蒗 陈红英 赖博先 柯万添 
国家自然科学基金资助项目(61173010)
采用启发式算法的Banks选举在进行求解时执行效率较低。为解决该问题,提出一种基于回答集编程(ASP)的求解方法。通过建立Banks选举问题到ASP问题的映射,编写相对应的ASP,调用回答集求解器进行求解,得到的每一个ASP模型就是Banks选举问...
关键词：回答集编程 Banks选举 计算复杂度 求解器 启发式算法 最大传递子图 
基于ASP的CSP模型验证性质反例生成技术研究被引量：3
《计算机应用研究》2013年第1期52-55,共4页王雪松 赵岭忠 张超 
国家自然科学基金资助项目(61262008;61063002);广西科学基金资助项目(2011GXNSFA018166;2011GXNSFA018164);广西可信软件重点实验室基金资助项目(kx201113)
为了解决当前通信顺序进程(CSP)模型检测不支持在验证工具的一次运行中验证多个性质的问题,建立了基于ASP的CSP并发模型验证框架。主要研究在该框架下当待验证的系统性质不满足时生成相应性质反例的技术。把ASP程序调试中的ASP程序支撑...
关键词：通信顺序进程 回答集编程 支撑原因 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部