110 likes | 247 Views
MIIDE Overview. 12 August 2009 MIT CSAIL. System Overview. Model & Knowledge Management. Get context. MIIDE Whiteboard (MIDOS). Context. Mission Models. SDR Models. Preferences& constraints. Model Reasoner. Evaluate. Radio Physics Models. Inference Rules. Results & Rationale.
E N D
MIIDE Overview 12 August 2009 MIT CSAIL
System Overview Model & Knowledge Management Get context MIIDE Whiteboard (MIDOS) Context Mission Models SDR Models Preferences& constraints Model Reasoner Evaluate RadioPhysicsModels InferenceRules Results & Rationale Results & rationale Deploy and Simulate Validation results PAMS LTAE Simulator
Device Model • Knowledge about Capabilities, Components and their properties • Capabilities (e.g., VideoRecording, PrecisionGuidance) • Implemented by Components • Components • Use resources (e.g., power) • Supply resources (e.g., transmission) • Have context-sensitive reliability (e.g., weather)
SDR Instance VideoRecording Capability implemented by Camera Video Capture Component Components Properties Properties Hardware: yes Hardware: no Consumes Consumes Weight: 20 lbs Power: 30 watts Memory: 8 MB Reliability Weather: Clear 100% Cloudy 75% Precipitation 50% Heavy-precipitation 25%
Task Model • Knowledge about the world in which devices operate • Common sense rules • User preferences • Example from UAV task • Mountainous terrain → No LOS to base • Recon & Raining → Use the HD Recon capability (Bob says it works better) • High-Power Modem → High visibility (Sam believes signals are detectable)
The Inference Engine • Backward chainer with justifications and truth maintenance • Justifications • Why things are believed • Speed contradiction resolution • Can speed inference in the face of changing situations
Backward Chaining • Rules motivate questions terrain type → existence of LOS to base target → terrain type • Infer high level answers from more detailed facts power & time → battery velocity & distance → time target → distance platform → velocity components → platform
target locn 36.34N 68.73E Premise P1 target prot’n substantial Premise P2 Truth Maintenance System is given target loc’n 36.34N 68.73E target protection is substantial The system creates and justifies beliefs:
target locn 36.34N 68.73E mountainous no los hi power modem platform visibility = high Premise P1 P1, R1 P1, R1, R2 P1, R1, R2, R3 P1, R1, R2, R3, R4 Truth Maintenance R1: locn= XX mountainous R2: mountainous no LOS R3: no LOS hi power modem R4: hi power modem platform visibility = high
target protn is substantial mission risk high platform visibility = low platform visibility = high Premise P2 P2, R5 P2, R5, R6 P1, R1, R2, R3, R4 Truth Maintenance R5: protn = substantial mission risk = high R6: mission risk = high platform visibility = low contradiction R3: no LOS hi power modem