Logo PTI
Polish Information Processing Society
Logo FedCSIS

Federated Conference on Computer Science and Information Systems

September 13–16, . Łódź, Poland

Annals of Computer Science and Information Systems, Volume 7

ISSN 2300-5963

LQMR 2015 Workshop

ISBN 978-83-60810-78-1 (Web),
978-83-60810-79-8 (USB)

DOI: http://dx.doi.org/10.15439/978-83-60810-78-1

Complete LQMR Workshop (PDF, 2.903 M)

FedCSIS Proceedings

FedCSIS position papers

Preface Preface (hide)

Welcome to the LQMR Workshop on Logics for Qualitative Modelling and Reasoning. It is our great pleasure and honour to hold LQMR Workshop collocated with Federated Conference on Computer Science and Information Systems (FedCSIS) as a part of the Advances in Artificial Intelligence and Applications (AAIA) thematic area, taking place in Łódź, Poland, on September 13, 2015. On behalf of the LQMR Workshop Organizing Committee we cordially welcome all participants.

The idea of organizing this workshop originated from the project Logics for Qualitative Reasoning funded by the National Science Centre (DEC-2011/02/A/HS1/00395). The project is concerned with the logical foundations of qualitative representation and reasoning applied in artificial intelligence. Qualitative Reasoning (QR) has emerged as a subfield of Artificial Intelligence to deal with representation and reasoning about continuous aspects of entities and systems in a symbolic, but human-like manner. The main issue in the QR approach is to develop an adequate tool for modeling situations in which information is not sufficiently precise or cannot be described by numerical values.

The project aims to develop logical theories and tools for qualitative representation and reasoning, with applications to many domains for which qualitative inference methods are significant.

The project is also aimed at analysis of model-theoretic properties of qualitative logics, such as definability and expressive power, finite model property, and decidability, among others. The third research objective is the construction and implementation of deduction systems for the logics developed in the project. We focus on decidable logics and their automated decision procedures in the style of relational dual tableaux.

The LQMR workshop categorically addresses the theory and application of logical formalisations of qualitative reasoning within engineering, technical, and computational cognitive systems. The workshops will build bridges between different research groups interested in qualitative modelling and reasoning. In particular, perspectives from logic and computer science employing formal methods for QR, formal methods for spatial reasoning, and researchers dealing with fundamental philosophical aspects of QR are of focus. Additionally, problems of more applied nature in the filed of engineering and artificial intelligence are also emphasised.

The contributed papers focus on three main areas: qualitative spatial reasoning, its possible applications, and applications of qualitative methods to philosophical problems.

In addition to the contributed papers, four invited keynote talks were delivered: by prof. Thomas Bittner from State University of New York at Buffalo, who spoke on vague region-based geometry, by dr Ian Pratt-Hartmann from The University of Manchester, who devoted his presentation to topological logics of Euclidean spaces, by prof. Kenneth Forbus, who spoke on three frontiers for qualitative reasoning, and by prof. Ivan Bratko, whose lecture was concerned with the problem of learning qualitative models.

These Proceedings will augment state of the art in Qualitative Reasoning with several excellent references.

We thank all authors and participants for their contributions.

E2LP Workshop Co-Chairs:

Tomasz Lechowski, Institute of Philosophy, University of Warsaw, Poland

Przemysław Wałęga, Institute of Philosophy, University of Warsaw, Poland

Michał Zawidzki, Department of Logic, University of Łódź / Institute of Philosophy, University of Warsaw, Poland

Hide Preface

1st Workshop on Logics for Qualitative Modelling and Reasoning

TeXnical Editor:
Phone/fax: +48-89-5246089