任神河,鄭寇全,雷英杰,王睿
(1.咸陽師范學院,陜西咸陽712000;2.西安通信學院,西安710106;3.空軍工程大學防空反導學院,西安710051)
基于直覺模糊時間Petri網的不確定性時間推理方法*
任神河1,鄭寇全2,雷英杰3,王睿3
(1.咸陽師范學院,陜西咸陽712000;2.西安通信學院,西安710106;3.空軍工程大學防空反導學院,西安710051)
針對Petri網模型在對復雜不確定性時間信息描述和推理方面的局限性,在定義直覺模糊時間函數以及網絡變遷約減規則的基礎上,融合直覺模糊時序邏輯(IFTL)、直覺模糊Petri網(IFPN)以及線性邏輯推理的理論優勢,構建了直覺模糊時間Petri網(IFTPN)推理模型,并提出了基于IFTPN的不確定性時間推理算法,較好地解決了態勢評估中沖突事件間的不確定性時間推理問題。最后,通過典型的戰場想定驗證了該時間推理方法的有效性和優越性。
直覺模糊集,Petri網,時序邏輯,時間推理
由于系統的隨機性、缺乏屬性參數以及信息不完備等因素的影響,戰場態勢在時間信息方面存在較大的模糊不確定性,而這類時間知識的描述與推理是整個態勢評估系統建模需要研究和解決的關鍵問題,也是其智能化的集中體現[1-3]。直覺模糊Petri網(Intuitionistic Fuzzy Petri Net,IFPN)將直覺模糊集(Intuitionistic Fuzzy Set,IFS)與Petri網推理理論相融合,利用直覺模糊函數描述網絡庫所及其變遷參數,通過直覺模糊邏輯運算進行網絡并行推理,提高了模型推理的精度與可靠性,為不確定性問題的建模與求解提供了新的思路和方法[4-5]。然而,IFPN本身不具備時間語義,無法有效表征模型推理中不確定性事件發生的時間及其時態限制信息,模型適用范圍有限。……