Formal analysis of intelligent agents for model-based medicine usage management

被引：0
|
作者：
Hoogendoorn, Mark [1 ]
Klein, Michel [1 ]
Memon, Zulfiqar [1 ]
Treur, Jan [1 ]
机构：
[1] Vrije Univ Amsterdam, Dept Artificial Intelligence, NL-1081 HV Amsterdam, Netherlands
来源：
HEALTHINF 2008: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON HEALTH INFORMATICS, VOL 1 | 2008年
关键词：
model-based; agent; medicine usage management; formal analysis;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A model-based agent system model for medicine usage management is presented and formally analysed. The model incorporates an intelligent ambient agent model that has an explicit representation of a dynamical system model to estimate the medicine level in the patient's body by simulation, is able to analyse whether the patient intends to take the medicine too early or too late, and can take measures to prevent this.
引用
收藏
页码：148 / 155
页数：8
相关论文
共 50 条
  • [1] Formal specification and analysis of intelligent agents for model-based medicine usage management
    Hoogendoorn, Mark
    Klein, Michel C. A.
    Memon, Zulfiqar A.
    Treur, Jan
    [J]. COMPUTERS IN BIOLOGY AND MEDICINE, 2013, 43 (05) : 444 - 457
  • [2] A Formal Model of Emotion-Based Action Tendency for Intelligent Agents
    Steunebrink, Bas R.
    Dastani, Mehdi
    Meyer, John-Jules Ch.
    [J]. PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2009, 5816 : 174 - 186
  • [3] Intelligent model-based diagnostics for vehicle health management
    Luo, JH
    Tu, F
    Azam, M
    Pattipati, K
    Willett, P
    Qiao, L
    Kawamoto, M
    [J]. SYSTEM DIAGNOSIS AND PROGNOSIS: SECURITY AND CONDITION MONITORING ISSUES III, 2003, 5107 : 13 - 26
  • [4] Model-based Spacecraft Fault Management Design & Formal Validation
    Gibson, Corrina
    Bonnici, Michael
    Castet, Jean-Francois
    [J]. 2015 IEEE AEROSPACE CONFERENCE, 2015,
  • [5] Application of Formal Concept Analysis in Model-Based Testing
    Ng, Pin
    Fung, Richard Y. K.
    [J]. ADVANCES IN SOFTWARE ENGINEERING, 2009, 30 : 110 - +
  • [6] Model-based agents
    Scheidt, D. H.
    Pekala, M. J.
    [J]. 2007 IEEE POWER ENGINEERING SOCIETY GENERAL MEETING, VOLS 1-10, 2007, : 3866 - +
  • [7] Model-Based Formal Reasoning about Data-Management Applications
    Dania, Carolina
    Clavel, Manuel
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2015, 2015, 9033 : 218 - 232
  • [8] Formal Management-Specifying Approach for Model-Based Safety Assessment
    Xu, Changyi
    Duan, Yiman
    Zhang, Chao
    [J]. JOURNAL OF SYSTEMS ENGINEERING AND ELECTRONICS, 2023, 34 (06) : 1589 - 1601
  • [9] Formal management-specifying approach for model-based safety assessment
    XU Changyi
    DUAN Yiman
    ZHANG Chao
    [J]. Journal of Systems Engineering and Electronics, 2023, 34 (06) : 1589 - 1601
  • [10] Formal Design and Simulation of an Ambient Multi-agent System Model for Medicine Usage Management
    Hoogendoorn, Mark
    Klein, Michel C. A.
    Treur, Jan
    [J]. CONSTRUCTING AMBIENT INTELLIGENCE, 2008, 11 : 207 - 217
12345