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

　　模拟图像经采样离散后得到的数字图像具有以下的特点[11]： 　　(1) 图像数据信息量很大。例如取个像素组成一幅数字图像，如其灰度级用8比特的二进制来表示，则有个灰度级，那么这幅图像的数据信息量即为比特，即256kB。若是彩色图像，数据量会更大。对这样大数据量的图像进行处理，必须要有计算机才能胜任，而且计算机的内存量要大。 　　(2) 数字图像占用的频带较宽。与语言信息相比，占用的频带要大几个数量级。如电视图像的带宽为，而语言带宽仅为左右。频带愈宽，技术实现的难度就大，成本也越高，为此，对频带压缩技术提出了较高的要求。 　　(3) 数字图像中各个像素不是独立的，其相关性很大。就是说，有大块区域的灰度值是相差不大的。例如：在一幅数字电视图像中，同一行中相邻两个像素或相邻两行的像素，其相关系数甚至可达0.9，而相邻两帧电视图像之间的相关性比帧内相关性还要大一些，因此，图像信息的冗余度很大，这就对图像压缩技术提出了很高的要求。 (4) 数字图像对视觉要求很高。图像是需要给人观察和评价的，因此效果的好坏受人的因素影响较大。由于人的视觉系统很复杂，数字图像受环境条件、视觉性能、人的主观意识的影响很大，因此要求系统与人的良好的配合，要求图像系统处理后的图像要符合人的视觉感官，否则效果将大打折扣。 时态逻辑及其在决策系统中的应用 高级数理逻辑 断言推理 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年不允许晋升一档 系统描