University of Limerick Institutional Repository

Efficient reasoning with ambient trees for space exploration

DSpace Repository

Show simple item record Vassev, Emil Hinchey, Mike 2012-11-30T14:30:44Z 2012-11-30T14:30:44Z 2012
dc.description peer-reviewed en_US
dc.description.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. en_US
dc.language.iso eng en_US
dc.publisher Springer en_US
dc.relation info:eu-repo/grantAgreement/EC/FP7/257414 en_US
dc.relation.ispartofseries Proceedings of the International Conference on Context-Aware Systems and Applications (ICCASA 2012) Lecture Notes of ICST;
dc.rights The original publication is available at en_US
dc.subject reasoning en_US
dc.subject knowledge respresentation en_US
dc.subject space exploration en_US
dc.subject autonomous spacecraft en_US
dc.title Efficient reasoning with ambient trees for space exploration en_US
dc.type info:eu-repo/semantics/conferenceObject en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.contributor.sponsor SFI en_US
dc.contributor.sponsor ERC en_US
dc.relation.projectid 03/CE2/I303_1 en_US
dc.rights.accessrights info:eu-repo/semantics/openAccess en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


My Account