Handbook of Temporal Reasoning in Artificial Intelligence
Handbook of Temporal Reasoning in Artificial Intelligence

Author: Michael David Fisher

Publisher: Elsevier

Published: 2005-03-01

Total Pages: 753

ISBN-13: 0080533361

DOWNLOAD EBOOK

This collection represents the primary reference work for researchers and students in the area of Temporal Reasoning in Artificial Intelligence. Temporal reasoning has a vital role to play in many areas, particularly Artificial Intelligence. Yet, until now, there has been no single volume collecting together the breadth of work in this area. This collection brings together the leading researchers in a range of relevant areas and provides an coherent description of the breadth of activity concerning temporal reasoning in the filed of Artificial Intelligence.Key Features:- Broad range: foundations; techniques and applications- Leading researchers around the world have written the chapters- Covers many vital applications- Source book for Artificial Intelligence, temporal reasoning- Approaches provide foundation for many future software systems· Broad range: foundations; techniques and applications· Leading researchers around the world have written the chapters· Covers many vital applications· Source book for Artificial Intelligence, temporal reasoning· Approaches provide foundation for many future software systems

An Introduction to Constraint-Based Temporal Reasoning
An Introduction to Constraint-Based Temporal Reasoning

Author: Roman Meir

Publisher: Springer Nature

Published: 2022-05-31

Total Pages: 107

ISBN-13: 3031015673

DOWNLOAD EBOOK

Solving challenging computational problems involving time has been a critical component in the development of artificial intelligence systems almost since the inception of the field. This book provides a concise introduction to the core computational elements of temporal reasoning for use in AI systems for planning and scheduling, as well as systems that extract temporal information from data. It presents a survey of temporal frameworks based on constraints, both qualitative and quantitative, as well as of major temporal consistency techniques. The book also introduces the reader to more recent extensions to the core model that allow AI systems to explicitly represent temporal preferences and temporal uncertainty. This book is intended for students and researchers interested in constraint-based temporal reasoning. It provides a self-contained guide to the different representations of time, as well as examples of recent applications of time in AI systems.

Time Granularities in Databases, Data Mining, and Temporal Reasoning
Time Granularities in Databases, Data Mining, and Temporal Reasoning

Author: Claudio Bettini

Publisher: Springer Science & Business Media

Published: 2013-06-29

Total Pages: 232

ISBN-13: 3662042282

DOWNLOAD EBOOK

Calendar and time units and specialized units, such as business days and academic years, play a major role in a wide range of information system applications. System support for reasoning about these units, called granularities, is important for the efficient design, use, and implementation of such applications. This book deals with several aspects of temporal information and provides a unifying model for granularities. Practitioners can learn about critical aspects that must be taken into account when designing and implementing databases supporting temporal information.

Spatial and Temporal Reasoning
Spatial and Temporal Reasoning

Author: O. Stock

Publisher: Springer Science & Business Media

Published: 2007-07-27

Total Pages: 392

ISBN-13: 0585283222

DOWNLOAD EBOOK

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.

Theories and Methods of Spatio-Temporal Reasoning in Geographic Space
Theories and Methods of Spatio-Temporal Reasoning in Geographic Space

Author: Andrew U. Frank

Publisher: Springer

Published: 1992-09-09

Total Pages: 439

ISBN-13: 9783540559665

DOWNLOAD EBOOK

This volume collects the papers presented at the first international conference dedicated to spatial and temporal reasoning in geographic space, entitled "GIS: from space to territory - theories and methods of spatio-temporal reasoning". Within the National Center for Geographic Information and Analysis (NCGIA, one of the supporters of the conference) the importance of spatial and temporal reasoning was recognized several years ago. Initial research found that spatial reasoning in geographic or large-scale space is different from spatial reasoning in small-scale space, as usually dealt with in robotics and expertsystems. Temporal reasoning has attracted interest in the artificial intelligence community. The volume also includes two invited papers: "Do people understand spatial concepts: the case of first-order primtives" by R.G. Golledge, and "Temporal databases" by R.T. Snodgrass.

Spatio-Temporal Databases
Spatio-Temporal Databases

Author: Rita de Caluwe

Publisher: Springer Science & Business Media

Published: 2004-08-12

Total Pages: 404

ISBN-13: 9783540222149

DOWNLOAD EBOOK

Spatio-Temporal Databases explores recent trends in flexible querying and reasoning about time- and space-related information in databases. It shows how flexible querying enhances standard querying expressiveness in many different ways, with the aim of facilitating extraction of relevant data and information. Flexible spatial and temporal reasoning denotes qualitative reasoning about dynamic changes in the spatial domain, characterized by imprecision or uncertainty (or both). Many of the contributions focus on GIS, while some others are more general, or focus on related application fields, presenting theoretical viewpoints and techniques that are inspiring or can be adapted for GIS. The first part bundles the contributions on advances at the theoretical level, also discussing examples and opening further perspectives. The second part presents contributions on well-developed applications. The authors explain how to handle imprecision and uncertainty, demonstrating how advanced techniques can help to solve diverse problems related to GIS.

Handbook of Ambient Intelligence and Smart Environments
Handbook of Ambient Intelligence and Smart Environments

Author: Hideyuki Nakashima

Publisher: Springer Science & Business Media

Published: 2009-10-01

Total Pages: 1290

ISBN-13: 0387938087

DOWNLOAD EBOOK

Our homes anticipate when we want to wake up. Our computers predict what music we want to buy. Our cars adapt to the way we drive. In today’s world, even washing machines, rice cookers and toys have the capability of autonomous decision-making. As we grow accustomed to computing power embedded in our surroundings, it becomes clear that these ‘smart environments’, with a number of devices controlled by a coordinating system capable of ‘ambient intelligence’, will play an ever larger role in our lives. This handbook provides readers with comprehensive, up-to-date coverage in what is a key technological field. . Systematically dealing with each aspect of ambient intelligence and smart environments, the text covers everything, from visual information capture and human/computer interaction to multi-agent systems, network use of sensor data, and building more rationality into artificial systems. The book also details a wide range of applications, examines case studies of recent major projects from around the world, and analyzes both the likely impact of the technology on our lives, and its ethical implications. With a wide variety of separate disciplines all conducting research relevant to this field, this handbook encourages collaboration between disparate researchers by setting out the fundamental concepts from each area that are relevant to ambient intelligence and smart environments, providing a fertile soil in which ground-breaking new work candevelop.

Temporal Information Systems in Medicine
Temporal Information Systems in Medicine

Author: Carlo Combi

Publisher: Springer Science & Business Media

Published: 2010-05-25

Total Pages: 398

ISBN-13: 1441965432

DOWNLOAD EBOOK

Temporal Information Systems in Medicine introduces the engineering of information systems for medically-related problems and applications. The chapters are organized into four parts; fundamentals, temporal reasoning & maintenance in medicine, time in clinical tasks, and the display of time-oriented clinical information. The chapters are self-contained with pointers to other relevant chapters or sections in this book when necessary. Time is of central importance and is a key component of the engineering process for information systems. This book is designed as a secondary text or reference book for upper -undergraduate level students and graduate level students concentrating on computer science, biomedicine and engineering. Industry professionals and researchers working in health care management, information systems in medicine, medical informatics, database management and AI will also find this book a valuable asset.

na
na

Author:

Publisher: Springer Science & Business Media

Published:

Total Pages: 397

ISBN-13: 1441965440

DOWNLOAD EBOOK

An Introduction to Practical Formal Methods Using Temporal Logic
An Introduction to Practical Formal Methods Using Temporal Logic

Author: Michael Fisher

Publisher: John Wiley & Sons

Published: 2011-03-16

Total Pages: 368

ISBN-13: 9781119991465

DOWNLOAD EBOOK

The name "temporal logic" may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often based on a few simple, and fundamental, concepts - highlighted in this book. An Introduction to Practical Formal Methods Using Temporal Logic provides an introduction to formal methods based on temporal logic, for developing and testing complex computational systems. These methods are supported by many well-developed tools, techniques and results that can be applied to a wide range of systems. Fisher begins with a full introduction to the subject, covering the basics of temporal logic and using a variety of examples, exercises and pointers to more advanced work to help clarify and illustrate the topics discussed. He goes on to describe how this logic can be used to specify a variety of computational systems, looking at issues of linking specifications, concurrency, communication and composition ability. He then analyses temporal specification techniques such as deductive verification, algorithmic verification, and direct execution to develop and verify computational systems. The final chapter on case studies analyses the potential problems that can occur in a range of engineering applications in the areas of robotics, railway signalling, hardware design, ubiquitous computing, intelligent agents, and information security, and explains how temporal logic can improve their accuracy and reliability. Models temporal notions and uses them to analyze computational systems Provides a broad approach to temporal logic across many formal methods - including specification, verification and implementation Introduces and explains freely available tools based on temporal logics and shows how these can be applied Presents exercises and pointers to further study in each chapter, as well as an accompanying website providing links to additional systems based upon temporal logic as well as additional material related to the book.