Making use of contradictory behavior information in qualitative reasoning

被引:0
|
作者
Department of Computer Engineering, Booaziçi University, Bebek 80815, Istanbul, Turkey [1 ]
机构
来源
关键词
Computer simulation - Constraint theory - Mathematical models;
D O I
暂无
中图分类号
学科分类号
摘要
We present a technique for automatically determining certain pairs of qualitative simulation predictions to be mutually contradictory. This leads the simulator to produce more informative outputs, which results in improved performance in reasoning tasks like diagnosis, model revision, and deletion of spurious `timelines' containing the input state.
引用
收藏
相关论文
共 50 条
  • [1] Making use of contradictory behavior information in qualitative reasoning
    Say, ACC
    [J]. IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 1999, 21 (08) : 781 - 786
  • [2] BoardgameQA: A Dataset for Natural Language Reasoning with Contradictory Information
    Kazemi, Mehran
    Yuan, Quan
    Bhatia, Deepti
    Kim, Najoung
    Xu, Xin
    Imbrasaite, Vaiva
    Ramachandran, Deepak
    [J]. ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 36 (NEURIPS 2023), 2023,
  • [3] A qualitative reasoning with nuanced information
    El-Sayed, M
    Pacholczyk, D
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 283 - 295
  • [4] Reasoning with contradictory information using quasi-classical logic
    Hunter, A
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2000, 10 (05) : 677 - 703
  • [5] Towards the practical use of qualitative spatial reasoning in geographic information retrieval
    Abdelmoty, Alia I.
    Smart, Philip
    El-Geresy, Baher A.
    [J]. 2006 3RD INTERNATIONAL IEEE CONFERENCE INTELLIGENT SYSTEMS, VOLS 1 AND 2, 2006, : 67 - 72
  • [6] Automated reasoning with merged contradictory information whose reliability depends on topics
    Cholvy, L
    [J]. SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING AND UNCERTAINTY, 1995, 946 : 125 - 132
  • [7] REASONING ABOUT QUALITATIVE TEMPORAL INFORMATION
    VANBEEK, P
    [J]. ARTIFICIAL INTELLIGENCE, 1992, 58 (1-3) : 297 - 326
  • [8] Qualitative spatial reasoning with topological information - Introduction
    Renz, J
    [J]. QUALITATIVE SPATIAL REASONING WITH TOPOLOGICAL INFORMATION, 2002, 2293 : 1 - 11
  • [9] Qualitative reasoning about consistency in geographic information
    Duckham, M
    Lingham, J
    Mason, K
    Worboys, M
    [J]. INFORMATION SCIENCES, 2006, 176 (06) : 601 - 627
  • [10] A qualitative model for temporal reasoning with incomplete information
    Geffner, H
    [J]. PROCEEDINGS OF THE THIRTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE, VOLS 1 AND 2, 1996, : 1176 - 1181