计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2012年
z3期
256-258
,共3页
模糊%有色Petri网%形式化方法
模糊%有色Petri網%形式化方法
모호%유색Petri망%형식화방법
Petri网以其图形化的表示方式广泛应用于形式化推理中.基于模糊有色Petri网的形式化推理算法,以系统内部事务之间的逻辑关系为依据,充分利用模糊Petri网在分析不确定知识中的优势,通过知识模糊、库所抽象、转换抽象实现层次化的知识表示和知识推理,并结合有色Petri网对系统规模作适当约简,从而构造出了一种新型的模糊着色网(FCPN)知识表示和获取模型,有效弥补了传统Petri网在实际应用中的缺陷,使模糊推理过程更加简单且易于实现.
Petri網以其圖形化的錶示方式廣汎應用于形式化推理中.基于模糊有色Petri網的形式化推理算法,以繫統內部事務之間的邏輯關繫為依據,充分利用模糊Petri網在分析不確定知識中的優勢,通過知識模糊、庫所抽象、轉換抽象實現層次化的知識錶示和知識推理,併結閤有色Petri網對繫統規模作適噹約簡,從而構造齣瞭一種新型的模糊著色網(FCPN)知識錶示和穫取模型,有效瀰補瞭傳統Petri網在實際應用中的缺陷,使模糊推理過程更加簡單且易于實現.
Petri망이기도형화적표시방식엄범응용우형식화추리중.기우모호유색Petri망적형식화추리산법,이계통내부사무지간적라집관계위의거,충분이용모호Petri망재분석불학정지식중적우세,통과지식모호、고소추상、전환추상실현층차화적지식표시화지식추리,병결합유색Petri망대계통규모작괄당약간,종이구조출료일충신형적모호착색망(FCPN)지식표시화획취모형,유효미보료전통Petri망재실제응용중적결함,사모호추리과정경가간단차역우실현.
