Qualitative Reasoning about Cardinal Directions Using Answer Set Programming

被引：0
|
作者：
Izmirlioglu, Yusuf [1 ]
Erdem, Esra [1 ]
机构：
[1] Sabanci Univ, Istanbul, Turkey
来源：
THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE | 2018年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We propose a novel method for representing and reasoning about an incomplete set of constraints about basic/disjunctive qualitative direction relations over simple/connected/ disconnected regions, using Answer Set Programming, and prove its correctness with respect to cardinal direction calculus. We extend this method further with default qualitative direction constraints, and discuss its usefulness with some sample scenarios.
引用
收藏
页码：1880 / 1887
页数：8
相关论文
共 50 条
  • [41] Applications of non-monotonic reasoning to automotive product configuration using answer set programming
    Eray Gençay
    Peter Schüller
    Esra Erdem
    [J]. Journal of Intelligent Manufacturing, 2019, 30 : 1407 - 1422
  • [42] Answer set programming for collaborative housekeeping robotics: representation, reasoning, and execution
    Esra Erdem
    Erdi Aker
    Volkan Patoglu
    [J]. Intelligent Service Robotics, 2012, 5 : 275 - 291
  • [43] Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
    Arias, Joaquin
    Carro, Manuel
    Chen, Zhuo
    Gupta, Gopal
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2022, 22 (01) : 51 - 80
  • [44] An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework
    Lehtonen, Tuomo
    Wallner, Johannes P.
    Jarvisalo, Matti
    [J]. KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2020, : 636 - 646
  • [45] Value-Based Reasoning Scenario in Employee Hiring and Onboarding Using Answer Set Programming
    Fernandez-Martinez, Carmen
    Fernandez, Alberto
    [J]. VALUE ENGINEERING IN ARTIFICIAL INTELLIGENCE, VALE 2023, 2024, 14520 : 251 - 260
  • [46] Geometric reasoning on the euclidean traveling salesperson problem in answer set programming
    Bertagnon, Alessandro
    Gavanelli, Marco
    [J]. INTELLIGENZA ARTIFICIALE, 2024, 18 (01) : 139 - 152
  • [47] Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning
    Schaub, Torsten
    [J]. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013, 2013, 8124 : 3 - 4
  • [48] Answer set programming for collaborative housekeeping robotics: representation, reasoning, and execution
    Erdem, Esra
    Aker, Erdi
    Patoglu, Volkan
    [J]. INTELLIGENT SERVICE ROBOTICS, 2012, 5 (04) : 275 - 291
  • [49] Answer Set Programming for Modeling and Reasoning on Modular and Reconfigurable Transportation Systems
    Terkaj, Walter
    Urgo, Marcello
    Andolfatto, Daniela
    [J]. PROCEEDINGS OF THE 2017 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2017, : 587 - 596
  • [50] Using criticalities as a heuristic for answer set programming
    Sabuncu, O
    Alpaslan, FN
    Akman, V
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2004, 2923 : 234 - 246
12345