知识编译论文

基于知识编译的QBF求解器的研究
论文摘要智能规划是人工智能研究领域的一个重要分支,已在许多领域得以广泛应用。求解智能规划问题的一个重要方法即把智能规划问题转化为命题逻辑公式求解。动作和世界状态确定的规划问题可...
自动推理和智能规划中若干问题研究
论文摘要自动推理和智能规划自从二十世纪五十年代被提出,已经成为计算机科学中最重要的研究领域。基于演绎推理的规划求解方法、基于SAT的经典规划求解方法和基于QBF以及知识编译的非...