Cognitive Radios: - PowerPoint PPT Presentation

1 / 7
About This Presentation
Title:

Cognitive Radios:

Description:

query: What is the rmsDelay, excessDelay and ... Formal reasoner (theorem prover) to derive answers to queries, e.g., Racer, Pellet, JTP, Prolog, ... – PowerPoint PPT presentation

Number of Views:38
Avg rating:3.0/5.0
Slides: 8
Provided by: Mit593
Category:

less

Transcript and Presenter's Notes

Title: Cognitive Radios:


1
Cognitive Radios Experiences and Challenges
  • Mitch Kokar
  • mkokar_at_ece.neu.edu
  • www.ece.neu.edu/groups/scs/kokar

2
Proof-of-concept scenario (NSF Grant)
Ontology
Reasoner 1
Reasoner 2
query
Software Radio 2
Software Radio 1
PC
PC
answer
query What is the rmsDelay, excessDelay and
equalizerError in your last Buffer?
answer rmsDelay 1.0078370372505556
excessDelay 1.062759005498691 equalizerError
851.5498431539809
Depending on these values, the transmitter can
select the size of the alphabet, e.g., QAM2 or
QAM4 or QAM16, increase equalizer length,
increase power
3
Two Conversations
Cover area B3
What is your multipath structure?
4
A Framework for Use of Ontologies in Cognitive
Radios
End User
End User
User Task Ontology
Application
Application
Application Ontology
Apply Ontologies at Multiple Levels
Data
Data
Link Ontology
Physical
Physical
Radio Ontology
Cog Radio A
Cog Radio B
Cog Radios can also obtain and reason about
information from sensors (e.g., GPS, mine
detectors, ELINT)
Heterogeneous Network (may include user nets
sensor nets)
5
Solution
  • If the multipath question is the only question,
    then we can hard-code it into the process. But
    then the capabilities are limited to the encoded
    question!
  • How can we add more flexibility for
    questions/answers?
  • Ingredients exist
  • Ontologies to define a description-and-query
    language
  • Ontology description language (OWL) for computer
    processing
  • OWL-QL Query Language
  • Formal reasoner (theorem prover) to derive
    answers to queries, e.g., Racer, Pellet, JTP,
    Prolog,
  • Reflection capability a feature of the Java
    programming language
  • Situation awareness and information fusion
    active research field

More research needed!
6
Challenges
  • Inference in real time
  • Cant use theorem provers for reasoning
  • Knowledge base constantly varying
  • Cant use theorem provers for reasoning
  • Facts are not part of the Knowledge Base but
    part of internal data structures of the
    communication software
  • Need access to the software internals
  • We use the reflection feature of programming
    languages.
  • Not integrated with a reasoner

7
Unsolved Problems (yet)
  • Limits of expressiveness (only binary predicates)
    of OWL vs. complexity of reasoning
  • Ontology mapping and integration (combine
    ontologies consistently)
  • Query language no standard
  • Efficiency of Human-Display interface
  • Reasoning with uncertain information
  • Reflection combined with reasoning
Write a Comment
User Comments (0)
About PowerShow.com