Activities per year
Abstract
Qualitative reasoning involves expressing and deriving knowledge based on qualitative terms such as natural language expressions, rather than strict mathematical quantities. Well over 40 qualitative calculi have been proposed so far, mostly in the spatial and temporal domains, with several practical applications such as naval traffic monitoring, warehouse process optimisation and robot manipulation. Even if a number of specialised qualitative reasoning tools have been developed so far, an important barrier to the wider adoption of these tools is that only qualitative reasoning is supported natively, when real-world problems most often require a combination of qualitative and other forms of reasoning. In this work, we propose to overcome this barrier by using ASP as a unifying formalism to tackle problems that require qualitative reasoning in addition to non-qualitative reasoning. A family of ASP encodings is proposed which can handle any qualitative
calculus with binary relations. These encodings are experimentally evaluated using a real-world dataset based on a case study of determining optimal coverage of telecommunication antennas, and compared with the performance of two well-known dedicated reasoners. Experimental results show that the proposed encodings outperform one of the two reasoners, but fall behind the other, an acceptable trade-off given the added benefits of handling any type of reasoning as well as the interpretability of logic programs.
calculus with binary relations. These encodings are experimentally evaluated using a real-world dataset based on a case study of determining optimal coverage of telecommunication antennas, and compared with the performance of two well-known dedicated reasoners. Experimental results show that the proposed encodings outperform one of the two reasoners, but fall behind the other, an acceptable trade-off given the added benefits of handling any type of reasoning as well as the interpretability of logic programs.
Original language | English |
---|---|
Pages (from-to) | 687-702 |
Number of pages | 16 |
Journal | Theory and Practice of Logic Programming |
Volume | 20 |
Issue number | 5 |
DOIs | |
Publication status | Published - 1 Sep 2020 |
Event | 36th International Conference on Logic Programming - Held virtually due to COVID-19, was due to take place in Rende, Italy Duration: 18 Sep 2020 → 25 Sep 2020 Conference number: 36 https://iclp2020.unical.it/ |
Fingerprint Dive into the research topics of 'A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming'. Together they form a unique fingerprint.
Profiles
-
George Bargiannis
- Department of Computer Science - Subject Area Leader (CIS)
- School of Computing and Engineering
- Centre for Planning, Autonomy and Representation of Knowledge - Member
- Centre of Artificial Intelligence for Mental Health - Member
Person: Academic
Activities
-
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
George Bargiannis (Speaker), Ilias Tachmazidis (Contributor to Paper or Presentation), Sotirios Batsakis (Contributor to Paper or Presentation), Grigoris Antoniou (Contributor to Paper or Presentation), Mario Alviano (Contributor to Paper or Presentation) & Emmanuel Papadakis (Contributor to Paper or Presentation)
20 Sep 2020Activity: Talk or presentation types › Oral presentation
-
University of Calabria
George Bargiannis (Visiting researcher)
4 Jun 2019 → 3 Jul 2019Activity: Visiting an external institution types › Visiting an external academic institution