虚拟医生对话系统的形式化GSPN模型

IF 1.3 4区工程技术 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS

Simulation-Transactions of the Society for Modeling and Simulation International Pub Date : 2023-01-18 DOI:10.1177/00375497221147919

N. Bourbakis, S. Mallios

{"title":"虚拟医生对话系统的形式化GSPN模型","authors":"N. Bourbakis, S. Mallios","doi":"10.1177/00375497221147919","DOIUrl":null,"url":null,"abstract":"This paper presents a formal generalized stochastic Petri net (GSPN)–based modeling of a virtual doctor (VDr) dialogue system. The interaction model between the VDr dialogue system and the human patient is a modified version of the Wickens model. The purpose of this model is to provide a better understanding of the interaction between the VDr dialogue system and the patient, as well as the integration of other components in the system, such as the patient’s medical history and emotions. Initially, the formal definition of the GSPN model of the VDr dialogue system is presented by incorporating the token color concept, which is a feature of Color GSPNs. Then, the GSPN formal modeling is described. Note that, the GSPN model presented here is at the simulation level and not a product. Furthermore, some examples are provided with the intention of facilitating the understanding of the token color utilization and the different GSPN markings.","PeriodicalId":49516,"journal":{"name":"Simulation-Transactions of the Society for Modeling and Simulation International","volume":null,"pages":null},"PeriodicalIF":1.3000,"publicationDate":"2023-01-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"A formal GSPN model of a virtual doctor dialogue system\",\"authors\":\"N. Bourbakis, S. Mallios\",\"doi\":\"10.1177/00375497221147919\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper presents a formal generalized stochastic Petri net (GSPN)–based modeling of a virtual doctor (VDr) dialogue system. The interaction model between the VDr dialogue system and the human patient is a modified version of the Wickens model. The purpose of this model is to provide a better understanding of the interaction between the VDr dialogue system and the patient, as well as the integration of other components in the system, such as the patient’s medical history and emotions. Initially, the formal definition of the GSPN model of the VDr dialogue system is presented by incorporating the token color concept, which is a feature of Color GSPNs. Then, the GSPN formal modeling is described. Note that, the GSPN model presented here is at the simulation level and not a product. Furthermore, some examples are provided with the intention of facilitating the understanding of the token color utilization and the different GSPN markings.\",\"PeriodicalId\":49516,\"journal\":{\"name\":\"Simulation-Transactions of the Society for Modeling and Simulation International\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":1.3000,\"publicationDate\":\"2023-01-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Simulation-Transactions of the Society for Modeling and Simulation International\",\"FirstCategoryId\":\"5\",\"ListUrlMain\":\"https://doi.org/10.1177/00375497221147919\",\"RegionNum\":4,\"RegionCategory\":\"工程技术\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Simulation-Transactions of the Society for Modeling and Simulation International","FirstCategoryId":"5","ListUrlMain":"https://doi.org/10.1177/00375497221147919","RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS","Score":null,"Total":0}

引用次数: 1

摘要

本文提出了一种基于形式化广义随机Petri网(GSPN)的虚拟医生对话系统建模方法。VDr对话系统与人类患者之间的交互模型是对Wickens模型的改进。该模型的目的是更好地理解VDr对话系统与患者之间的交互，以及系统中其他组件的集成，例如患者的病史和情绪。首先，通过引入颜色GSPN的特征令牌颜色概念，给出了VDr对话系统GSPN模型的形式化定义。然后，对GSPN的形式化建模进行了描述。请注意，这里提供的GSPN模型是在模拟级别，而不是产品。此外，为了便于理解令牌颜色的使用和不同的GSPN标记，还提供了一些示例。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A formal GSPN model of a virtual doctor dialogue system

This paper presents a formal generalized stochastic Petri net (GSPN)–based modeling of a virtual doctor (VDr) dialogue system. The interaction model between the VDr dialogue system and the human patient is a modified version of the Wickens model. The purpose of this model is to provide a better understanding of the interaction between the VDr dialogue system and the patient, as well as the integration of other components in the system, such as the patient’s medical history and emotions. Initially, the formal definition of the GSPN model of the VDr dialogue system is presented by incorporating the token color concept, which is a feature of Color GSPNs. Then, the GSPN formal modeling is described. Note that, the GSPN model presented here is at the simulation level and not a product. Furthermore, some examples are provided with the intention of facilitating the understanding of the token color utilization and the different GSPN markings.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Simulation-Transactions of the Society for Modeling and Simulation International 工程技术-计算机：跨学科应用

CiteScore

3.50

自引率

31.20%

发文量

审稿时长

3 months

期刊介绍： SIMULATION is a peer-reviewed journal, which covers subjects including the modelling and simulation of: computer networking and communications, high performance computers, real-time systems, mobile and intelligent agents, simulation software, and language design, system engineering and design, aerospace, traffic systems, microelectronics, robotics, mechatronics, and air traffic and chemistry, physics, biology, medicine, biomedicine, sociology, and cognition.