TY - GEN
T1 - Efficient reasoning with ambient trees for space exploration
AU - Vassev, Emil
AU - Hinchey, Mike
PY - 2013
Y1 - 2013
N2 - 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.
AB - 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.
KW - autonomous spacecraft
KW - knowledge representation
KW - reasoning
KW - space exploration
UR - http://www.scopus.com/inward/record.url?scp=84874803580&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-36642-0_18
DO - 10.1007/978-3-642-36642-0_18
M3 - Conference contribution
AN - SCOPUS:84874803580
SN - 9783642366413
T3 - Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering
SP - 176
EP - 182
BT - Context-Aware Systems and Applications - First International Conference, ICCASA 2012, Revised Selected Papers
T2 - 1st International Conference on Context-Aware Systems and Applications, ICCASA 2012
Y2 - 26 November 2012 through 27 November 2012
ER -