VRCC-3D+: Qualitative Spatial and Temporal Reasoning in 3 Dimensions


Book Description

"Qualitative Spatial Reasoning (QSR) has varying applications in Geographic Information Systems (GIS), visual programming language semantics, and digital image analysis [17, 53]. Systems for spatial reasoning over a set of objects have evolved in both expressive power and complexity, but implementations or usages of these systems are not common. This is partially due to the computational complexity of the operations required by the reasoner to make informed decisions about its surroundings. These theoretical systems are designed to focus on certain criteria, including efficiency of computation, ease of human comprehension, and expressive power. Sadly, the implementation of these systems is frequently left as an exercise for the reader. Herein, a new QSR system, VRCC-3D+, is proposed that strives to maximize expressive power while minimizing the complexity of reasoning and computational cost of using the system. This system is an evolution of RCC-3D; the system and implementation are constantly being refined to handle the complexities of the reasoning being performed. The refinements contribute to the accuracy, correctness, and speed of the implementation. To improve the accuracy and correctness of the implementation, a way to dynamically change error tolerance in the system to more accurately reflect what the user sees is designed. A method that improves the speed of determining spatial relationships between objects by using composition tables and decision trees is introduced, and improvements to the system itself are recommended; by streamlining the relation set and enforcing strict rules for the precision of the predicates that determine the relationships between objects. A potential use case and prototype implementation is introduced to further motivate the need for implementations of QSR systems, and show that their use is not precluded by computational complexity."--Abstract, page iv.




Robotic Intelligence


Book Description

This volume aims to provide a reference to the development of robotic intelligence, built upon Semantic Computing, in terms of 'action' to realize the 'context' and 'intention' formulated by Semantics Computing during the 'thinking' or reasoning process. It addresses three core areas:




eWork and eBusiness in Architecture, Engineering and Construction: ECPPM 2016


Book Description

eWork and eBusiness in Architecture, Engineering and Construction 2016 collects the papers presented at the 11th European Conference on Product & Process Modelling (ECPPM 2016, Cyprus, 7-9 September 2016), The contributions cover complementary thematic areas that hold great promise for the advancement of research and technological development in the modelling of complex engineering systems, encompassing a substantial number of high quality contributions on a large spectrum of topics pertaining to ICT deployment instances in AEC/FM, including: • Information and Knowledge Management • Construction Management • Description Logics and Ontology Application in AEC • Risk Management • 5D/nD Modelling, Simulation and Augmented Reality • Infrastructure Condition Assessment • Standardization of Data Structures • Regulatory and Legal Aspects • Multi-Model and distributed Data Management • System Identification • Industrialized Production, Smart Products and Services • Interoperability • Smart Cities • Sustainable Buildings and Urban Environments • Collaboration and Teamwork • BIM Implementation and Deployment • Building Performance Simulation • Intelligent Catalogues and Services




The Poetry and the Politics


Book Description

The nineteenth century was a time of 'movements' - political, social, moral reform causes - which drew on the energies of men and women across Britain. This book studies radical reform at the margins of early Victorian society, focusing on decades of particular social, political and technological ferment: when foreign and British promoters of extravagant technologically assisted utopias could attract many hundreds of supporters of limited means, persuaded to escape grim conditions by emigration to South America; when pioneers of vegetarianism joined the ranks of the temperance movement; and when working-class Chartists, reviving a struggle for political reform, seemed to threaten the State for a brief moment in April 1848. Through the forgotten figure of James Elmslie Duncan, 'shabby genteel' poet and self-proclaimed 'Apostle of the Messiahdom', The Poetry and the Politics considers themes including poetry's place in radical culture, the response of pantomime to the Chartist challenge to law and order, and associations between madness and revolution.Duncan became a promoter of the technological fantasies of John Adolphus Etzler, a poet of science who prophesied a future free from drudgery, through machinery powered by natural forces. Etzler dreamed of crystal palaces: Duncan's public freedom was to end dramatically in 1851 just as a real crystal palace opened to an astonished world. In addition to Duncan, James Gregory also introduces a cast of other poets, earnest reformers and agitators, such as William Thom the weaver poet of Inverury, whose metropolitan feting would end in tragedy; John Goodwyn Barmby, bearded Pontiffarch of the Communist Church; a lunatic 'Invisible Poet' of Cremorne pleasure gardens; the hatter from Reading who challenged the 'feudal' restrictions of the Game Laws by tract, trespass and stuffed jay birds; and foreign exotics such as the German-born Conrad Stollmeyer, escaping the sinking of an experimental Naval Automaton in Margate to build a fortune as theAsphalt King of Trinidad.Combining these figures with the biography of a man whose literary career was eccentric and whose public antics were capitalised upon by critics of Chartist agitation, this book is essential reading for anyone interested in radical reform and popular political movements in Victorian Britain.




Stone Spaces


Book Description

A unified treatment of the corpus of mathematics that has developed out of M. H. Stone's representation theorem for Boolean algebras (1936) which has applications in almost every area of modern mathematics.




Geographic Objects with Indeterminate Boundaries


Book Description

Current geographical information systems GIS deal almost exclusively with well-defined, static geographical objects ranging from physical landscapes to towns and transport systems. Such objects, exactly located in space, can easily be handled by modern GIS, yet form only a small proportion of all the possible geographical objects.; This book challenges the assumption that the world is compsed of exactly defined and bounded geographic objects such as land parcels, rivers and countries. ignoring the essential complexity of the world, current GIS do not adequately address problems as diverse as the resolution of crime between national boundaries, or the interpretation of views of people from different cultures. This work, bringing together a range of specialists from fields such as linguistics, computer science, land surveying, cartography and soil science, examines current research into the challenges of dealing with geographical phenomena that cannot easily be forced into one of the two current standard data models.




Qualitative Spatial Reasoning with Topological Information


Book Description

Spatial knowledge representation and reasoning with spatial knowledge are relevant issues for many application areas such as robotics, geographical information systems, and computer vision. Exceeding purely quantitative approaches, more recently initiated qualitative approaches allow for dealing with spatial information on a more abstract level that is closer to the way humans think and speak. Starting out with the qualitative, topological constraint calculus RCC8 proposed by Randell, Cui, and Cohn, this work presents answers to a variety of open questions regarding RCC8. The open issues concerning computational properties are solved by exploiting a broad variety of results and methods from logic and theoretical computer science. Questions concerning practical performance are addressed by large-scale empirical computational experiments. The most impressive result is probably the complete classification of computational properties for all fragments of RCC8.




Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science


Book Description

This book constitutes the refereed proceedings of the International Conference on Spatial Information Theory, COSIT '99, held in Stade, Germany, in August 1999. The 30 revised full papers presented were carefully reviewed and selected from 70 submissions. The book is divided into topical sections on landmarks and navigation, route directions, abstraction and spatial hierarchies, spatial reasoning calculi, ontology of space, visual representation and reasoning, maps and routes, and granularity and qualitative abstraction.




Distributive Lattices


Book Description

Discussing the foundations of the theory of distributive lattices and the techniques used in this field, this resource also presents a number of special topics to which the theory is applied. In developing the theory, the authors have made use of the methods and tools of universal algebra and elementary category theory.




The Experience of Place


Book Description

Why do some places—the concourse of Grand Central Terminal or a small farm or even the corner of a skyscraper—affect us so mysteriously and yet so forcefully? What tiny changes in our everyday environments can radically alter the quality of our daily lives? The Experience of Place offers an innovative and delightfully readable proposal for new ways of planning, building, and managing our most immediate and overlooked surroundings.