thinkspatial_logo

On Tuesday, April 21, 2020, the UCSB forum on spatial thinking presents

Qualitative Spatial Reasoning Using Answer Set Programming

 

George Baryannis

Department of Computer Science
University of Huddersfield, UK

11:30 a.m. Tuesday, April 21, 2020 | Zoom meeting room:

https://ucsb.zoom.us/j/96140245863

Abstract:

Spatial (and temporal) information is often expressed using qualitative terms such as natural language expressions instead of coordinates; reasoning over such terms has several practical applications, such as naval traffic monitoring, warehouse process optimization, and robot manipulation. Well over 40 qualitative calculi have been proposed so far, including Allen’s interval algebra and the Region Connection Calculus. Reasoning with such calculi has been the focus of extensive research within the wider AI community, with a number of specialized reasoning tools developed. One barrier to the wide 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.

I will discuss research to overcome this barrier (conducted at the University of Huddersfield, UK, and the University of Calabria, Italy), focusing on using Answer Set Programming (ASP) as a unified formalism to tackle problems that require qualitative reasoning in addition to non-qualitative reasoning. ASP is a logic-based knowledge representation and reasoning approach that includes a rich but simple modeling language and is capable of handling search problems of high complexity. Research is motivated by two case studies: reasoning about the relations among large numbers of trajectories and determining optimal coverage of telecommunication antennas.

Bio:
George Baryannis is Senior Lecturer (Associate Professor) at the Department of Computer Science of the University of Huddersfield, UK. He received his Dipl.Eng. in Electronic and Computer Engineering from the Technical University of Crete, Greece, and his M.Sc. and Ph.D. in Computer Science from the University of Crete, Greece. His teaching and research interests lie within Artificial Intelligence, mainly focusing on knowledge representation and reasoning, machine learning, and interpretability, as well as applications in supply chain risk management, smart homes, and service-oriented computing.

Material:

ThinkSpatial-QSRASP

 

The objectives of the ThinkSpatial presentations are to exchange ideas about spatial perspectives in research and teaching, to broaden communication and cooperation across disciplines among faculty and graduate students, and to encourage the sharing of tools and concepts.

Please contact Emmanuel Papadakis (epd@ucsb.edu) to review and schedule possible discussion topics or presentations that share your disciplinary interest in spatial thinking.

Follow spatial@ucsb on Twitter | Google+ | Google Calendar

ThinkSpatial: George Baryannis