Research Article
Efficient Reasoning with Ambient Trees for Space Exploration
@INPROCEEDINGS{10.1007/978-3-642-36642-0_18, author={Emil Vassev and Mike Hinchey}, title={Efficient Reasoning with Ambient Trees for Space Exploration}, proceedings={Context-Aware Systems and Applications. First International Conference, ICCASA 2012, Ho Chi Minh City, Vietnam, November 26-27, 2012, Revised Selected Papers}, proceedings_a={ICCASA}, year={2013}, month={2}, keywords={reasoning knowledge representation space exploration autonomous spacecraft}, doi={10.1007/978-3-642-36642-0_18} }- Emil Vassev
Mike Hinchey
Year: 2013
Efficient Reasoning with Ambient Trees for Space Exploration
ICCASA
Springer
DOI: 10.1007/978-3-642-36642-0_18
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.