Towards Parallelisation of Qualitative Spatial and Temporal Reasoning

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

Researchers

Research units

  • University of Bamberg

Abstract

This summary paper is concerned with algorithmic aspects of qualitative reasoning (QR), in particular qualitative spatial and temporal reasoning (QSTR). Fundamental reasoning techniques in this area are constraint propagators and algorithms for deciding core reasoning problems such as the satisfiability of constraint networks. Developing new algorithms for solving these tasks that exploit parallel computing hardware such as multicore processors or GPUs can be expected to lead to improved reasoning performance. We are motivated to study parallelisation of qualitative reasoning algorithms in order to determine these improvements. In the presence of machine learning applications, which often come with special hardware that supports parallelisation, efficient QR implementations that exploit such hardware can have important applications, for example online verification of AI systems performed in real time.

Details

Original languageEnglish
Title of host publicationProceedings of QR2019
Subtitle of host publication32nd International Workshop on Qualitative Reasoning
Publication statusPublished - 2019
MoE publication typeD3 Professional conference proceedings
EventInternational Workshop on Qualitative Reasoning - Macao, China
Duration: 11 Aug 201911 Aug 2019
Conference number: 32
http://qr2019.sme.uni-bamberg.de/

Workshop

WorkshopInternational Workshop on Qualitative Reasoning
Abbreviated titleQR
CountryChina
CityMacao
Period11/08/201911/08/2019
Internet address

ID: 41318944