Title
Efficient Reasoning with Ambient Trees for Space Exploration.
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.
Year
DOI
Venue
2012
10.1007/978-3-642-36642-0_18
Lecture Notes of the Institute for Computer Sciences Social Informatics and Telecommunications Engineering
Keywords
Field
DocType
reasoning,knowledge representation,space exploration,autonomous spacecraft
Computer vision,Knowledge representation and reasoning,Inference,sort,Space exploration,Deductive reasoning,Artificial intelligence,Unmanned spacecraft,Geography,Spacecraft
Conference
Volume
ISSN
Citations 
109
1867-8211
0
PageRank 
References 
Authors
0.34
3
2
Name
Order
Citations
PageRank
Emil Vassev126341.81
Mike Hinchey249451.89