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 条
  • [1] Qualitative Reasoning about 2D Cardinal Directions using Answer Set Programming
    Izmirlioglu, Yusuf
    Erdem, Esra
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2023, 77 : 1371 - 1453
  • [2] Qualitative Reasoning about 2D Cardinal Directions using Answer Set Programming
    Izmirlioglu, Yusuf
    Erdem, Esra
    [J]. Journal of Artificial Intelligence Research, 2023, 77 : 1371 - 1453
  • [3] Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming
    Izmirlioglu, Yusuf
    Erdem, Esra
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (06) : 942 - 957
  • [4] Reasoning about cardinal directions using grids as qualitative geographic coordinates
    Kulik, L
    Klippel, A
    [J]. SPATIAL INFORMATION THEORY: COGNITIVE AND COMPUTATIONAL FOUNDATIONS OF GEOGRAPHIC INFORMATION SCIENCE, 1999, 1661 : 205 - 220
  • [5] Reasoning about Truthfulness of Agents Using Answer Set Programming
    Tran Cao Son
    Pontelli, Enrico
    Gelfond, Michael
    Balduccini, Marcello
    [J]. FIFTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2016, : 605 - 608
  • [6] Reasoning about Qualitative Direction and Distance between Extended Objects using Answer Set Programming
    Izmirlioglu, Yusuf
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (306): : 371 - 378
  • [7] Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions
    Baral, Chitta
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 69 - 70
  • [8] A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
    Baryannis, George
    Tachmazidis, Ilias
    Batsakis, Sotiris
    Antoniou, Grigoris
    Alviano, Mario
    Sellis, Timos
    Tsai, Pei-Wei
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2018, 18 (3-4) : 355 - 371
  • [9] Qualitative Spatial and Temporal Reasoning with Answer Set Programming
    Li, Jason Jingshi
    [J]. 2012 IEEE 24TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2012), VOL 1, 2012, : 603 - 609
  • [10] Reasoning about Security Policies of Services using Answer Set Programming
    Asuncion, Vernon
    Khan, Khaled M.
    Erradi, Abdelkarim
    Alhazbi, Saleh
    [J]. 2014 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (SCC 2014), 2014, : 857 - 858
12345