University of Limerick
Browse
Vassev_2012_efficient.pdf (733.08 kB)

Efficient reasoning with ambient trees for space exploration

Download (733.08 kB)
conference contribution
posted on 2012-11-30, 14:30 authored by Emil Vassev, Mike Hinchey
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.

Funding

Study on Aerodynamic Characteristics Control of Slender Body Using Active Flow Control Technique

Japan Society for the Promotion of Science

Find out more...

History

Publication

Proceedings of the International Conference on Context-Aware Systems and Applications (ICCASA 2012) Lecture Notes of ICST;

Publisher

Springer

Note

peer-reviewed

Other Funding information

SFI, ERC

Rights

The original publication is available at www.springerlink.com

Language

English

Usage metrics

    University of Limerick

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC