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.

Keywords

reasoning knowledge representation space exploration autonomous spacecraft 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Vassev, E., Sterritt, R., Rouff, C., Hinchey, M.: Swarm Technology at NASA: Building Resilient Systems. IT Professional 14(2), 36–42 (2012)CrossRefGoogle Scholar
  2. 2.
    Vassev, E., Hinchey, M.: Knowledge Representation and Reasoning for Intelligent Software Systems. IEEE Computer 44(8), 96–99 (2011)CrossRefGoogle Scholar
  3. 3.
    Vassev, E., Hinchey, M.: The Challenge of Developing Autonomic Systems. IEEE Computer 43(12), 93–96 (2010)CrossRefGoogle Scholar
  4. 4.
    Vassev, E.: Building the pyramid of awareness. Awareness Magazine - Self-awareness in Autonomic Systems (July 2012), doi: 10.2417/3201207.004320 Google Scholar
  5. 5.
    ASCENS – Autonomic Service-Component Ensembles (2012), http://www.ascens-ist.eu/

Copyright information

© ICST Institute for Computer Science, Social Informatics and Telecommunications Engineering 2013

Authors and Affiliations

  • Emil Vassev
    • 1
  • Mike Hinchey
    • 1
  1. 1.Lero—the Irish Software Engineering Research CentreUniversity of LimerickLimerickIreland

Personalised recommendations