| Example 2: Aircraft Tracking Outline False Detection Unobserved Object • BLOG models with unknown objects – Syntax – Semantics (2007) | |||||||||||||||
Abstract | |||||||||||||||
| • Fundamental task: given observations, make inferences about initially unknown objects • But most RPM languages assume set of objects is fixed and known (Herbrand models) • Bayesian logic (BLOG) lifts this assumption 3 | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||