人工智能中的Petri网方法.pdfVIP

人工智能中的Petri网方法 赵不贿王霄 赵德安蔡兰 f江苏理_1：大学 镇江212013) 摘 要 本文以“传教士与野人问题”为例介绍了人-1I智能中基于Petri网的建模、分析 和控制的方法，给出了最优解的评价函数。利用网的拓扑结构，避免了在整个状态空间中 · 黝l堞嚣‘黧芦嚣嘲Petri。网人工智能，智能控制，离散事件系统， 网 关键词 1．引言 人工智能是一门新兴的边缘学科，它己引起许多学科的日益重视，被誉为下 ● 一个世纪的带头学科。随着各学科的相互渗透，并行计算机的应用，人工智能必 将得到更快的发展，并在实际应用中显示出更为强大的生命力。 人工智能的核心问题是问题求解，一个重要的应用方面是智能控制。一切智 能问题都有三个重要的特征： (1)可由操作来改变的事物状态；(2)一系列 操作本身：(3)要达到的事物状态的说明。即状态、操作和目标。一个人工智 能程序，必须对自己所要考虑的周围世界拥有一个内在的数学模型。Petri网可 用来对这个问题世界建模。Petri网作为系统模型的数学工具，已得到深入的研 究和广泛使用，它以研究系统的组织结构和动态行为为目标，着眼于系统中发生 的各种变化，以及变化之间的联系，其特点是Petri网具有真并发结构，尤其便 于描述并发现象和模拟平行系统。当对一个系统(或问题)建立了Petri网模型， 通过对模型分析，揭示出系统(或问题)结构或动态行为(解)。Petri网的另 一个特点是具有直观的图形表示和知识推理。本文以古老的人工智能问题为例， 来说明问题求解中的状态、操作和目标与Petri网中库所、变迁和标识之间的关 系，从而给出了人工智能中Petri网的建模和分析方法。通过信息熵来评价解的 优劣程度；同时还给出了实时模型和控制方法。 2．人工智能中的Pem网建模方法 人工智能中，每个问题都可以看成是一个独立的“世界”。问题的三个特征 为状态、操作和目标。 状态：指问题世界中事物的现状。状态可用Petri网中的库所来表示。问题 世界中全局状态也就是Petri网系统中的全局状态，它是各库所状态的总和。 操作：是用来改变状态，使从初始状态转变为某一种我们所希望达到的状 态。操作符包括两部分：条件部分和行动部分。条件部分体现了对可允许操作的 童 约束：行动部分所描述的则是当操作符应用时所产生的状态变化。操作对应于 Petri网中变迁，当变迁发生对，状态改变。变迁发生的条件就是操作的条件部 机械工业部教育司科技基金资助项 分，变迁发生的结果就是操作的行动部分。 目标：指从初始状态出发，应用操作符想要得到的状态。目标对Petri网系 统而言，就是从初始状态即初始标识开始，经过一系列变迁的发生，到达目标状 态所对应的标识。 始标识到目标标识经过一系歹0的变迁的发生过程。由Petri网语言描述，解就是 变迁发生的序列a。从可达图分析，解便是从初始标识所对应的节点出发，到目 ● 标节点为止，所有通过节点是合法节点的一个连接关系。 例1 在河的左岸，有三个传教士、三个野人和一条船，传教士想用 这条船将这些人全部都渡到河的对岸。但有两个难题： (1)该船每次最多只能载两个人。传教士与野人都会划船。 ● (2)在河的～岸，如果野人的数目超过了传教士的数目，那么野人就 会把传教士吃掉。 设计一个安全的摆渡计划，假设野人能够服从传教士，合作执行该计 划。这就是著名的“传教士与野人”问题¨1。 士、船、野人的状态，P4、P5、P6分别表示右岸传教士、船、野人的状 态。库