78,329 research outputs found
Answer Set Programming Modulo `Space-Time'
We present ASP Modulo `Space-Time', a declarative representational and
computational framework to perform commonsense reasoning about regions with
both spatial and temporal components. Supported are capabilities for mixed
qualitative-quantitative reasoning, consistency checking, and inferring
compositions of space-time relations; these capabilities combine and synergise
for applications in a range of AI application areas where the processing and
interpretation of spatio-temporal data is crucial. The framework and resulting
system is the only general KR-based method for declaratively reasoning about
the dynamics of `space-time' regions as first-class objects. We present an
empirical evaluation (with scalability and robustness results), and include
diverse application examples involving interpretation and control tasks
Qualitative constraint satisfaction problems : algorithms, computational complexity, and extended framework
University of Technology, Sydney. Faculty of Engineering and Information Technology.Qualitative Spatial and Temporal Reasoning (QSTR) is a subfield of artificial intelligence that represents and reasons with spatial/temporal knowledge in a qualitative way. In the past three decades, researchers have proposed dozens of relational models (known as qualitative calculi), including, among others, Point Algebra (PA) and Interval Algebra (IA) for temporal knowledge, Cardinal Relation Algebra (CRA) and Cardinal Direction Calculus (CDC) for directional spatial knowledge, and the Region Connection Calculus RCC-5/RCC-8 for topological spatial knowledge. Relations are used in qualitative calculi for representing spatial/temporal information (e.g. Germany is to the east of France) and constraints (e.g. the to-be-established landfill should be disjoint from any lake).
The reasoning tasks in QSTR are formalised via the qualitative constraint satisfaction problem (QCSP). As the central reasoning problem in QCSP, the consistency problem (which decides the consistency of a number of constraints in certain qualitative calculi) has been extensively investigated in the literature. For PA, IA, CRA, and RCC-5/RCC-8, the consistency problem can be solved by composition-based reasoning. For CDC, however, composition-based reasoning is incomplete, and the consistency problem in CDC remains challenging.
Previous works in QCSP assume that qualitative constraints only concern completely unknown entities. Therefore, constraints about landmarks (i.e., fixed entities) cannot be properly expressed. This has significantly restricted the usefulness of QSTR in real-world applications.
The main contributions of this thesis are as follows.
(i) The composition-based method is one of the most important reasoning methods in QSTR. This thesis designs a semi-automatic algorithm for generating composition tables for general qualitative calculi. This provides a partial answer to the challenge proposed by Cohn in 1995.
(ii) Schockaert et al. (2008) extend the RCC models interpreted in Euclidean topologies to the fuzzy context and show that composition-based reasoning is sufficient to solve fuzzy QCSP, where 31 composition rules are used. This thesis first shows that only six of the 31 composition rules are necessary, and then introduces a method which consistently fuzzifies any classical RCC models. This thesis also proposes a polynomial algorithm for realizing solutions of consistent fuzzy RCC constraints.
(iii) Composition-based reasoning is incomplete for solving QCSP over the CDC. This thesis provides a cubic algorithm which for the first time solves the consistency problem of complete basic CDC networks, and further shows that the problem becomes NP-complete if the networks are allowed to be incomplete. This draws a sharp boundary between the tractable and intractable subclasses of the CDC.
(iv) This thesis proposes a more general and more expressive QCSP framework, in which a variable is allowed to be a landmark (i.e., a fixed object), or to be chosen among several landmarks. The computational complexity of the consistency problems in the new framework is then investigated, covering all qualitative calculi mentioned above. For basic networks, the consistency problem remains tractable for Point Algebra, but becomes NP-complete for all the remaining qualitative calculi. A special case in which a variable is either a landmark or is totally unknown has also been studied.
(v) A qualitative network is minimal if it cannot be refined without changing its solution set. Unlike the assumptions in the literature, this thesis shows that computing a solution of minimal networks is NP-complete for (partially ordered) PA, CRA, IA, and RCC-5/RCC-8. As a by-product, it has also been proved that determining the minimality of networks in these qualitative calculi is NP-complete
Geospatial Narratives and their Spatio-Temporal Dynamics: Commonsense Reasoning for High-level Analyses in Geographic Information Systems
The modelling, analysis, and visualisation of dynamic geospatial phenomena
has been identified as a key developmental challenge for next-generation
Geographic Information Systems (GIS). In this context, the envisaged
paradigmatic extensions to contemporary foundational GIS technology raises
fundamental questions concerning the ontological, formal representational, and
(analytical) computational methods that would underlie their spatial
information theoretic underpinnings.
We present the conceptual overview and architecture for the development of
high-level semantic and qualitative analytical capabilities for dynamic
geospatial domains. Building on formal methods in the areas of commonsense
reasoning, qualitative reasoning, spatial and temporal representation and
reasoning, reasoning about actions and change, and computational models of
narrative, we identify concrete theoretical and practical challenges that
accrue in the context of formal reasoning about `space, events, actions, and
change'. With this as a basis, and within the backdrop of an illustrated
scenario involving the spatio-temporal dynamics of urban narratives, we address
specific problems and solutions techniques chiefly involving `qualitative
abstraction', `data integration and spatial consistency', and `practical
geospatial abduction'. From a broad topical viewpoint, we propose that
next-generation dynamic GIS technology demands a transdisciplinary scientific
perspective that brings together Geography, Artificial Intelligence, and
Cognitive Science.
Keywords: artificial intelligence; cognitive systems; human-computer
interaction; geographic information systems; spatio-temporal dynamics;
computational models of narrative; geospatial analysis; geospatial modelling;
ontology; qualitative spatial modelling and reasoning; spatial assistance
systemsComment: ISPRS International Journal of Geo-Information (ISSN 2220-9964);
Special Issue on: Geospatial Monitoring and Modelling of Environmental
Change}. IJGI. Editor: Duccio Rocchini. (pre-print of article in press
Temporal Data Modeling and Reasoning for Information Systems
Temporal knowledge representation and reasoning is a major research field in Artificial
Intelligence, in Database Systems, and in Web and Semantic Web research. The ability to
model and process time and calendar data is essential for many applications like appointment
scheduling, planning, Web services, temporal and active database systems, adaptive
Web applications, and mobile computing applications. This article aims at three complementary
goals. First, to provide with a general background in temporal data modeling
and reasoning approaches. Second, to serve as an orientation guide for further specific
reading. Third, to point to new application fields and research perspectives on temporal
knowledge representation and reasoning in the Web and Semantic Web
- ā¦