Abstract
Modern reasoning is based on inference techniques such as induction, deduction, abduction, subsumption, classification and recognition. These inference techniques are very inefficient when applied to large amounts of knowledge such as ones employed by contemporary unmanned spacecraft. For efficient reasoning, we aim at knowledge representation based on special ambient trees determining special knowledge contexts to help such spacecraft retrieve context-relevant knowledge and perform deductive reasoning, which would not be otherwise highlighted. Contexts via their ambient trees provide a sort of a condensed and explicit symbolic representation of the world. This representation is cleaned from the overwhelming information that is non-relevant to the context and thus, it provides for efficient models of situations to reason about.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Vassev, E., Sterritt, R., Rouff, C., Hinchey, M.: Swarm Technology at NASA: Building Resilient Systems. IT Professional 14(2), 36–42 (2012)
Vassev, E., Hinchey, M.: Knowledge Representation and Reasoning for Intelligent Software Systems. IEEE Computer 44(8), 96–99 (2011)
Vassev, E., Hinchey, M.: The Challenge of Developing Autonomic Systems. IEEE Computer 43(12), 93–96 (2010)
Vassev, E.: Building the pyramid of awareness. Awareness Magazine - Self-awareness in Autonomic Systems (July 2012), doi: 10.2417/3201207.004320
ASCENS – Autonomic Service-Component Ensembles (2012), http://www.ascens-ist.eu/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 ICST Institute for Computer Science, Social Informatics and Telecommunications Engineering
About this paper
Cite this paper
Vassev, E., Hinchey, M. (2013). Efficient Reasoning with Ambient Trees for Space Exploration. In: Vinh, P.C., Hung, N.M., Tung, N.T., Suzuki, J. (eds) Context-Aware Systems and Applications. ICCASA 2012. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 109. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36642-0_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-36642-0_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36641-3
Online ISBN: 978-3-642-36642-0
eBook Packages: Computer ScienceComputer Science (R0)