[发明专利]基于状态演算的智能主体推理算法及编程语言

说明书

技术领域

本发明涉及一种基于状态演算的智能主体推理算法及编程语言，属于智能主体技术领域。 

背景技术

尽管主体理论与技术为复杂分布式系统的开发和实现提供了新途径，然而如何赋予主体更高的智能，即如何更好地实现主体的知识表示和推理，在理论与实现技术上还存在许多尚未解决的问题。这一直是人工智能和计算机科学等领域的研究热点。 

主体作为一种智能的软件实体，它活动在动态变化的环境中，要求具备一定的知识和能力，而不是完全的知识和能力。就知识而言，主体要具有一定的领域知识，要具有信念、目标与意图等心智状态，主体的知识和心智状态应该随环境的变化而改变。就能力而言，主体能够在动态的、不完全可知的环境中，通过自身动作以及与环境的交互更新自己的知识和心智状态，能够根据心智状态进行自主推理和动态规划，通过自主行为改变环境以实现给定目标，能够对于外因突发事件做出及时响应，能够与其它主体进行交互与协作，共同完成给定的任务。 

如果把“世界”看成一个绝对完整的动态系统，那么状态演算研究的动态系统是从“世界”中分离出的一部分。换言之，状态演算研究的动态系统不是一个孤立和封闭的系统，它存在于一定的环境(即世界动态系统)之中，并与环境存在着必然的联系，这种动态系统的状态仅仅对应于环境状态的一部分，因此这种动态系统状态的构成(组成状态的属性)是不完全的，并且随着与其环境交互会发生改变。 

状态演算是基于公理集合论，引入正、负流集合来定义状态，克服了流演算在状态表示上的固有缺陷，给出基于不完全状态的状态公式和知识表示方法，避免了一般用模态逻辑表示知识在实现上的困难，给出状态演算的公理系统和前推推理机制，证明了状态知识更新公理为表示和推理框架问题给出了一种自然有效的解决方案，其中框架问题(frame problem)是人工智能中行动推理的三大问题之首。 

发明内容

本发明的目的在于提供一种基于状态演算的智能主体推理算法及编程语言。 

实现本发明的技术方案为：基于状态演算的智能主体推理算法，该算法基于公理集合论，引入正、负流集合来定义状态，State(s)的状态知识公式Ω(State(s))是由Knows(f，State(s))、Knows(N(f)，State(s))、以及普通原子公式通过逻辑连接词∧、 所构成的式子，即 

Ω(State(s))=defKNOWS(Ω,State(s))]]>

KNOWS(⫬Ω,State(s))=def⫬KNOWS(Ω,State(s))]]>