知识库的时态驱动及其探讨.pdfVIP

1引言 在过去几年，人工智能的研究取得了长足的进展。然而也还有很多重要的问题没有的到 满意的解决。例如，在现行应用软件、数据库软件和模型中，基本上都是以事件驱动的。这 主要表现在系统外部发生某一事件后，系统或主动或被动地做出处理，以事件为驱动可以认 为是系统外部(对知识库而言则是库外)触发处理的一个统一标志；而在系统内部(知识库 内部)，一般来说处理根据各自条件，加以分析、判断来进行的，并无统一标志。这种无统 一性，造成库内结构复杂、规则的组织没有统一的标志，既增加了设计的困难，也增加了系 统的复杂度和准确性。 另一方面，传统适应冯·诺依曼机器体系的可执行语言的特征即表示自动机的状态转 换机制，其方式是命令式的，其语义是动态的；而适于这种模型的规范语言，即Pre与Post 断言(Pre—．Post)其语义则是静态的【lJ。源于此特点设计的知识库与数据库，当遇到动态 的、实时的、并发的或具有其他时态特性的推理时，这种静态的推理方式存在着较大缺陷。 与此同时，作为所有事物具有的～种属性(或相对属性)，时间一直贯穿着事物的发展 过程，而其本身为一矢量，所有事物的发展及消亡都可以统一刻画在时间轴上而不可逆，其 可作为所有事物的统一标志。 ． 有鉴于此，可以对知识库可以做一个这样的探讨：对知识库内的知识辅以时态逻辑构架 [21，并对规则的组织推理、计算以时态为标志进行驱动。借助于现行工具【31，使用这种设计 方式的知识库是可行的，同时使知识规则的设计有了～个统一的标志14J——时态；其次，使 用时态逻辑断言进行推理，避免了传统断言静态推理方式的缺陷，提高了推理的有效性、可 靠性与安全性。 2时态描述 用时态作为知识库的统一标志，并对知识库及其规则进行组织、驱动，则对时态的描述 是至为基本与关键的。一般而言，对于时间的表示方法，可分为基于时间点与时间区间两种。 在时间区间的描述中，一个时间区间可以用【起始时间点，终止时间点】表示，当“起始时间 点”=“终止时间点”时，时间区间退化为时间点。由此，时间区间的表述方式，实际上也 可以是以点段式为结合的。另一方面，在时间量子充分小的情况下，事物的发展与消亡是有 阶段性的，因此用时间区间的方式来描述时态是合适的。’ 表示。其中StartTime表示规则启始时间，EndTime表示规则截止时间，在时段内成为“规 则生命周期”。对于实时执行的规则，二元组为[Now，EndTime]，这表示该规则实时地执 行。规则不能驱动的情况有三种： 1．现时系统时间早于规则生命周期的启始时间； 2．现实系统时间晚于规则生命周期的截止时间； 3．规则生命周期的启始时间晚于截止时间。 文献【5】中给出了关于时间区间的时态描述如下： class publicIntervalBasedTime{ PointBasedTime ／／起始时间 private StartTime； PoinffiasedTimeEndTime；／／终止时间 private } 3知识对象的抽象结构 知识类的设计既要考虑到知识的表达，又要满足知识推理的需要。因此知识对象可以用 一个五元组形式化描述： {对象标识，属性集，触发条件集，方法集，规则集， 知识对象的属性集主要描述静态知识，如：概念、应用领域、事物的描述等。方法集和 规则集描述动态知识，方法(Method)是一段过程，可以是程序语言代码，或者是外部的 接口函数，方法不仅可以进行数值计算，叉可以进行业务处理；规则(Rule)采取产生式规 则的形式，包括条件和后继动作两部分，而在规则之间的时态关系判断由触发条件集完成。 触发条件集主要提供启动知识相关规则进行推理的条件，触发条件给出了该知识的应用 范围和触发规则的关系集。在触发条件集中，最为关键的为触发规则的关系集，它不仅仅是 规则应用范围内的约束条件，更是规则与规则之间、事务与事务之间的一个二元关系集，即 XW)。 在可能世界的集合W中(W在此为规则的集合)，该二元关系可用R表示(R≤W 同时，作为一个规则之间的相互约束集合，该关系集应保证可靠性与完备性，并保证充分大， 故应为一正规极大集。 在这个二元关系集中，借鉴于Allen方法【6】，根据时间区间可定义13种时态关系，