【摘 要】
：
Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whet
【机 构】
：
College of Computer Science and Technology,Key Laboratory for Symbolic Computation and Knowledge Eng
论文部分内容阅读
Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper,we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.
其他文献
本文通过对加强专业技术人才队伍建设的控讨,结合公路行业的实际,针对专业技术人才队伍现状和存在的问题,提出加强专业技术人才队伍建设的措施.
目的 研究大孔树脂吸附法富集野菊花总黄酮的工艺条件及参数.方法 以野菊花总黄酮为考察指标,考察大孔树脂富集野菊花总黄酮的最佳工艺条件.结果 野菊花提取液(50 mg生药/mL)
职业生涯规划是一个人一生职业道路的设计与规划,它可以使大学生充分认识自我,增强自信心,提高就业能力,促成自我价值的实现.不少大学生不了解职业生涯规划的程序,缺乏进行规
烟叶收购预检制是促进烟叶生产持续稳定发展的有效措施之一,是烟叶收购方面的一项重大革新.本文以邵阳为例,对烟叶收购预检模式进行了调查分析,结果表明:在烟叶交售之前,进行
文章通过对政治合法性的概念分析,阐述了纪检监督对于权力运行、经济发展、民主政治和社会公平等合法性基础具有十分重要的影响,从而直接影响着执政党的执政能力建设,并提出
Three dye-doped polymer rods in different matrices were synthesized in which weak hydrogen bond, strong hydrogen bond and covalent bond existed between the dye
AFM has been utilized to study the surface topography and the local conductivity of nanocrystalline TiO2 films. Improving the local conductivity by Ti(iso-C3H7O
随着物业管理行业的不断发展壮大,物业纠纷亦层出不穷,其中关于车辆尤其是私家车在小区被盗所引发的民事纠纷较为突出,拟从现实典型案例着手,结合法律相关规定,初步探讨关于
介绍石材干挂施工工艺控制,板材加工保护,钢结构骨架安装施工,影响建筑幕墙安全施工因素.
学生的精神世界是自主地、能动地建构的,而不是外部力量塑造而成的.教师要处处"以生为本",尽可能地给学生创设自主建构的空间,让学生在充裕的空间里生动活泼地发展能力.