Application of Paraconsistent Annotated Logic Program EVALPSN to Intelligent Control/Safety Verification

被引：0
|
作者：
Nakamatsu, Kazumi [1 ]
机构：
[1] Univ Hyogo, Sch Human Sci & Environm, Kobe, Hyogo, Japan
来源：
2017 6TH INTERNATIONAL CONFERENCE ON RELIABILITY, INFOCOM TECHNOLOGIES AND OPTIMIZATION (TRENDS AND FUTURE DIRECTIONS) (ICRITO) | 2017年
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：113 / 113
页数：1
相关论文
共 50 条
  • [21] Paraconsistent Annotated Logic Algorithms Applied in Management and Control of Communication Network Routes
    Da Silva Filho, Joao Inacio
    Abe, Jair Minoro
    Marreiro, Alessandro de Lima
    Gonzalez Martinez, Angel Antonio
    Torres, Claudio Rodrigo
    Rocco, Alexandre
    Cortes, Hyghor Miranda
    Mario, Mauricio Conceicao
    Tavares Pacheco, Marcos Tadeu
    Garcia, Dorotea Vilanova
    Blos, Mauricio Fontoura
    SENSORS, 2021, 21 (12)
  • [22] A theoretical framework for the safety verification of air traffic control by air traffic controllers based on extended vector annotated logic program
    Nakamatsu, K
    Suito, H
    Abe, JM
    Suzuki, A
    PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT, VOL I AND II, PROCEEDINGS, 2002, : 415 - 421
  • [23] Application of Paraconsistent Annotated Evidential Logic Eτ for a Terrestrial Mobile Robot to Avoid Obstacles
    Bernardini, Flavio Amadeu
    da Silva, Marcia Terra
    Abe, Jair Minoro
    KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS (KSE 2021), 2021, 192 : 1821 - 1830
  • [24] Power Optimization in Photovoltaic Panels Through the Application of Paraconsistent Annotated Evidential Logic Eτ
    Colombero Prado, Alvaro Andre
    Nogueira, Marcelo
    Abe, Jair Minoro
    Machado, Ricardo J.
    ADVANCES IN PRODUCTION MANAGEMENT SYSTEMS: INNOVATIVE PRODUCTION MANAGEMENT TOWARDS SUSTAINABLE GROWTH (AMPS 2015), PT I, 2015, 459 : 655 - 661
  • [25] A paraconsistent logic program based control for a discrete event cat and mouse
    Nakamatsu, K
    Ishikawa, R
    Suzuki, A
    KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS, 2004, 3214 : 954 - 960
  • [26] An intelligent action control system based on extended vector annotated logic program and its hardware implementation
    Nakamatsu, Kazumi
    Mita, Yoshio
    Shibata, Tadashi
    INTELLIGENT AUTOMATION AND SOFT COMPUTING, 2007, 13 (03): : 289 - 304
  • [27] Logic plus control: On program construction and verification
    Drabent, Wlodzimierz
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2018, 18 (01) : 1 - 29
  • [28] Application of the Paraconsistent Annotated logic in the comparative analysis of the artisanal fisheries diet from Ilhabela/SP, Brazil
    Da Silva Filho, J., I
    Ramires, M.
    Mario, M. C.
    RECENT ADVANCES IN ENVIRONMENT, ECOSYSTEMS AND DEVELOPMENT, 2009, : 38 - +
  • [29] Formal Verification of Intelligent Mechatronic Systems with Decentralized Control Logic
    Patil, Sandeep
    Vyatkin, Valeriy
    Sorouri, Majid
    2012 IEEE 17TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2012,
  • [30] Control Flow Verification for Program Safety Update
    Kishida, Takamitsu
    Sawada, Kenji
    Shin, Seiichi
    2019 12TH ASIAN CONTROL CONFERENCE (ASCC), 2019, : 1380 - 1385
12345