Probabilistic Logic Encoding of Spatial Domains

Uncertainty in Description Logics 2010.

计算机科学;

P. Santos ; B. Hummel ; V. Fenelon ; F. G. Cozman

Others  :  http://ceur-ws.org/Vol-613/paper6.pdf
PID  :  38678

学科分类：计算机科学（综合）

来源: CEUR

【 摘 要 】

This paper presents a formalisation of a spatial domain in terms of a qualitative spatial reasoning formalism, encoded in a probabilistic description logic. The QSR formalism chosen is a subset of a cardinal direction calculus and the probabilistic description logic used has the relational structures of the well-known ALC language, allied with the inference methods of Bayesian Networks. We consider a scenario consisting of a road navigated by an experimental vehicle equipped with three on-board sensors: a digital map, a GPS and a video camera. This paper presents experiments where the proposed formalism is used to answer queries about driving directions, lanes and vehicles.