Sunday, September 13th, 2015

09:00-10:50 LQMR
09:00-09:50 *Invited talk* Vague region-based geometry - Thomas Bittner (State University of New York at Buffalo)
09:50-10:20 Spatial Rules for Capturing Qualitatively Equivalent Configurations in Sketch maps - Sahib Jan, Carl Schultz, and Angela Schwering (University of Muenster)
10:20-10:50 Encoding Relative Orientation and Mereotopology Relations with Geometric Constraints in CLP(QS) - Carl Schultz (University of Muenster) and Mehul Bhatt (University of Bremen)

 

11:10-13:00 LQMR
11:10-12:00 *Invited talk* Topological Logics of Euclidean Spaces - Ian Pratt-Hartmann (The University of Manchester)
12:00-12:30 Parthood and Convexity as the Basic Notions of a Theory of Space - Klaus Robering (University of Southern Denmark)
12:30-13:00 A Framework for Constructing Correct Qualitative Representations of Geometries using Mereology over Bintrees - Leif Harald Karlsen and Martin Giese (University of Oslo)

 

14:00-15:50 LQMR
14:00-14:50 *Invited talk* Three Frontiers for Qualitative Reasoning - Kenneth Forbus (Northwestern University)
14:50-15:20 On (in)Validity of Aristotle's Syllogisms Relying on Rough Sets - Tamás Kádek and Tamás Mihálydeák (University of Debrecen)
15:20-15:50 Using Mathematical Modeling as an Example of Qualitative Reasoning in Metaphysics. A Note on a Defense of the Theory of Ideas - Bartłomiej Skowron (International Center for Formal Ontology)

 

16:10-17:30 LQMR
16:10-17:00 *Invited talk* Learning qualitative models - Ivan Bratko, University of Ljubljana
17:00-17:30 A Qualitative Model for Reasoning about 3D Objects using Depth and Different Perspectives - Zoe Falomir (University of Bremen)

 

Thomas Bittner Vague region-based geometry

A vague mereo-geometry is presented which combines a crisp region-based geometry with a theory of vague size predicates in a supervaluation-based formal framework. In the object language of the axiomatic theory, logical and semantic properties of vague distance predicates that are context- and domain-independent are formalized. Context and domain-dependent aspects are addressed in the meta-language of the theory by incorporating context- and domain-specific restrictions on the canonical interpretations. This allows to relate the ontological and qualitative analysis in the object language to numeric values as they are commonly used in scientific discourses.

Ian Pratt-Hartmann Topological Logics of Euclidean Spaces

We consider the quantifier-free languages, Bc and Bc0, obtained by augmenting the signature of Boolean algebras with a unary predicate representing, respectively, the property of being connected, and the property of having a connected interior. These languages are interpreted over the regular closed sets of Euclidean space and, additionally, over the regular closed polyhedral sets of Euclidean space.  The resulting logics are examples of formalisms that have recently been proposed in the Artificial Intelligence literature under the rubric "Qualitative Spatial Reasoning".  I shall explain, in broad outline, why the satisfiability problem for Bc is undecidable over the regular closed polyhedra in all dimensions greater than 1, and why the satisfiability problem for both languages is undecidable over both the regular closed sets and the regular closed polyhedra (polygons) in the Euclidean plane. I shall present a contrasting result, however: the satisfiability problem for Bc0 is NP-complete over the regular closed sets in all dimensions greater than 2, while the corresponding problem for the regular closed polyhedra is ExpTime-complete.  These facts indicate that Qualitative Spatial Reasoning is harder than its early proponents conceivably envisaged.

Kenneth Forbus Three Frontiers for Qualitative Reasoning

Qualitative reasoning is often viewed as a form of simulation.  This talk will argue that there are many other ways of using qualitative reasoning that are also important for understanding human cognition and for building cognitive systems that more closely approach human performance.  Three frontiers will be described: (1) Using qualitative representations for high-level visual processing.  This will be illustrated by CogSketch, which automatically constructs hierarchical qualitative representations from digital ink and uses analogical reasoning to achieve human-level performance on several visual reasoning tasks. (2) Using qualitative representations in natural language semantics. This will be illustrated by being able to provide advice to Companion cognitive systems in natural language.  (3) Using qualitative representations to represent goals and strategic knowledge.  This will be illustrated by strategies that improve a Companion’s game-playing performance.

Ivan Bratko Learning qualitative models

System models, either numerical or qualitative, are usually put together manually. This is however a demanding task, so it is desirable if it can be automated. In this talk, we consider approaches to building qualitative models automatically by machine learning from observed behaviours of the modelled system. Sometimes on-line learning is in fact not only desirable but necessary. For example, an autonomous robot’s environment may not be known before the robot executes its tasks. That is, the environment may not be known at the time the robot is programmed. A robot may have to learn a model of its environment, as well as a model of the robot itself to be able to predict the results of the robot’s actions and thus plan its tasks.

Some approaches to learning qualitative models from observed data will be discussed. Induced models can be expressed in various modelling formalisms, including: QSIM-type constraints, or logic, or if-then rules or decision trees with qualitative monotonicity constraints in the leaves. Such models can be used for qualitative simulation or for planning a robot’s task. The learning of qualitative models may also help a numerical model to produce simulations that are qualitatively faithful to the behaviours observed in the modelled system. We review representative qualitative learning systems and basic ideas behind these approaches.

Examples of applications of learning qualitative models with these approaches will also be presented, including:  the modelling of ecological processes in the Lagoon of Venice and Lake Glumsoe, a mobile robot learning to manipulate objects by pushing, a wheel-tracked robot learning to climb obstacles, the reconstruction of a human operator’s control skill in controlling a crane or flying an aircraft, and reverse engineering of a system by observing its behaviour as a black box.

 

Important dates

  • Call for event proposals: October 31, 2014
  • Paper submission: Friday May 08 2015 23:59:59 pm HST
  • Position paper submission: June 01, 2015
  • Acceptance decision: June 15, 2015
  • Final version of paper submission: July 01, 2015
  • Final deadline for discounted fee: July 31, 2015
  • Conference dates: September 13-16, 2015

FedCSIS is organized by :

 

Under auspices of

Prof. Lena Kolarska-Bobińska

Minister of Science
and Higher Education

Prof. Michał Kleiber

President of the Polish Academy of Sciences

Andrzej Halicki

Minister of Administration
and Digitization

Witold Stępień

Marszałek Województwa
Łódzkiego

Hanna Zdanowska

Mayor of the City of Lodz

Professor Stanisław Bielecki

His Magnificence Rector of Łódź University of Technology