回答集编程相关论文
随着社会的不断发展,对能源的消耗日益加大,尤其是建筑能耗增速迅猛。校园能耗占社会总能耗的8%左右,具有较高的节能减排潜力。因......
并发系统是现实世界中一类重要的复杂系统，已广泛应用于军事、交通、商业和服务业中，纵观现代软件行业，从操作系统到互联网，并发程序无......
计算机网络已经渗入到人们生活的各个领域,微小的错误可能导致无法挽回的损失甚至危及人的生命。通信协议是网络正常发挥作用的基......
CSP(Communicating Sequential Processes)是Hoare提出的一种代数语言，主要用于对并发系统进行描述与验证。主流的CSP模型检测工具......
白从20世纪60年代出现机器人以来,机器人技术已经经历了几十年的快速发展,从最初的传统工业领域向军事、医疗、服务等领域渗透。服......
本文给出了一种基于回答集语义下的归纳学习方法的自适应访问控制系统的冲突解决策略。首先,我们介绍了回答集程序的语法和语义,这......
回答集编程作为人工智能领域中具有非单调推理能力的知识表示及推理工具,在未知情况下具有良好的推理能力,近年来,随着回答集编程......
为了解决当前通信顺序进程(CSP)模型检测不支持在验证工具的一次运行中验证多个性质的问题,建立了基于ASP的CSP并发模型验证框架。......
在RoboCup MSL足球机器人中，教练机程序负责对机器人的单机任务和机器人之间的协作进行规划。在多机协作的过程中，由教练机导致的机......
传统并发通信顺序进程（CSP）性质的验证通常使用3个不同的模型层面,从而增加了系统的复杂性和验证工具开发的难度;同时,主流的并发系......
针对程序切片在程序理解和程序测试方面的应用,提出了一种基于ASP的程序切片方法。ASP是一种声明性问题解决方法,它可以高效地描述......
针对当前目的地选择服务系统机械片面地理解用户的查询请求,提出了采用回答集(ASP)逻辑推理的方式,综合运用旅游常知、情景信息和......
采用启发式算法的Banks选举在进行求解时执行效率较低。为解决该问题,提出一种基于回答集编程（ASP）的求解方法。通过建立Banks选举问......
多语境系统（MCS）是对分布式系统（如多知识库系统）的一种形式刻画。在现有MCS的基础上,一方面提出一种基于ASP（回答集编程）逻辑的偏好多语......
家庭仿真项目是全国机器人大赛的新兴项目，侧重对服务机器人在执行任务中自动规划、自然语言解析、自动判断及推理等认知能力考查，通......
目的:以服务机器人的自然语言处理为目标，主要研究场景信息分析、自然语言任务信息理解等问题，最终求解出机器人的最优动作序列;方法......
Agent是指能够模拟人或物的行为方式自主提供特定服务的计算机程序。自该概念被提出以来,多种机理的Agent模型及逻辑推理工具被提......
随着理论方面的成熟和相对高效求解器的出现,越来越多的研究者将回答集编程(ASP)作为具有非单调推理能力的知识表示和推理的一般工......
家庭机器人仿真比赛是由中科大发起的一项基于简单机器人模型在一定范围内实现任务规划的比赛.Answer Set Programming （回答集编程......
在服务机器人研究领域,如何对指令进行有效处理,并将其转化为机器人可以理解的动作序列,是提高机器人智能性和自主性的重要研究内......
作为一种广为接受的语义数据模型,E-R模型被广泛地应用于数据库设计阶段.但是E-R模型自身却存在某些缺陷,这些缺陷制约了对其进一......
为了实现家庭服务机器人在无人干预的情况下自主地执行中文指令中蕴含的服务任务，提出一种基于回答集的中文指令任务规划方法，将组块......
