我要投搞

标签云

收藏小站

爱尚经典语录、名言、句子、散文、日志、唯美图片

当前位置:管家婆六肖中特 > 非单调推理 >

基于知识的状态演算的研究与实现

归档日期:06-27       文本归类:非单调推理      文章编辑:爱尚语录

  江苏大学硕士学位论文基于知识的状态演算的研究与实现姓名朱会娟申请学位级别硕士专业计算机应用技术指导教师刘一松20100608 江苏大学硕士学位论文摘要行动推理和知识表示是人工智能的重要研究领域。行动推理在认知机器人、   服务、工作流等多个领域中得到应用。行动推理的主要任务是给出系统的初始状态和变化规则来预测某个行动或行动序列的效果以及给出系统的初始状态和结果状态解释系统经历了哪些行动。模态逻辑是知识表示的一个重要工具利用模态算子表示知识在理论上是完善的但实质上是一个计算资源无限的理想模型。状态...

  江苏大学硕士学位论文基于知识的状态演算的研究与实现姓名朱会娟申请学位级别硕士专业计算机应用技术指导教师刘一松20100608 江苏大学硕士学位论文摘要行动推理和知识表示是人工智能的重要研究领域。行动推理在认知机器人、   服务、工作流等多个领域中得到应用。行动推理的主要任务是给出系统的初始状态和变化规则来预测某个行动或行动序列的效果以及给出系统的初始状态和结果状态解释系统经历了哪些行动。模态逻辑是知识表示的一个重要工具利用模态算子表示知识在理论上是完善的但实质上是一个计算资源无限的理想模型。状态演算是行动推理形式化系统之一主要用来刻画动态系统变化规律但状态演算对动态系统的知识表示仅是初步的。本文的主要工作如下   基于模态逻辑中可能世界语义的思想引入“流析取范式”表示状态演算中的知识提高了状态演算的知识表达能力同时也避免了用模态逻辑表示知识在实现上的困难。   基于状态演算理论实现了一种新的逻辑程序设计语言       采用前推推理机制比基于情景演算采用回归推理机制的     、        和         等有更高的推理效率。    能够实现基于流演算的    所不能实现的一些重要的知识表示和推理比    具有更广的适用范围。   利用    语言实现了机器人取金子路径规划实例实验结果验证了    能够使     通过感知动态环境信息以及自身动作来更新自己的状态通过动作推理来实现目标。关键词行动推理知识表示情景演算流演算状态演算 江苏大学硕士学位论文                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             》                                                                                                                    。                                                                                                                                                                                                                                                                                                  学位论文版权使用授权书本学位论文作者完全了解学校有关保留、使用学位论文的规定同意学校保留并向国家有关部门或机构送交论文的复印件和电子版允许论文被查阅和借阅。本人授权江苏大学可以将本学位论文的全部内容或部分内容编入有关数据库进行检索可以采用影印、缩印或扫描等复制手段保存和汇编本学位论文。保密口在年解密后适用本授权书。本学位论文属于不保密口。学位论文作者签名禾铡剧磁孙劫一柱签字日期加 ◆年月『『日签字日期  口年歹月幻日 独创性声明本人郑重声明所呈交的学位论文是本人在导师的指导下独立进行研究工作所取得的成果。除文中已经注明引用的内容以外本论文不包含任何其他个人或集体己经发表或撰写过的作品成果。对本文的研究做出重要贡献的个人和集体均已在文中以明确方式标明。本人完全意识到本声明的法律结果由本人承担。学位论文作者签名袋会晌日期 口 。年厂月  江苏大学硕士学位论文  知识表示第一章绪论人类的智能活动过程主要是一个获得并运用知识的过程知识是智能的基础。为了使计算机具有智能能模拟人的智能行为就必须使它具有知识。但知识是需要适当的模式表示出来才能存储到计算机中去因此关于知识的表示问题就成为了人工智能中的一个十分重要的研究课题【  。从一般意义上讲知识表示是为描述世界所做的一组约定是知识的符号化、形式化或模块化。从计算机科学的角度来讲知识表示是研究计算机表示知识的可能性、有效性的一般方法是把人类知识表示成机器能处理的数据结构和系统控制结构的策略【 】。现实中同一事物可以用多种不同的方式来进行描述同一表示模式的知识也可以采用不同的表示方法因此为了更好的解决问题选择合适的知识表示方法显的尤为重要。那么建立一个实际的智能系统时如何选择和建立合适的知识表示方法呢这可以从下面几个方面考虑      表示能力。首先考虑的是能否充分表示领域知识也就是说知识表示方法的选择和确定往往要受到领域知识自然结构的制约。   可理解性。知识表示模式应该是人们易读、易懂的因此要符合人们的思维习惯。   便于知识的获取。智能系统在运行的过程中可能需要对原有知识进行增加、修改、删除等操作同时在吸收新知识的同时要确保和原有的知识不冲突、不冗余以便于知识更新与知识库的维护。   便于搜索。表示知识的符号结构和推理机制应支持对知识库的高效搜索。   便于推理。“推理”是通过使用知识库中的知识根据问题的已知事实来推出新的事实 结论 或执行某个操作的过程。如果一种表示方式过于复杂或者难于理解使推理不便进行匹配、冲突消解及不确定性的计算等处理就势必影响到系统的推理效率从而降低系统求解问题的能力。目前知识表示方法种类繁多结合本文研究目的针对基于一阶谓词逻辑的知识表示法和基于模态逻辑的知识表示法进行研究。 江苏大学硕士学位论文   一阶谓词逻辑用谓词公式表示知识时首先需要定义谓词指出每个谓词的确切含义然后再用连接词把有关的谓词连接起来形成一个谓词公式表达一个完整的意义其中连接词主要有“一 “人 “  “   “ ”分别表示“非 “与 “或”“蕴含 “等价”。一阶谓词逻辑系统中的公式还可以包含全称 用符号“  表示 量词或者存在量词 用符号“ ”表示 用于对问题域中的对象进行量化表示。一阶谓词逻辑系统的形式化模型     通常包含有一个解释该解释定义了在该模型中为真的原子谓词的集合。一阶谓词逻辑是用逻辑方法研究推理的规律即条件与结论之间的蕴含关系其知识表示方法的优点   自然性。接近自然语言人们比较容易接受用它表示的知识比较容易理解。   精确性。谓词逻辑是二值逻辑其谓词公式的真值只有“真 和“假 因此可用来表示精确知识并保证演绎推理所得结论的精确性。   严密性。有严格的形式定义和推理规则。   易实现性。易于转换为计算机内部表示形式【 】。   模态逻辑人们最初提出模态逻辑是为了研究不同的真值模式例如可能为真必然为真等。一般地正规模态逻辑系统有两个特殊的模态算子口和◇分别表示必然算子和可能算子。公式   表示公式仃必然成立公式   表示公式盯可能成立。模态逻辑的形式化描述通常是一个三元偶 。     其中矽是非空的可能世界集合形集合中的每一个元素 对应于一个可能世界。一个系统的演变可能有许多种方式演化中的每一个可能世界可以简单地理解为系统的一种状态或者格局。形式化模型中不同可能世界之间的可达关系 描述了可能世界之间的相关性。基于可能世界之间的可达关系可以给出模态算子的语义    坂    口盯当且仅当对于任意的  如果  ∥  那么 以     仃    心    ◇仃当且仅当存在  如果       并且 帆    仃 江苏大学硕士学位论文必然算子和可能算子的上述语义定义表明公式口盯在模型坂和可能世界中解释为真当且仅当对于任何与 相关的 即存在可达关系 可能世界  在  下成立即在所有相关的可能状态下都成立公式◇盯在模型坂和可能世界 中解释为真当且仅当存在与 相关的可能世界∥  在∥下成立。在模态逻辑系统中一个公式莎的有效性和可满足性定义如下   可满足的至少存在一个模型可能世界对偶     使得 帆    盯。   不可满足的对于任何模型可能世界对偶 心  均有 以 爿     关于模型眠为真对于模型帆中的任何可能世界 均有 坂    盯。   有效的对于任何模型以公式伊关于模型为真。在模态逻辑知识表示中引入模态算子 表示“知道”模态算子 表示“相信疋读作“知道盯”吃读作“相信  ” 、吃与必然算子口和可能算子◇性质相同【 】【  。以模态算子表示的知识在可能世界框架下给出其语义解释的做法在理论上是完善的但实质上是一个计算资源无限的理想模型因而在实翰、暴绕中都采用限制和变通的方法来实现导致了所谓的理论与实践脱离的问题。在本文中依据模态逻辑中可能世界语义的思想借助一阶谓词逻辑的特点对状态演算知识表示及前提条件公理进行改进既提高了状态演算的知识表达能力同时也避免了一般用模态逻辑表示知识在实现上的困难。  行动推理  节讲述了如何把知识以某种方式存储到计算机中去但是要使计算机具有某种程度的智能 例如智能      仅仅使它拥有知识还是远远不够的还必须使计算机具有思维能力即运用已掌握的知识推理出未知的知识以使问题得到解决。而任何引起知识改变的过程都可看作是行动这也是行动推理的关键所在。行动推理是上个世纪  年代后期提出的较为突出的成果有  年代末  江苏大学硕士学位论文年代初的非单调推理技术  年代中期关于   问题的讨论和结果问题的发现以及“极小化 域外限定 模式的提出  年代初行动事件描述语言和行动推理元理论研究的出现  年代后期对因果关系的形式化等等近几年来行动推理更是受到国内外研究者的广泛重视其中    年的国际联合人工智能大会      将行动推理列为一项专题。行动推理的提出者              认为动作主要用于解决动态系统的两个问题第一给出系统的初始状态和变化规则预测某个动作或者动作序列的效果 即               问题 第二给出系统的初始状态和要达到的目标状态得出系统执行哪些动作后可以使系统从初始状态变化到目标状态 即                              问题 。行动推理理论上讲似乎比较简单但是当把行动推理技术应用于一个复杂的系统时研究者就会发现很多问题最著名的行动推理三大问题分别是框架问题                 、结果问                        和资格问题                      引其中框架问题的研究已取得了较大的进展主要的解决方案有“简单解 和非单调推理等。目前行动推理的研究多集中在形式化方法上行动推理的形式化方法研究主要解决对动作及环境状态的描述这种描述构成了行动推理理论它主要包括   行动公理对动作及效果的描述。   观察公理                  对系统初始状态或其它情况下环境的描述。   域限定公理           仃     和框架公理等 某些系统需要 。其中影响较大的行动推理形式化系统主要有      、情景演算和流演算。                 是一个实用的机器人规划系统。      系统虽然简单但非常实用是为数不多的行动推理实用系统之一它是采用逻辑公式集合来描述系统某一时刻的状态一个行动由前提条件、增加列表、删除列表构成。当前提条件满足时动作就可以执行动作执行后对系统的状态描述予以更改即添加增加列表中的公式除去删除列表中的公式。例如清扫机器人例子中【   假设初始状态为机器人在办公室    的门     边上、       是关闭的、有门     的钥匙在初始状态下可以执行动作    该问题在      系统中可描述为初始状态                                         江苏大学硕士学位论文      声 动作描述为前提                     删除表                 添加表             情景演算情景演算                  是        在【 卜  】中首次提出的用于刻画动态系统变化规律的多型一阶逻辑系统 个别地方使用了二阶逻辑 。其后的几十年间针对不同的应用背景研究者们对情景演算做了进一步的研究并提出了各种不同的情景演算系统【     。其中尤其以      等人提出的情景演算系统      】更为合理有效采用后继状态公理解决了框架问题的表示问剧   。情景演算系统中包含二种保留型分别是动作型        和情景型           。在直观上一个情景就是世界某时刻的一个快照而情景的变化是由动作 属      型 引起的动作以函数的形式表示如       表示打开门 的动作。系统变化的过程可以由一组动作序列组成称之为情景 属         型 。如果在情景 下执行动作 将得到另一个情景 那么情景 可表示为       。保留关系    表示 为 的真子情景用于刻画情景的先后次序其中 是在 中增加有限数量的动作后获得的情景。在世界中事物的属性以及相互之间的联系用流        来表示流的取值与情景有关因此通常情况下流都是以情景作为参数。流在情景演算中分为关系流               和函数流               。情景演算在解决框架问题   上最显著的成就便是      在    、        和        的工作的基础上提出的“简单解”方法【  乏 】但只解决了表示框架问题并未解决推理框架问题。      等人在情景演算的基础上通过顺序、不确定选择、不确定参数选择、不确定重复、分支、循环以及过程等语言结构来表示复杂动作和过程并赋予相应语义实现了一种逻辑程序设计语言       。        和            等人在     的基础上增加了并发处理、优先级的并发、中断处理以及外因事件处理后提出了逻辑程序设计语言            。在        中初始情景可以不完全指定而用户可以根据情景演算的公理自己定义基本动作。               等人在        的基础上提出了         语言   。            增加了对感知动作的处理通过动态规划算子将原来的离线执行方式改进为在线执行方式。 江苏大学硕士学位论文情景演算采用回归  沁         推理机制【  】判断某个属性矽是否成立需要回归到初始情景且整个历史动作序列需要参与计算这严重影响了情景演算的推理效率。另外情景演算借鉴可能世界语义模型通过引入情景可达关系来表示知识【   这种知识表示离实际应用还存在很大的距离。   流演算流演算                是由          提出【  圆】的带等词   的多型          一阶逻辑语言 个别地方使用了二阶逻辑 流演算中除了使用标准的逻辑字母符号外还使用了标准逻辑连接符“   否定 “ ” 合取 “ ” 析取 “   蕴含 “兰” 相等 “   全称量词 “  存在量词 。流演算主要用于刻画动态系统变化规律特别用于对认知     的描述。流演算               可以看作是为了解决框架问题而对情景演算的一种改进。框架问题作为行动推理中重要的问题之一已得到广泛的研究其中基于情景演算的“简单解 方法犹为突出但是“简单解”方法仅解决了表示框架问题未能解决推理框架问题。流演算将情景演算中的情景分解为情景和状态两个基本概念每个动作 而不是每个流 对应一条状态更新公理因此状态更新公理只需处理发生变化的流未发生变化的流仍在状态中不需要对它们进行任何处理因此不仅解决了表示框架问题而且解决了推理框架问题【  。   。流演算包含四种保留型分别是流型        、状态型       、动作型似      和情景型           其中流型是状态型的子型。流是指物理世界中随时间 动作的执行 而发生变化的单个原子属性以函数的形式表示属于      型。例如移动着物体的位置门的状态 开或关 或是     的位置等。动作是用函数来表示如     表示到达 地方的动作属于      型为了刻画动作执行的条件引入谓词                         表示在状态 下可以执行动作 同样为了刻画动作执行的效果每个动作对应一个状态更新公理而情景演算中是每个流对应一个后续状态公理。状态是由成立的流构成用常量   和特殊二元函数      ×              表示“ ”的含义为将两个状态合并为一个状态不含任何流的状态称为空状态   仅含一个流的状态称为单一状态。流演算中引入宏          表示流厂在状态 下成立宏     用等词关系表示成                   即如果状态 能分解成两个状态且其中一个状态是含流厂的单一状态那么在状态 下厂成立反之如果不能以这种方法分解则在状态 下厂不成立。 江苏大学硕士学位论文情景是一个动作序列属于         型在情景演算中情景作用于每个流而在流演算中情景仅作用于状态。初始情景用常量  来表示即空动作序列非空的动作序列用一个特殊的二元函数  来表示       表示在情景 下执行动作 后产生的后继情景。为了将情景和状态相联系起来引入了函数                        表示情景下的状态例如        表示情景 下的  状态。宏     何                             表示流在情景 下的状态中成立。流演算中与领域有关的公理包括初始状态公理、前提条件公理和状态更新公理。初始状态公理用于描述     所处的初始状态。前提条件公理是用来描述动作在某个状态下可以执行的条件每个动作都需对应一条前提条件公理。    所处状态通过动作的执行将不断发生变化因此需要状态更新公理来描述动作对状态的影响情况每个动作对应一条状态更新公理。流演算中与领域无关的公理有流演算基本公理和唯一名公理流演算基本公理用于对状态加以界定包括状态合并函数“  的结合律和交换律、空状态公理、可分解性公理、状态的非可归性、状态相等公理和状态存在公理。函数符号名不同或者函数名相同而参数不同的流是不同的流 或动作 因此需要定义唯一名公理来确保流 或动作 的唯一性。流演算采用前推             推理机制对状态和动作进行推理【   其推理效率优于采用回归推理机制的情景演算。虽然一些学者试着将前推             推理机制引入情景演算   。   但目前只限于理论上的探讨。          等人基于流演算理论实现了流演算的执行器        由于采用前推推理机制    比     、        、         等有更高的执行效率【  】【   。    没有提供顺序、不确定选择、并发等语言结构。流演算的状态只考虑将成立的流通过合并函数“  汇集在一起缺乏对不成立流的考虑因此流演算中的状态公式与其否定形式不具备对偶关系这使得某些状态公式 如        。               等 在    中的实现变得非   拿常困难       】   】甚至不可能进而影响对状态知识的表示和实现这势必影响流演算和    的适用范围。流演算的创立者          将实现这些状态公式列为需要进一步研究的重要问题之一       。 江苏大学硕士学位论文  行动推理在智能     中的应用目前关于智能     没有比较统一的定义本文中我们把智能     简称为     。     术语被广泛应用于计算机科学与技术领域例如人工智能和分布式人工智能、分布计算、人机交互、软件工程、虚拟现实、系统仿真等研究领域。在不同的领域对     概念理解的侧重点亦不同在人工智能研究领域研究者侧重于关注     的智能特征和问题求解能力在分布计算领域中研究者关注的是     的合作和移动的能力在智能决策应用领域人们认为自主性、学习性、自适应性、智能决策是     的主要特征在电子商务应用领域研究者认为自主性、协商、自发工作等是     的主要特征【   。尽管在不同的领域对     概念的理解亦不相同但可以给出一个笼统的     定义     是一个能在某一环境中自主、灵活地执行动作以满足设计目标的行为实体  引。从     的对外表现来说     一般应具有以下特性【  】   自主性     可以在没有干涉的情况下独立运行并能控制其内部的状态和动作。   社会性     能够与其它     进行通讯交换信息和知识。   反应性     能感知环境信息并作出一定的反应。从实现角度来看     应具有   知识     关于它所处环境以及所要解决问题的描述拥有知识是    区别于其它实体的显著特征。   目标     所要达到的目的。   能力     具有推理、决策、规划和控制等能力。在人工智能领域中我们认为     的一个基本特征是拥有处理常识性知识的能力。另外一方面     必须拥有对所处环境的改变做出反应的能力即行动推理。其中知识的表示形式和行动推理的机制需要能很好地结合起来。  研究动机一个智能系统必须拥有一定的知识才能做出判断表现出一定的智能。其中知识的表示方法是至关重要的它不仅决定了知识应用的形式而且也决定了基于知识进行智能推理时的效率和实现域空间规模的大小其合适与否直接关系到智能系统的成败。知识表示是知识获取的基础又是推理的前提目前在人工智能领域中知识 江苏大学硕士学位论文的表示方法种类繁多其中一阶谓词逻辑表示法是到目前为止能够表达人类思维活动规律的一种最精确的语言它主要研究关于推理、证明等模拟人类智能的问题求解理论和方法。模态逻辑也是知识表示的一种重要工具基于可能世界语义的思想给出的知识的语义在理论上是完善的但是在实现过程中会发现这是一个计算资源无限的理想模型。行动推理经过多年的发展虽然取得了许多成果推动了一批相关领域的研究但仍存在着许多问题。行动推理的研究通常采取以问题为导向或者以孤立的角度作为切入点的研究方式这虽然与常识推理的复杂性有密切的关系但就整个行动推理的研究而言目前还缺少统一的系统的理论基础。目前行动推理的工作往往偏重理论完善性较少注重所提出的理论及方法的可计算性和实用性。行动推理研究之所以存在以上的问题一个重要的原因在于缺乏实际应用背景和基于行动推理理论的实用系统。虽然目前已经提出了很多表达能力强、形式优美的行动推理系统但大多数是基于较为抽象的数理逻辑系统一般的用户不容易理解同时这些系统的计算复杂性都较高。行动理论的出发点是应用这要求系统有较强的表达能力和易于理解的表达形式。如何在这两者之间取得较好的折中是一个值得研究的问题。因此本文对行动推理形式化系统状态演算进行深入研究基于模态逻辑中可能世界语义的思想借助一阶谓词逻辑的特点对状态演算知识表示及前提条件公理予以改进提高了状态演算的问题描述能力并基于状态演算理论实现了逻辑程序设计语言    使其方便地应用于实际问题中。  本文的主要工作本文基于对一阶谓词逻辑知识表示法和模态逻辑知识表示法的分析与研究实现了对状态演算的知识表示及前提条件公理的改进并基于状态演算实现了逻辑程序设计语言    。第一章主要对知识表示方法、行动推理以及行动推理在智能     中的应用等方面进行了研究分析并指出了本文的研究目的。第二章对状态演算基本理论进行介绍。本章介绍了状态演算的基础概念 流、状态、动作和情景等 、状态知识表示及更新、状态演算的前推推理机制。第三章依据模态逻辑中可能世界语义的思想对知识的概念进行了探讨并对状态演算的知识表示及前提条件公理进行了改进既提高了状态演算的知识表达能力同时也避免了一般用模态逻辑表示知识在实现上的困难。最后给出了判定知识的有效方法并证明了方法的正确性。 江苏大学硕士学位论文第四章基于状态演算实现了一种新的逻辑程序设计语言        采用前推推理机制比基于情景演算采用回归推理机制的     、        和         等有更高的推理效率。    对状态演算中的状态公式、知识表示及状态知识更新等予以实现。第五章在第一、二、三、四章研究的基础上通过机器人取金子路径规划实例将状态演算和逻辑程序设计语言    应用于实际问题中。第六章总结和展望。是对论文工作的总结和进一步工作的展望。  江苏大学硕士学位论文第二章状态演算状态演算 是基于公理集合    公理 的一个带等词   和多型的一阶逻辑语言系统主要用来描述动态系统任何引起动态系统变化的因素都称之为动作而动作的发生又依赖于动态系统的当前状态状态演算的任务就是对动态系统的状态和引起动态系统状态发生变化的动作进行形式化描述。状态演算定义了 个与领域无关的保留型分别是流型   、状态型 刀、动作型   和情景型   。状态演算中与领域相关的型统称为对象型 鼬其论域是除保留型以外的所有个体对象型   可根据具体应用领域进行细分如为自然数型等。状态演算中非保留型的函数符号称为普通函数符号不含保留型项的关系符号称为普通关系符号即普通刀元函数符号型为   ”       刀   普通疗元关系符号型为   ”      丁  刀 。保留型的函数符号称为保留函数符号含保留型项的关系符号称为保留关系符号。状态演算中的项、合适公式的定义以及公式的语义与经典一阶逻辑相同。状态演算中项符号服从唯一名公理                     即   一一一一一一     八八红                曩       】记为       】。        唯一名公 里     确保具有不同函数名的项为不同的项具有相同函数名但其参数不同的项为不同的项。例如              意指                   砣       】意指               一冽。  流和状态流是状态演算中最基本的实体表示物理世界随着时间变化 动作执行 而变化的单个原子属性。状态是某时刻环境的快照。状态演算中用“     状态 来表示     对应于环境状态的内部模型 即     动态系统的内部状态 也就是     持有的关于环境的部分知识     状态只对应于环境状态的一部分因而相对于环境状态而言是不完全的     状态也简称为状态。简言之流是组成状态的原子属性而状态是由流构成。 江苏大学硕士学位论文   流、流集合以及流集合公理   流流用函数表示流函数符号 保留函数符号 型为   ” 凡    。流变量通常用  等表示可以带有上下标不包含变量的流称为封闭流。例如在第五章的机器人取金子路径规划实例中     在山洞    内可用流      表示     是一个封闭流      用来表示     毛  连接口     是一个非封闭流。状态演算中流具有如下三种形式①厂    封闭流 一 为常向量此种形式中不允许出现变量② 孤 厂    带存在量词的非封闭流 孑为变量向量 为含变量向量孑的项向量③         带全称量词的非封闭流 其中舅和 同②。①和②表示单个流③表示多个同一类的流 流函数名相同参数不同 。   流集合流集合是个体为流的集合流集合变量通常用 表示可以带有上下标。流集合由下列规则递归构成①空集合   是流集合称为空流集合即不含任何流的流集合②若厂是流则仍是流集合③若  、  是流集合则    是流集合“  为集合的并运算。由上述规则经有限步所构造的流集合形如     以磊 氚  豳 为单个的流称  为有限流集合由上述规则经无限步所构造的流集合形如   研办石 称  为无限流集合。     所处的环境包含着无限的属性 流 而     所知道的属性 流 却是有限的。状态演算中正流集合  有限的集合元素为成立的流负流集合芗有限的集合元素为不成立的流。其中      “ 为集合的交运算即不存在某流既成立又不成立的情况。   流集合公理状态演算中关于流和流集合的公理称为流集合公理                        夥  厂      专五    江苏大学硕士学位论文       夥  厂萑矽        彳 寸石       厂      寸 互          毛 乞  乞 五          毛       毛          一 ≯其中 十为正流集合 为负流集合厂、石为流  、  、刁为流集合。   状态和状态公式状态属于 玎型状态变量通常用 表示可以带有上下标。状态用正、负流集合构成的序偶的集合表示①若        是空正、负流集合构成的序偶则        是空状态②若   力是正、负流集合构成的序偶则      是状态③若  、  是状态则    是状态。状态分为已知状态、未知状态和不完全状态。已知状态通过宏勋   力表示其定义为勋    一 三     一  未知状态通过宏       力表示其定义为         一       毗 矿       一” 不完全状态通过宏          表示其定义为         一 三                 一 其中正已知流集合   伤矗 、负已知流集合 一德 勘 瓜  勘刀 勘 、岛   鲰朋 庀  分别是一个流且      。为了判断流是否成立于当前状态引入宏肋胁型为                    力表示流在状态 下成立        优  表示流厂在状态 下不成立。宏月 胁定义为        砒 功  等   叠广  薯         一   ∥     譬嚣 。一  叫 【             一               江苏大学硕士学位论文        一∥的   他  一  嚣焉     ...

  2017年沈阳工业大学理学院919化工原理[专业硕士]考研仿线年中央财经大学保险学院620经济学基础之西方经济学(宏观部分)考研冲刺密押题

  2017年浙江工业大学长三角绿色制药协同创新中心616药学综合(I)考研题库

  2017年中国地质大学(武汉)材料与化学学院868有机化学考研仿线年大连理工大学管理与经济学部810数据结构和计算机组成原理之计算机组成原理考研仿线戏剧学基础考研仿线年上海交通大学船舶海洋与建筑工程学院801船舶与海洋工程专业基础考研仿线年北京第二外国语学院汉语学院445汉语国际教育基础[专业硕士]之对外汉语教育学引论考研强化模拟题

  2017年南京邮电大学信息材料与纳米技术研究院819生物化学考研冲刺密押题

  2017年大连理工大学人文与社会科学学部619新闻传播史论之中国新闻传播史考研导师圈点必考题汇编

本文链接:http://meghanmbiro.com/feidandiaotuili/651.html