Probabilistic logic encoding of spatial domains
| dc.contributor.author | Paulo Santos | |
| dc.contributor.author | HUMMEL, B. | |
| dc.contributor.author | FENELON, V. | |
| dc.contributor.author | COZMAN, F. G. | |
| dc.contributor.authorOrcid | https://orcid.org/0000-0001-8484-0354 | |
| dc.date.accessioned | 2023-08-26T23:49:47Z | |
| dc.date.available | 2023-08-26T23:49:47Z | |
| dc.date.issued | 2010-07-20 | |
| dc.description.abstract | 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. | |
| dc.description.volume | 613 | |
| dc.identifier.citation | SANTOS, P.; HUMMEL, B.; FENELON, V.; COZMAN, F. G. Probabilistic logic encoding of spatial domains. CEUR Workshop Proceedings, v. 613, jul. 2010. | |
| dc.identifier.issn | 1613-0073 | |
| dc.identifier.uri | https://repositorio.fei.edu.br/handle/FEI/4995 | |
| dc.relation.ispartof | CEUR Workshop Proceedings | |
| dc.rights | Acesso Restrito | |
| dc.title | Probabilistic logic encoding of spatial domains | |
| dc.type | Artigo de evento | |
| fei.scopus.citations | 1 | |
| fei.scopus.eid | 2-s2.0-84888990826 | |
| fei.scopus.subject | Cardinal direction | |
| fei.scopus.subject | Experimental vehicle | |
| fei.scopus.subject | Inference methods | |
| fei.scopus.subject | On-board sensors | |
| fei.scopus.subject | Probabilistic descriptions | |
| fei.scopus.subject | Qualitative spatial reasoning | |
| fei.scopus.subject | Relational structures | |
| fei.scopus.subject | Spatial domains | |
| fei.scopus.updated | 2024-07-01 | |
| fei.scopus.url | https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84888990826&origin=inward |