Federated Conference on Computer Science and Information Systems
September 13–16, 2015. Łódź, Poland
Annals of Computer Science and Information Systems, Volume 7
LQMR 2015 Workshop
ISBN 978-83-60810-78-1 (Web),
Search: Show all articles
Complete LQMR Workshop (PDF, 2.903 M)
FedCSIS position papers
Search results for
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
10th International Symposium Advances in Artificial Intelligence and Applications
1st Workshop on Logics for Qualitative Modelling and Reasoning
A Qualitative Model for Reasoning about 3D Objects using Depth and Different Perspectives
370 Zoe Falomir, pages 3 – 11. Show abstract
Spatial Rules for Capturing Qualitatively Equivalent Configurations in Sketch maps
372 Sahib Jan, Carl Schultz, Angela Schwering, Malumbo Chipofya, pages 13 – 20. Show abstract
A Framework for Constructing Correct Qualitative Representations of Geometries using Mereology over Bintrees
183 Leif Harald Karlsen, Martin Giese, pages 21 – 33. Show abstract
On (in)Validity of Aristotle's Syllogisms Relying on Rough Sets
326 Tamás Kádek, Tamás Mihálydeák, pages 35 – 40. Show abstract
Parthood and Convexity as the Basic Notions of a Theory of Space
70 Klaus Robering, pages 41 – 54. Show abstract
Encoding Relative Orientation and Mereotopology Relations with Geometric Constraints in CLP(QS)
371 Carl Schultz, Mehul Bhatt, pages 55 – 63. Show abstract
Using Mathematical Modeling as an Example of Qualitative Reasoning in Metaphysics. A Note on a Defense of the Theory of Ideas
397 Bartłomiej Skowron, pages 65 – 68. Show abstract