On description and reasoning about hybrid systems

被引：0
|
作者：
Nakamura, K [1 ]
Fusaoka, A
机构：
[1] Ritsumeikan Univ, Dept Comp Sci, Kusatsu, Siga 5258577, Japan
[2] Heian Jogakuin St Agnes Univ, Informat Media Ctr, Moriyama, Siga 5248511, Japan
来源：
INNOVATIONS IN APPLIED ARTIFICIAL INTELLIGENCE | 2004年 / 3029卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper, we introduce a nonstandard model of the situation calculus to deal with the hybrid system. The nonstandard situation calculus is build from the standard one via the ultra-product formation and it allows discrete but uncountable (hyper-finite) state transition, so that we can describe and reason about the interaction of the continuous and discrete dynamics. In this enlarged perspective of the nonstandard situation calculus, we discuss about the inherent problems to the hybrid dynamics such as ZENO problem.
引用
收藏
页码：274 / 283
页数：10
相关论文
共 50 条
  • [11] REASONING ABOUT NAMING SYSTEMS
    BOWMAN, M
    DEBRAY, SK
    PETERSON, LL
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1993, 15 (05): : 795 - 825
  • [12] Reasoning about linear systems
    Arthan, Rob
    Martin, Ursula
    Mathiesen, Erik Arne
    Oliva, Paulo
    [J]. SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 123 - +
  • [13] Reasoning about Ecological Systems
    Zimmerman, Corinne
    Tobin, Renee M.
    Cossey, Andrea
    [J]. PROCEEDINGS OF THE TWENTY-SIXTH ANNUAL CONFERENCE OF THE COGNITIVE SCIENCE SOCIETY, 2004, : 1661 - 1661
  • [14] A dynamic description logic for representation and reasoning about actions
    Chang, Liang
    Lin, Fen
    Shi, Zhongzhi
    [J]. KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, 2007, 4798 : 115 - 127
  • [15] A temporal description logic for reasoning about actions and plans
    Artale, A
    Franconi, E
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 1998, 9 : 463 - 506
  • [16] A Framework for Reasoning about Dynamic Axioms in Description Logics
    Bednarczyk, Bartosz
    Demri, Stephane
    Mansutti, Alessio
    [J]. PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, : 1681 - 1687
  • [17] Extending description logic for reasoning about ontology evolution
    Chen, Chuming
    Matthews, Manton M.
    [J]. PROCEEDINGS OF THE IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE: WI 2007, 2007, : 452 - 456
  • [18] Reasoning About Surprising Scenarios in Description Logics of Typicality
    Pozzato, Gian Luca
    [J]. AI*IA 2016: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2016, 10037 : 418 - 432
  • [19] Pre-orders for Reasoning about Stability Properties with respect to Input of Hybrid Systems
    Prabhakar, Pavithra
    Liu, Jun
    Murray, Richard M.
    [J]. 2013 PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2013,
  • [20] Reasoning about hybrid probabilistic knowledge bases
    Mu, Kedian
    Lin, Zuoquan
    Jin, Zhi
    Lu, Ruqian
    [J]. PRICAI 2006: TRENDS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4099 : 130 - 139
12345