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

权利要求书

1.一种基于状态演算的智能主体推理算法，基于公理集合论，引入正、负流集合来定义状态，其特征在于：State(s)的状态知识公式Ω(State(s))是由Knows(f，State(s))、Knows(N(f)，State(s))以及普通原子公式通过逻辑连接词∧、 所构成的式子，即 

其中，f、是流，为n个两两不同的变量向量(n≥1)，为的非空子集，Ω、Ω1和Ω2为状态知识表达式。Knows(f，State(s))、Knows(N(f)，State(s))、 称为原子状态知识公式。 

2.根据权利要求1所述的基于状态演算的智能主体推理算法，其特征在于：状态演算中情景项服从情景公理SA，Situation Axioms，即 

公理(SA1)和(SA2)刻画了情景出现的先后顺序。 

3.根据权利要求1所述的基于状态演算的智能主体推理算法，其特征在于：提出并实现约束逻辑程序设计语言STEX，State Calculus Executor，假设<F，o，φ>是一个状态演算符号， 一个STEX的状态公式△(z)可以表示为下列列表： 

z=[[f1，...，fn，[g1，...，gm]，o] 。

4.根据权利要求3所述的基于状态演算的智能主体推理算法，其特征在于：对o通过以下形式加以约束： 

(1)Holds(f，o)； 

(2)NotHolds(f，o)； 

(3)AllHolds(f，o)； 

(4)AllNotHolds(f，o)； 

(5)OrHolds([f1，...，fn，N(g1)，...，N(gn)]，o)； 

(6)算术约束式； 

其中fi(1≤i≤n)为在状态z下成立的流，gj(1≤j≤m)为在状态z下不成立的流，OrHolds约束中析取列表的元素N(gj)(1≤j≤m)表示NotHolds(gj，o)，fi(1≤i≤n)表示Holds(f≤o)，它们之间是析取的关系。 

5.一种如权利要求1所述基于状态演算的智能主体推理算法的编程语言，其特征在于：智能主体在复杂动态环境下自主更新状态，根据意图进行自主推理和动态规划，通过自主行为实现给定的目标，同时对其他主体或环境发生的动作做出及时的反应。