An MML-based tool for evaluating the complexity of (stochastic) logic programs

[ES] Esta tesis presenta el primer esquema de codificación MML para evaluar la simplicidad de modelos expresados en forma de programas lógicos estocásticos, así como su herramienta escrita en Prolog.[EN] The thesis presents the first general MML coding scheme for evaluating the simplicity of models expressed as stochastic logic programs, as a tool in Prolog.Castillo Andreu, H. (2012). An MML-based tool for evaluating the complexity of (stochastic) logic programs. http://hdl.handle.net/10251/17983Archivo delegad

Probabilistisch-logische Inferenz relationaler Situationsbeschreibungen aus Verkehrsbildfolgen

Fahrerassistenzsysteme mit maschineller Umfeldwahrnehmung gewinnen an Bedeutung. Die vorliegende Arbeit präsentiert ein auf Markov-Logik-Netzen basierendes Modell, mit welchem eine Situationsbeschreibung einer Verkehrsszene probabilistisch-logisch inferiert wird. Dieser Formalismus ermöglicht eine relationale Repräsentation von komplexen Diskursbereichen, in welcher probabilistisches Schließen durchgeführt wird. Der Ansatz wird anhand exemplarisch verwendeter Videosequenzen evaluiert