Formal Verification of an Agent-Based Support System for Medicine Intake

被引：0
|
作者：
Hoogendoorn, Mark [1 ]
Klein, Michel C. A. [1 ]
Memon, Zulfiqar A. [1 ]
Treur, Jan [1 ]
机构：
[1] Vrije Univ Amsterdam, Dept Artificial Intelligence, NL-1081 HV Amsterdam, Netherlands
来源：
BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES | 2008年 / 25卷
关键词：
D O I：
暂无
中图分类号：
R318 [生物医学工程];
学科分类号：
0831 ;
摘要：
In this paper we present the design of an agent system for medicine usage management. Part of it is an intelligent ambient agent which incorporates an explicit representation of a dynamical system model to estimate the medicine level in the patient's body. By simulation the ambient agent is able to analyse whether the patient intends to take the medicine too early or too late, and can take measures to prevent this.
引用
收藏
页码：453 / 466
页数：14
相关论文
共 50 条
  • [1] Accuracy Verification of Event Data of Scheduling Support System for Agent-based Simulator
    Kanamori, Ryo
    Takahira, Satoshi
    Ito, Takayuki
    [J]. 2015 IEEE 8TH INTERNATIONAL CONFERENCE ON SERVICE-ORIENTED COMPUTING AND APPLICATIONS (SOCA), 2015, : 237 - 241
  • [2] Agent-based Security System for User Verification
    Dovgan, Erik
    Kaluza, Bostjan
    Tusar, Tea
    Gams, Matjaz
    [J]. 2009 IEEE/WIC/ACM INTERNATIONAL JOINT CONFERENCES ON WEB INTELLIGENCE (WI) AND INTELLIGENT AGENT TECHNOLOGIES (IAT), VOL 3, 2009, : 331 - 334
  • [3] Agent-based management support system
    Li, CH
    Liang, JH
    Zhang, XW
    [J]. PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT, VOLS 1 AND 2: INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT IN THE GLOBAL ECONOMY, 2005, : 1123 - 1127
  • [4] Formal Semantic Model for Agent-based Software System
    Hou, Jinkui
    [J]. 2010 2ND INTERNATIONAL WORKSHOP ON DATABASE TECHNOLOGY AND APPLICATIONS PROCEEDINGS (DBTA), 2010,
  • [5] An Agent-Based Framework for Healthcare Support System
    Takahashi, Hideyuki
    Izumi, Satoru
    Suganuma, Takuo
    Kinoshita, Tetsuo
    Shiratori, Norio
    [J]. PRINCIPLES OF PRACTICE IN MULTI-AGENT SYSTEMS, 2009, 5925 : 471 - +
  • [6] AGENT-BASED PRODUCTION PLANNING SUPPORT SYSTEM
    Parshutin, Serge
    Borisov, Arkady
    [J]. TECHNOLOGICAL AND ECONOMIC DEVELOPMENT OF ECONOMY, 2010, 16 (03) : 455 - 470
  • [7] Agent Verification Protocol in Agent-based IDS
    Nasir, LuqmanulHakim Mohd
    Seman, Kamaruzzaman
    Saudi, Madihah Mohd
    [J]. 8TH IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY WORKSHOPS: CIT WORKSHOPS 2008, PROCEEDINGS, 2008, : 294 - 299
  • [8] Improving user verification by implementing an agent-based security system
    Dovgan, Erik
    Kaluza, Bostjan
    Tusar, Tea
    Gams, Matjaz
    [J]. JOURNAL OF AMBIENT INTELLIGENCE AND SMART ENVIRONMENTS, 2010, 2 (01) : 21 - 30
  • [9] A transportation decision support system in agent-based environment
    Balbo, Flavien
    Pinson, Suzanne
    [J]. INTELLIGENT DECISION TECHNOLOGIES-NETHERLANDS, 2007, 1 (03): : 97 - 115
  • [10] An agent-based architecture of an adaptive decision support system
    Chuang, TT
    Yadav, SB
    [J]. ASSOCIATION FOR INFORMATION SYSTEMS PROCEEDING OF THE AMERICAS CONFERENCE ON INFORMATION SYSTEMS, 1997, : 700 - 702
12345