A method of belief base revision for extended logic programs based on state transition diagrams

被引：0
|
作者：
Kudo, Y
Murai, T
机构：
[1] Muroran Inst Technol, Dept Comp Sci & Syst Engn, Muroran, Hokkaido 0508585, Japan
[2] Hokkaido Univ, Grad Sch Informat Sci & Technol, Kita Ku, Sapporo, Hokkaido 0600814, Japan
来源：
KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 1, PROCEEDINGS | 2004年 / 3213卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：1079 / 1084
页数：6
相关论文
共 50 条
  • [1] Belief base revision of horn logic programs based on state transition diagrams
    Kudo, Y
    Murai, T
    8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL V, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING, 2004, : 69 - 74
  • [2] Iterative belief revision in extended logic programming
    You, JH
    Cartwright, R
    Li, M
    THEORETICAL COMPUTER SCIENCE, 1996, 170 (1-2) : 383 - 406
  • [3] Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach
    Souza, Marlo
    Moreira, Alvaro
    Vieira, Renata
    THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2019, : 3076 - 3083
  • [4] Belief Revision through Forgetting Conditionals in Conditional Probabilistic Logic Programs
    Yue, Anbu
    Liu, Weiru
    ECAI 2008, PROCEEDINGS, 2008, 178 : 371 - +
  • [5] Reconsidering AGM-Style Belief Revision in the Context of Logic Programs
    Zhuang, Zhiqiang
    Delgrande, James
    Nayak, Abhaya
    Sattar, Abdul
    ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 671 - 679
  • [6] Extended Algebraic State-Transition Diagrams
    Tidjon, Lionel N.
    Frappier, Marc
    Leuschel, Michael
    Mammar, Amel
    2018 23RD INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2018, : 146 - 155
  • [7] Extended belief rule base inference method based on the Hash index
    Liu W.
    Xiao C.
    Fu Y.
    Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University, 2019, 46 (02): : 145 - 151
  • [8] AGM-Style Belief Revision of Logic Programs under Answer Set Semantics
    Delgrande, James
    Peppas, Pavlos
    Woltran, Stefan
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), 2013, 8148 : 264 - 276
  • [9] Introducing plausibility measures in the process of revision of beliefs through extended logic programs
    Garcia, BB
    Lopes, GP
    ECAI 1998: 13TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1998, : 378 - 382
  • [10] An online ultrasonic flowmeter fault diagnosis method based on an extended belief rule base
    Li, Jinyuan
    Yang, Fan
    He, Wei
    Zhu, Hailong
    KSII TRANSACTIONS ON INTERNET AND INFORMATION SYSTEMS, 2025, 19 (01): : 123 - 148
12345