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. This paper is under consideration for acceptance in TPLP.

Achievements in Answer Set Programming

Origins of Answer-Set Programming - Some Background And Two Personal Accounts

A Translational Approach to Constraint Answer Set Solving

Justifications for Goal-Directed Constraint Answer Set Programming

Answering the "why" in Answer Set Programming - A Survey of Explanation Approaches

An application of answer set programming to the field of second language acquisition

Formalization of Psychological Knowledge in Answer Set Programming and its Application

Exact ASP Counting with Compact Encodings

Typed Answer Set Programming and Inverse Lambda Algorithms

LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories

On Cascade Products of Answer Set Programs

Measurement of Superluminal optical tunneling times in double-barrier photonic bandgaps

Aggregate Semantics for Propositional Answer Set Programs

aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming

Solving Advanced Argumentation Problems with Answer Set Programming

IASCAR: Incremental Answer Set Counting by Anytime Refinement

Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation

On Minimal Corrections in ASP

A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming

ASPEN: ASP-Based System for Collective Entity Resolution

Towards Automatic Composition of ASP Programs from Natural Language Specifications