本文選題：Petri網(wǎng)　切入點(diǎn)：語義網(wǎng)　出處：《山西大學(xué)》2016年博士論文　論文類型：學(xué)位論文

【摘要】：互聯(lián)網(wǎng)發(fā)展到Web 3.0之后,以大規(guī)模不確定性網(wǎng)絡(luò)計(jì)算和語義網(wǎng)為核心的技術(shù)特征已難以滿足日益多元化的用戶需求。語用化的發(fā)展趨勢越來越受到互聯(lián)網(wǎng)智能領(lǐng)域研究人員的青睞,相關(guān)的語用理論與語用技術(shù)的研究業(yè)已形成明確的問題域。以語用網(wǎng)(Pragmatic Web)為核心的全球性研究陣營已經(jīng)形成,如何發(fā)展語用技術(shù)成為互聯(lián)網(wǎng)能否實(shí)現(xiàn)下一次技術(shù)飛躍的關(guān)鍵問題。Petri網(wǎng)的發(fā)明人卡爾·佩特里(C.A. Petri)在“網(wǎng)論的語用維度(The Pragmatic Dimension of Net Theory)"一文中指出：“在符號學(xué)領(lǐng)域或者發(fā)送接受信息的通信科學(xué)領(lǐng)域,語用學(xué)顯然是整個(gè)科學(xué)的無限部分,它超越了根深蒂固且充分形式化了的句法學(xué)和語義學(xué)的局限；超越了句法學(xué)和語義學(xué)那種正確組成句子及其標(biāo)準(zhǔn)意義的局限�！庇纱丝梢�,在語用方面,網(wǎng)論從一開始就吸收了語用學(xué)理論,它要求所有資源都是受限的,測量固有著某種不精確性,行為和決定是不完全獨(dú)立的,錯(cuò)誤觀念作為某種“語用”態(tài)度是存在的,等等。因此,Petri網(wǎng)從一開始就是語用的,或者說為實(shí)現(xiàn)語用而服務(wù)的。本論文在系統(tǒng)介紹Petri網(wǎng)的歷史發(fā)展脈絡(luò)的基礎(chǔ)上,著重分析了Petri網(wǎng)從語義網(wǎng)向語用網(wǎng)的轉(zhuǎn)向,從科學(xué)哲學(xué)的視野揭示了在互聯(lián)網(wǎng)日益智能化的今天,語用方法論研究已成為人工智能領(lǐng)域的必要的理論基礎(chǔ)。海量資源庫是互聯(lián)網(wǎng)的一大優(yōu)勢,網(wǎng)絡(luò)服務(wù)是新時(shí)期提升互聯(lián)網(wǎng)應(yīng)用效率的一個(gè)關(guān)鍵問題。網(wǎng)格作為一種新型分布式系統(tǒng),有助于協(xié)調(diào)各種軟硬件及數(shù)據(jù)資源來共同完成一項(xiàng)工作,這種并行的、并發(fā)的且分散的協(xié)作系統(tǒng),相比傳統(tǒng)的順序計(jì)算而言,是計(jì)算機(jī)思維的一種根本性變革。作為一種離散的并行系統(tǒng),Petri網(wǎng)用直觀的圖形表征方式來描述異步并發(fā)事件,通過有向連接圖,Petri網(wǎng)用庫所、托肯和變遷等方式實(shí)現(xiàn)對資源及其數(shù)量的描述,并在引發(fā)規(guī)則下用變遷來實(shí)現(xiàn)引發(fā)驅(qū)動(dòng)狀態(tài)的演變,從而達(dá)到反映系統(tǒng)動(dòng)態(tài)運(yùn)行過程的目的。因此,Petri網(wǎng)所蘊(yùn)含的系統(tǒng)論思想,在網(wǎng)絡(luò)服務(wù)從數(shù)據(jù)抽象向過程抽象的轉(zhuǎn)移過程中,將計(jì)算機(jī)編程的封裝性、繼承性、多態(tài)性有機(jī)地結(jié)合了起來,同時(shí)促進(jìn)了網(wǎng)絡(luò)服務(wù)的系統(tǒng)化和模塊化。這不僅有助于用圖形表征向用戶提供易于理解的系統(tǒng)模型,更推動(dòng)了對模型進(jìn)行相應(yīng)的形式分析及驗(yàn)證。相關(guān)關(guān)系是Petri網(wǎng)模型構(gòu)建的基礎(chǔ),在并行程序設(shè)計(jì)中,Petri網(wǎng)所關(guān)注的語境依賴性使得編程者的關(guān)注點(diǎn)從事務(wù)的全局狀態(tài)轉(zhuǎn)移到局部狀態(tài),從單個(gè)獨(dú)立事務(wù)轉(zhuǎn)移到過程型事務(wù),因此,Petri網(wǎng)更加關(guān)注計(jì)算機(jī)建模所面臨的不確定性問題。在Petri網(wǎng)與語用網(wǎng)協(xié)同發(fā)展的過程中,語用抽象系統(tǒng)的形式化和語用主體邊界的模糊性所帶來的復(fù)雜性問題,使得我們必須關(guān)注作為一種自組織系統(tǒng)的Petri語用網(wǎng)逐步累積的關(guān)系狀態(tài)和當(dāng)前的外部環(huán)境信息。本論文認(rèn)為,在語用網(wǎng)理論尚未取得突破之際,用Petri網(wǎng)特有的網(wǎng)論去彌補(bǔ)其理論上的不足,是語用網(wǎng)和Petri網(wǎng)各自獲得自身突破的有效途徑。在這種探索過程中,如何將二者的理論優(yōu)勢發(fā)揮出來,在語用的基底上尋求融合的有效途徑,便成為這一理論探索能否取得成功的關(guān)鍵所在。由此,Petri語用網(wǎng)的提出便具備了應(yīng)有的現(xiàn)實(shí)需求與理論基底。
[Abstract]:After the development of the Internet technology to Web 3, characterized by a massive uncertainty of network computing and semantic network as the core has been difficult to meet the increasingly diverse needs of users. The development trend of more and more researchers pragmaticalization intelligence internet's favor, related to the study of pragmatic theories and pragmatic technology has been formed. In order to clear the problem domain the Pragmatic Web (Pragmatic Web) global research camp as the core has been formed, how to develop pragmatic technology become the Internet can achieve the key problems of the next technological leap.Petri net inventor Karl Petrie (C.A. Petri) in the "pragmatic dimension network theory (The Pragmatic Dimension of Net Theory)" the article pointed out: "in the the field of semiotics or sending and receiving information communication science, pragmatics is clearly part of the infinite science, which transcends the deep-rooted and fully The formalization of the syntax and semantics of the limitations; beyond the syntax and semantics that correct sentences and standard limitations. Thus, in the pragmatic aspect, on the net from the beginning to absorb the theory of pragmatics, it requires that all resources are limited, a measurement of inherent imprecision, behavior and the decision is not completely independent, wrong idea as a "pragmatic" attitude is there, and so on. Therefore, the Petri network from the outset is pragmatic, or service for the realization of pragmatics. This thesis introduced in the system of the historical development of the Petri, analyzes the Petri network from semantic network to network pragmatic turn, from the view of scientific philosophy reveals more and more intelligent in the Internet today, pragmatic research methodology has become a necessary theoretical basis in the field of artificial intelligence. The massive resource base is connected A major advantage of the network, the network service is a key issue to improve the Internet application efficiency in the new period. The grid as a new distributed system helps to coordinate all kinds of hardware and software and data resources to complete a work, this parallel, concurrent and distributed collaboration system, compared with the traditional sequential computation that is a fundamental change of computer thinking. As a kind of parallel discrete system, graphic representation method of using Petri net to describe concurrent and asynchronous events, through the directed graph, Petri network library, tochen and changes way for the realization of resources and the number of descriptions, and changes to achieve the evolution of the driving state in triggered triggered rules, so as to achieve the purpose of reflecting system dynamic process. Therefore, the thought system of Petri network which contains the theory, in the network service from abstract to abstract data transfer process In the process, the computer programming encapsulation, inheritance, polymorphism organicly, and promotes the systematic module and network services. This not only helps provide easy to understand graphical representation of system model to the user, but also to promote the formal analysis and verification of the corresponding to the model. The relationship is the foundation of the Petri net model in parallel programming, Petri network programming makes the metastatic focus context dependent attention from the global state of affairs to the local state, from single transaction transfer to the type of business, therefore, Petri pay more attention to the uncertainty problem faced by computer modeling. In Petri collaborative network and pragmatic network development process, the complexity of problems brought by the fuzzy formal and pragmatic pragmatic subject abstract system boundary, so we must pay attention to as a group The relationship between state Petri pragmatic system gradually accumulated net and the current external environment information. This thesis thinks that in the pragmatic net theory has not yet achieved a breakthrough on the occasion, with the Petri network specific network theory to make up for deficiencies in his theory, pragmatic and Petri network are effective ways to obtain their own breakthroughs in this exploration. In the process, how will the two theoretical advantages play out, effective ways for fusion in pragmatic base, which will become a theoretical exploration of the success of the key. Thus, the proposed Petri network will have a pragmatic and realistic demand due to the theory basement.

【學(xué)位授予單位】：山西大學(xué)
【學(xué)位級別】：博士
【學(xué)位授予年份】：2016
【分類號】：N02;TP301.1

【參考文獻(xiàn)】

相關(guān)期刊論文 前10條

1 曾凡桂;毛眺源;;形式語用學(xué)發(fā)展脈絡(luò)概略[J];外語學(xué)刊;2010年01期

2 米俊絨;殷杰;;實(shí)證主義與社會(huì)科學(xué)[J];科學(xué)技術(shù)與辯證法;2008年03期

3 郭貴春;;“語境”研究綱領(lǐng)與科學(xué)哲學(xué)的發(fā)展[J];中國社會(huì)科學(xué);2006年05期

4 ;A logical foundation for the semantic Web[J];Science in China(Series F:Information Sciences);2005年02期

5 劉根輝,金，

本文編號：1577499