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

时态逻辑及其在决策系统中的应用 高级数理逻辑 断言推理 1 目录 时态逻辑 2 SIDSS系统描述 3 系统实现 4 总结 5 断言推理 1 Pre→Post 由这样的断言推理为核心组织的产生式系统 在决策支持系统、专家系统中使用得最多， 也是最为成熟的解决方案 但是语义是静态的 当遇到诸如动态的、实时的、并发的或具有其他时态特性的推理时，这种静态的推理方式则有很大的缺陷 时态逻辑断言推理则可有效地弥补这方面出现的难题。 时态逻辑 2 时态逻辑（tense logic） 是非经典逻辑的分支学科 其研究对象是: 把含有时态动词的语句形式化 把含有这种语句的推理系统化 引入以下常见的时态逻辑操作符： Next: ΟA, If A and B are formulae thenΟA Always: □A, Always in the future A Sometimes: ◇A, Sometimes in the future A Until: AUB, A until B Since: ASB, A since B After: AΠB, B after A 系统描述 3 智能工资决策支持系统（SIDSS） 是由刘冬宁、汤庸等人自主开发的一个典型的时态信息系统 目前已有6000多家机关事业单位用户 针对我国机关事业单位工资政策复杂性、地域性和时间性等主要特点 应用时态数据和知识处理技术 解决了根据机关事业单位工作人员随时间变化影响工资变动的信息（时态性数据），依据相应时期的工资政策（时态知识库）自动确定工资的问题 3.1 SIDSS中的时态特征 根据我国国情，工资政策繁杂，随时间变动大 在复杂的规则、高时态信息变动的条件下 如何确保工资确定的正确性成了SIDSS中的重点和难点 涉及到了大量的断言推理与时态信息处理 系统描述 3 简单地以工资政策中“两年优秀晋升”的政策为例 该政策在1999年以前的描述是这样的： 如果人员连续两年考核优秀，或某年考核优秀有“一年优”标志，工资档次允许晋升一档，考核结果有效年份从下年算起，但连续两次晋升之间必须相隔两年以上。 在1999年以后的描述则改为： 其他与之前相同，但连续两次晋升之间必须相隔四年以上。 举例说明： 人员A从1995年到2000年的考核均为优秀，则他可以分别在1997年和1999年执行一次工资档次晋升，而不允许在2001年执行档次晋升，正是由于1999年以后的工资政策规定，2001年与1999年之间并未相隔4年以上，因此不能进行晋升 系统描述 3 表1人员A工资晋升随时间的变化 年份 考核结果 执行操作 政策依据 1995 优秀 1999年以前的“两年优晋升”相隔必须两年以上 1996 优秀 1997年允许晋升一档 1997 优秀 1998 优秀 1999年允许晋升一档 1999 优秀 1999年以后的“两年优晋升”相隔必须四年以上 2000 优秀 2001年不允许晋升一档 系统描述 3 3.2 规则描述 在“人员越级晋升”的过程中，会遇到的各种规则 本文中仅以1999年更改政策一项规则变更为基准 其规则、条件、动作的相关表如下： 系统描述 3 规则 规则名 规则说明 起始条件表达式 规则生命周期 R1 越级晋升 用于处理1999年以前考核结果引起的越级晋升 C1 [1993/10, 1998/12] R2 越级晋升 用于处理1999年以后考核结果引起的越级晋升 C2 [1999/1, NOW] 表2 越级晋升规则表 系统描述 3 表3 越级晋升条件表 条件 条件 THEN ELSE C1 连续两年考核结果优秀 C3 NULL C2 连续两年考核结果优秀 C4 NULL C3 当前年份—上次越级晋升年份=2 或以前从未越级晋升 A1 NULL C4 当前年份—上次越级晋升年份=4 或以前从未越级晋升 A1 NULL 系统描述 3 表4 越级晋升动作表 动作 动作 NEXT A1 人员工资档次加一档 NULL 表2~4中，是关于“越级晋升”这一事件涉及到的规则、条件和动作。 从表中可以看到这样的规则、条件、动作具有断言推理的特征，而其中在规则表中，定义的生命周期，更体现