科学哲学视域下Petri语用网研究

发布时间：2018-03-07 02:15

本文选题：Petri网　切入点：语义网　出处：《山西大学》2016年博士论文　论文类型：学位论文

【摘要】：互联网发展到Web 3.0之后,以大规模不确定性网络计算和语义网为核心的技术特征已难以满足日益多元化的用户需求。语用化的发展趋势越来越受到互联网智能领域研究人员的青睐,相关的语用理论与语用技术的研究业已形成明确的问题域。以语用网(Pragmatic Web)为核心的全球性研究阵营已经形成,如何发展语用技术成为互联网能否实现下一次技术飞跃的关键问题。Petri网的发明人卡尔·佩特里(C.A. Petri)在“网论的语用维度(The Pragmatic Dimension of Net Theory)"一文中指出：“在符号学领域或者发送接受信息的通信科学领域,语用学显然是整个科学的无限部分,它超越了根深蒂固且充分形式化了的句法学和语义学的局限；超越了句法学和语义学那种正确组成句子及其标准意义的局限。”由此可见,在语用方面,网论从一开始就吸收了语用学理论,它要求所有资源都是受限的,测量固有着某种不精确性,行为和决定是不完全独立的,错误观念作为某种“语用”态度是存在的,等等。因此,Petri网从一开始就是语用的,或者说为实现语用而服务的。本论文在系统介绍Petri网的历史发展脉络的基础上,着重分析了Petri网从语义网向语用网的转向,从科学哲学的视野揭示了在互联网日益智能化的今天,语用方法论研究已成为人工智能领域的必要的理论基础。海量资源库是互联网的一大优势,网络服务是新时期提升互联网应用效率的一个关键问题。网格作为一种新型分布式系统,有助于协调各种软硬件及数据资源来共同完成一项工作,这种并行的、并发的且分散的协作系统,相比传统的顺序计算而言,是计算机思维的一种根本性变革。作为一种离散的并行系统,Petri网用直观的图形表征方式来描述异步并发事件,通过有向连接图,Petri网用库所、托肯和变迁等方式实现对资源及其数量的描述,并在引发规则下用变迁来实现引发驱动状态的演变,从而达到反映系统动态运行过程的目的。因此,Petri网所蕴含的系统论思想,在网络服务从数据抽象向过程抽象的转移过程中,将计算机编程的封装性、继承性、多态性有机地结合了起来,同时促进了网络服务的系统化和模块化。这不仅有助于用图形表征向用户提供易于理解的系统模型,更推动了对模型进行相应的形式分析及验证。相关关系是Petri网模型构建的基础,在并行程序设计中,Petri网所关注的语境依赖性使得编程者的关注点从事务的全局状态转移到局部状态,从单个独立事务转移到过程型事务,因此,Petri网更加关注计算机建模所面临的不确定性问题。在Petri网与语用网协同发展的过程中,语用抽象系统的形式化和语用主体边界的模糊性所带来的复杂性问题,使得我们必须关注作为一种自组织系统的Petri语用网逐步累积的关系状态和当前的外部环境信息。本论文认为,在语用网理论尚未取得突破之际,用Petri网特有的网论去弥补其理论上的不足,是语用网和Petri网各自获得自身突破的有效途径。在这种探索过程中,如何将二者的理论优势发挥出来,在语用的基底上寻求融合的有效途径,便成为这一理论探索能否取得成功的关键所在。由此,Petri语用网的提出便具备了应有的现实需求与理论基底。
[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.

【学位授予单位】：山西大学
【学位级别】：博士
【学位授予年份】：2016
【分类号】：N02;TP301.1

【参考文献】