Results 1 - 10
of
13
D.C.: From video to RCC8: exploiting a distance based semantics to stabilise the interpretation of mereotopological relations
- Proc. COSIT, In Press (2011
"... Abstract. Mereotopologies have traditionally been defined in terms of the intersection of point sets representing the regions in question. Whilst these semantic schemes work well for purely topological aspects, they do not give any semantic insight into the degree to which the different mereotopolog ..."
Abstract
-
Cited by 14 (4 self)
- Add to MetaCart
(Show Context)
Abstract. Mereotopologies have traditionally been defined in terms of the intersection of point sets representing the regions in question. Whilst these semantic schemes work well for purely topological aspects, they do not give any semantic insight into the degree to which the different mereotopological relations hold. This paper explores this idea of a distance based interpretation for mereotopology. By introducing a distance measure between x and y, and for various Boolean combinations of x and y, we show that all the RCC8 relations can be distinguished. We then introduce a distance measure which combines these individual measures which we show reflect different paths through the RCC8 conceptual neighbourhood – i.e. the measure decreases/increases monotonically given certain monotonic transitions (such as one region expanding). There are several possible applications of this revised semantics; in the second half of the paper we explore one of these in some depth – the problem of abstracting mereotopological relations from noisy video data, such that the sequences of qualitative relations between pairs of objects do not suffer from “jitter”. We show how a Hidden Markov Model can exploit this distance based semantics to yield improved interpretation of video data at a qualitative level. 1
Event model learning from complex videos using ILP
- In Proceedings of the European Conference on Artificial Intelligence (ECAI
, 2010
"... Abstract. Learning event models from videos has applications rang-ing from abnormal event detection to content based video retrieval. Relational learning techniques such as Inductive Logic Program-ming (ILP) hold promise for building such models, but have not been successfully applied to the very la ..."
Abstract
-
Cited by 8 (3 self)
- Add to MetaCart
(Show Context)
Abstract. Learning event models from videos has applications rang-ing from abnormal event detection to content based video retrieval. Relational learning techniques such as Inductive Logic Program-ming (ILP) hold promise for building such models, but have not been successfully applied to the very large datasets which result from video data. In this paper we present a novel supervised learning frame-work to learn event models from large video datasets( ∼ 2.5 million frames) using ILP. Efficiency is achieved via the learning from inter-pretations setting and using a typing system. This allows learning to take place in a reasonable time frame with reduced false positives. The experimental results on video data from an airport apron where events such as Loading, Unloading, Jet-Bridge Parking etc are learned suggests that the techniques are suitable to real world scenarios. 1
Towards Spatial Reasoning in Fuzzy Description Logics
"... Abstract — Fuzzy Description Logics are logics which allow to deal with structured knowledge affected by vagueness. Although a relatively important amount of work has been carried out in the last years, fuzzy DLs are open to be extended with several features worked out in the fuzzy logic literature. ..."
Abstract
-
Cited by 6 (1 self)
- Add to MetaCart
(Show Context)
Abstract — Fuzzy Description Logics are logics which allow to deal with structured knowledge affected by vagueness. Although a relatively important amount of work has been carried out in the last years, fuzzy DLs are open to be extended with several features worked out in the fuzzy logic literature. In this work, we extend fuzzy DLs towards supporting fuzzy spatial reasoning and, thus, offer a framework for modeling spatial relations such as “region a is part of region b, which is connected to region c, a is close to c and b is right over c”. I.
Region-based Theories of Space: Mereotopology and Beyond (PhD Qualifying Exam Report, 2009)
"... The very nature of topology and its close relation to how humans perceive space and time make mereotopology an indispensable part of any comprehensive framework for qualitative spatial and temporal reasoning (QSTR). Within QSTR, it has by far the longest history, dating back to descriptions of pheno ..."
Abstract
-
Cited by 5 (2 self)
- Add to MetaCart
The very nature of topology and its close relation to how humans perceive space and time make mereotopology an indispensable part of any comprehensive framework for qualitative spatial and temporal reasoning (QSTR). Within QSTR, it has by far the longest history, dating back to descriptions of phenomenological processes in nature (Husserl, 1913; Whitehead, 1920, 1929) – what we call today ‘commonsensical ’ in Artificial Intelligence. There have been plenty of other motivations to
Towards a proof theory of Gödel modal logics
- Logical Methods in Computer Science
"... Vol. 7 (2:10) 2011, pp. 1–27 www.lmcs-online.org ..."
(Show Context)
Introduction: Uncertainty issues in spatial information
- In Studies in Fuzziness and Soft Computing; Jeansoulin, R., Papini, O., Prade, H., Schockaert, S., Eds
, 2010
"... Abstract. This introductory chapter serves two purposes. First, it provides a brief overview of research trends in different areas of information processing for the handling of uncertain spatial information. The discussion focuses on the diversity of spatial information, and the different challenge ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
(Show Context)
Abstract. This introductory chapter serves two purposes. First, it provides a brief overview of research trends in different areas of information processing for the handling of uncertain spatial information. The discussion focuses on the diversity of spatial information, and the different challenges that may arise. Second, an overview of the contents of this edited volume is presented. We also point out the novelty of the book, which goes beyond geographical information systems and considers different forms of quantitative and qualitative uncertainty. The Nature of Spatial Information Variety of Spatial Information The term spatial information refers to pieces of information that are associated with locations, which typically refer to points or regions in some two-or threedimensional space. Many applications deal with geographic information
FUZZ-IEEE Describing Images Via Linguistic Features and Hierarchical Segmentation
"... Abstract — In this paper we introduce a preliminary proposal for linguistic description of images. The approach is based on i) a hierarchical fuzzy segmentation of the image, ii) a collection of linguistic features describing each region, and iii) fuzzy spatial relations and locations. The procedure ..."
Abstract
- Add to MetaCart
(Show Context)
Abstract — In this paper we introduce a preliminary proposal for linguistic description of images. The approach is based on i) a hierarchical fuzzy segmentation of the image, ii) a collection of linguistic features describing each region, and iii) fuzzy spatial relations and locations. The procedure is independent from the way these elements have been obtained, and provides a description with the characteristics of a summary, i.e., a brief and accurate description of the whole image. As another characteristic of summaries, the method can be guided in the description by the user’s preferences and interest. Remarkably, we are able to provide a description containing sentences about disjoint regions appearing in different levels of detail. I.
Drawing Euler Diagrams from Region Connection Calculus Specifications with local search
"... Abstract. This paper describes a local search based approach and a software tool to approximate the problem of drawing Euler diagrams. Specifications are written using RCC-8-constraints and radius constra-ints. Euler diagrams are described as set of circles. 1 ..."
Abstract
- Add to MetaCart
(Show Context)
Abstract. This paper describes a local search based approach and a software tool to approximate the problem of drawing Euler diagrams. Specifications are written using RCC-8-constraints and radius constra-ints. Euler diagrams are described as set of circles. 1
Solving Satisfiability in Fuzzy Logics by Mixing CMA-ES
"... Satisfiability in propositional logic is well researched and many approaches to checking and solving exist. In infinite-valued or fuzzy logics, however, there have only recently been attempts at developing methods for solving satisfiabil-ity. In this paper, we propose new benchmark problems and anal ..."
Abstract
- Add to MetaCart
(Show Context)
Satisfiability in propositional logic is well researched and many approaches to checking and solving exist. In infinite-valued or fuzzy logics, however, there have only recently been attempts at developing methods for solving satisfiabil-ity. In this paper, we propose new benchmark problems and analyse the function landscape of different problem classes, focussing our analysis on plateaus. Based on this study, we develop Mixing CMA-ES (M-CMA-ES), an extension to CMA-ES that is well suited to solving problems with many large plateaus. We empirically show the relation between certain function landscape properties and M-CMA-ES per-formance.
A logic framework for reasoning with movement based on fuzzy
"... qualitative representationI ..."
(Show Context)