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 Vassev | 1 | 263 | 41.81 |
Mike Hinchey | 2 | 494 | 51.89 |