回答集程序相关论文
实现计算机执行临床路径是医疗智能化建设的重要内容,是提高诊疗质量、可靠性的重要手段。研究表明回答集逻辑程序(Answer Set Prog......
随着人工智能技术的发展,利用人工智能进行辅助决策的方法变得越来越复杂,导致求解方案的可解释性下降。因此,对人工智能可解释的......
回答集程序设计是知识表示的有效方法,并已成为非单调性推理和逻辑程序设计研究领域的热点。在实际应用中,由于知识的不一致性,导......
信息技术的快速发展使计算机软件的执行效率和硬件的性能都得到了很大的提升。在当今时代,很多设备都具有计算能力与数字通信能力,......
非单调知识库访问控制中如何以正确的授权方式使用ASP知识库是一个非常重要、且极具挑战性的问题。回答集程序设计(Answer Set Pro......
人工智能的研究涉及了控制论、信息论、语言学、数理逻辑和哲学等多门学科,人们期待智能体Agent能够像人类本身一样进行思维和推理......
LPMLN是一种结合了回答集程序(ASP,Answer Set Programming)与马尔科夫逻辑网(MLN,Markov Logic Network)的知识表示和推理语言,具有非......
针对目前OWL推理机无法在非一致本体上进行推理的问题,提出了一种基于回答集程序的非一致本体推理方式,将OWL本体翻译为一类逻辑程......
本文介绍了模糊描述逻辑与回答集程序的发展现状和所遇到的挑战,讨论了模糊DL程序的语法和语义,给出了在模糊背景下扩展的Gelfond-......
Slater选举是最优化问题,也是NP-hard问题,此类问题一般被认为不存在多项式时间的算法。考虑到其求解的复杂度与回答集求解的复杂度......
随着社会的进步和科技的发展,服务机器人目益受到人们的关注。服务机器人在复杂的家庭环境中如何做到自主决策以便更好的辅助人类生......
回答集程序设计是一种描述性的程序设计范例,目前成为逻辑程序设计领域中一个很重要、很活跃的研究课题。在实际应用中,由于知识的......
回答集程序设计是一种描述性的程序设计范例,目前已经成为知识表示和推理的一个有力工具。在实际应用中,知识库中的信息可能发生动......
调机路径规划的核心是合理编排各台编组(解体)调机的移动路径以完成编组(解体)任务。但目前的编制工作仍以人工为主,存在编制作业的工作......
随着信息技术的飞速发展,电子商务作为一种快速,便捷的交易方式越来越多的走进人们的生活,而协商作为电子商务交易中的一个重要环......
智能空间和回答集程序ASP的整合解决了智能空间中固定优先关系下的资源冲突问题。然而,智能空间是一个上下文敏感的、动态的环境,......