时态逻辑及其在决策系统中的应用.pptVIP

时态逻辑及其在决策系统中的应用; 断言推理; 断言推理; 时态逻辑; 系统描述;3.1 SIDSS中的时态特征;简单地以工资政策中“两年优秀晋升”的政策为例;表1人员A工资晋升随时间的变化;3.2 规则描述;规则;表3 越级晋升条件表;表4 越级晋升动作表;4.1 时态逻辑断言规则的设计;进一步细化这些执行序列：;（S4）When CondictionChecking If EndofLayer_CondictionChecking Then_Do RejectPromotingApplication 在条件判断嵌套过程中，当前条件得不到匹配和该层所有条件又判断完毕时，则表示不符合越级晋升的条件，不通过该处理;4.2 对断言规则的逻辑描述;对（S3）-（S5）逻辑描述如下： （S8）check (SIDSS, Condiction)∧┑match (SIDSS, Condiction)= samelayer_check (SIDSS, Condiction) U end_check (Condiction, Layer) 其中“U”在这里代表Until。 （S9）┑match(SIDSS, Condiction) Π end_check (Condiction, Layer)=