Brian Milch, S. Russel, P. Norvig, Artificial Intelligence, A Modern
• 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...