Qualitative Spatial and Temporal Reasoning Based on And/Or Linear Programming
Author : Arne Kreutzmann
Publisher :
Page : 179 pages
File Size : 14,21 MB
Release : 2014
Category :
ISBN :
Author : Arne Kreutzmann
Publisher :
Page : 179 pages
File Size : 14,21 MB
Release : 2014
Category :
ISBN :
Author : Gérard Ligozat
Publisher : John Wiley & Sons
Page : 417 pages
File Size : 29,93 MB
Release : 2013-05-21
Category : Computers
ISBN : 1118601564
Starting with an updated description of Allen's calculus, the book proceeds with a description of the main qualitative calculi which have been developed over the last two decades. It describes the connection of complexity issues to geometric properties. Models of the formalisms are described using the algebraic notion of weak representations of the associated algebras. The book also includes a presentation of fuzzy extensions of qualitative calculi, and a description of the study of complexity in terms of clones of operations.
Author : O. Stock
Publisher : Springer Science & Business Media
Page : 392 pages
File Size : 32,4 MB
Release : 2007-07-27
Category : Language Arts & Disciplines
ISBN : 0585283222
Qualitative reasoning about space and time - a reasoning at the human level - promises to become a fundamental aspect of future systems that will accompany us in daily activity. The aim of Spatial and Temporal Reasoning is to give a picture of current research in this area focusing on both representational and computational issues. The picture emphasizes some major lines of development in this multifaceted, constantly growing area. The material in the book also shows some common ground and a novel combination of spatial and temporal aspects of qualitative reasoning. Part I presents the overall scene. The chapter by Laure Vieu is on the state of the art in spatial representation and reasoning, and that by Alfonso Gerevini gives a similar survey on research in temporal reasoning. The specific contributions to these areas are then grouped in the two main parts. In Part II, Roberto Casati and Achille Varzi examine the ontological status of spatial entities; Anthony Cohn, Brandon Bennett, John Gooday, and Nicholas Gotts present a detailed theory of reasoning with qualitative relations about regions; Andrew Frank discusses the spatial needs of geographical information systems; and Annette Herskovits focuses on the linguistic expression of spatial relations. In Part III, James Allen and George Ferguson describe an interval temporal logic for the representation of actions and events; Drew McDermott presents an efficient way of predicting the outcome of plan execution; and Erik Sandewall introduces a semantics based on transitions for assessing theories of action and change. In Part IV, Antony Galton's chapter stands clearly between the two areas of space and time and outlines the main coordinates of an integrated approach.
Author : M. Teresa Escrig
Publisher : IOS Press
Page : 236 pages
File Size : 44,70 MB
Release : 1998
Category : Computers
ISBN : 9789051994124
With the aim of automatically reasoning with spatial aspects in a cognitive way, several qualitative models have been developed recently in the Qualitative Spatial Reasoning field. However, there is no model to reason with several spatial aspects in a uniform way. Moreover, most of these models simplify spatial objects to points. In this book we present a novel approach for integrating the qualitative concepts of orientation, distance, and cardinal directions, using points as well as extended objects as primitive of reasoning, based on Constraint Logic Programming. The resulting model has been applied to build a qualitative Navigation Simulator on the structured environment of the city of Castellon.
Author : Daniel de Leng
Publisher : Linköping University Electronic Press
Page : 153 pages
File Size : 44,76 MB
Release : 2017-09-08
Category :
ISBN : 9176854760
A lot of today's data is generated incrementally over time by a large variety of producers. This data ranges from quantitative sensor observations produced by robot systems to complex unstructured human-generated texts on social media. With data being so abundant, making sense of these streams of data through reasoning is challenging. Reasoning over streams is particularly relevant for autonomous robotic systems that operate in a physical environment. They commonly observe this environment through incremental observations, gradually refining information about their surroundings. This makes robust management of streaming data and its refinement an important problem. Many contemporary approaches to stream reasoning focus on the issue of querying data streams in order to generate higher-level information by relying on well-known database approaches. Other approaches apply logic-based reasoning techniques, which rarely consider the provenance of their symbolic interpretations. In this thesis, we integrate techniques for logic-based spatio-temporal stream reasoning with the adaptive generation of the state streams needed to do the reasoning over. This combination deals with both the challenge of reasoning over streaming data and the problem of robustly managing streaming data and its refinement. The main contributions of this thesis are (1) a logic-based spatio-temporal reasoning technique that combines temporal reasoning with qualitative spatial reasoning; (2) an adaptive reconfiguration procedure for generating and maintaining a data stream required to perform spatio-temporal stream reasoning over; and (3) integration of these two techniques into a stream reasoning framework. The proposed spatio-temporal stream reasoning technique is able to reason with intertemporal spatial relations by leveraging landmarks. Adaptive state stream generation allows the framework to adapt in situations in which the set of available streaming resources changes. Management of streaming resources is formalised in the DyKnow model, which introduces a configuration life-cycle to adaptively generate state streams. The DyKnow-ROS stream reasoning framework is a concrete realisation of this model that extends the Robot Operating System (ROS). DyKnow-ROS has been deployed on the SoftBank Robotics NAO platform to demonstrate the system's capabilities in the context of a case study on run-time adaptive reconfiguration. The results show that the proposed system – by combining reasoning over and reasoning about streams – can robustly perform spatio-temporal stream reasoning, even when the availability of streaming resources changes.
Author : Hazarika, Shyamanta M.
Publisher : IGI Global
Page : 460 pages
File Size : 22,17 MB
Release : 2012-05-31
Category : Computers
ISBN : 1616928700
Space and time are inextricably linked. Reasoning about space often involves reasoning about change in spatial configurations. Qualitative spatial information theory encompasses spatial as well as temporal representation and reasoning. Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions is a contribution to the emerging discipline of qualitative spatial information theory within artificial intelligence. This collection of research covers both theory and application-centric research and provides a comprehensive perspective on the emerging area of qualitative spatio-temporal representation and reasoning. This revolutionary new field is increasingly becoming a core issue within mobile computing, GIS/spatial information systems, databases, computer vision as well as knowledge discovery and data mining.
Author : T. Schaub
Publisher : IOS Press
Page : 1264 pages
File Size : 40,65 MB
Release : 2014-08
Category : Computers
ISBN : 1614994196
The role of artificial intelligence (AI) applications in fields as diverse as medicine, economics, linguistics, logical analysis and industry continues to grow in scope and importance. AI has become integral to the effective functioning of much of the technical infrastructure we all now take for granted as part of our daily lives. This book presents the papers from the 21st biennial European Conference on Artificial Intelligence, ECAI 2014, held in Prague, Czech Republic, in August 2014. The ECAI conference remains Europe's principal opportunity for researchers and practitioners of Artificial Intelligence to gather and to discuss the latest trends and challenges in all subfields of AI, as well as to demonstrate innovative applications and uses of advanced AI technology. Included here are the 158 long papers and 94 short papers selected for presentation at the conference. Many of the papers cover the fields of knowledge representation, reasoning and logic as well as agent-based and multi-agent systems, machine learning, and data mining. The proceedings of PAIS 2014 and the PAIS System Demonstrations are also included in this volume, which will be of interest to all those wishing to keep abreast of the latest developments in the field of AI.
Author : Kathleen Stewart Hornsby
Publisher : Springer
Page : 517 pages
File Size : 50,1 MB
Release : 2009-09-19
Category : Computers
ISBN : 3642038328
First established in 1993 with a conference in Elba, Italy, COSIT (the International C- ference on Spatial Information Theory) is widely acknowledged as one of the most - portant conferences for the field of spatial information theory. This conference series brings together researchers from a wide range of disciplines for intensive scientific - changes centered on spatial information theory. COSIT submissions typically address research questions drawn from cognitive, perceptual, and environmental psychology, geography, spatial information science, computer science, artificial intelligence, cog- tive science, engineering, cognitive anthropology, linguistics, ontology, architecture, planning, and environmental design. Some of the topical areas include, for example, the cognitive structure of spatial knowledge; events and processes in geographic space; incomplete or imprecise spatial knowledge; languages of spatial relations; navigation by organisms and robots; ontology of space; communication of spatial information; and the social and cultural organization of space to name a few. This volume contains the papers presented at the 9th International Conference on Spatial Information Theory, COSIT 2009, held in Aber Wrac’h, France, September 21–25, 2009. For COSIT 2009, 70 full paper submissions were received. These papers were carefully reviewed by an international Program Committee based on relevance to the conference, intellectual quality, scientific significance, novelty, relation to previously published literature, and clarity of presentation. After reviewing was completed, 30 papers were selected for presentation at the conference and appear in this volume. This number of papers reflects the high quality of submissions to COSIT this year.
Author : A. G. Cohn
Publisher : Morgan Kaufmann
Page : 770 pages
File Size : 50,26 MB
Release : 2000
Category : Computers
ISBN :
Author : Peter van Beek
Publisher : Springer Science & Business Media
Page : 906 pages
File Size : 36,16 MB
Release : 2005-09-22
Category : Computers
ISBN : 3540292381
This book constitutes the refereed proceedings of the 11th International Conference on Principles and Practice of Constraint Programming, CP 2005, held in Sitges, Spain, in October 2005. The 48 revised full papers and 22 revised short papers presented together with extended abstracts of 4 invited talks and 40 abstracts of contributions to the doctoral students program as well as 7 abstracts of contributions to a systems demonstration session were carefully reviewed and selected from 164 submissions. All current issues of computing with constraints are addressed, ranging from methodological and foundational aspects to solving real-world problems in various application fields.