Reasoning about dynamic depth profiles
dc.contributor.advisorOrcid | https://orcid.org/0000-0001-8484-0354 | |
dc.contributor.author | Soutchanski M. | |
dc.contributor.author | Santos P. | |
dc.date.accessioned | 2022-01-12T22:04:59Z | |
dc.date.available | 2022-01-12T22:04:59Z | |
dc.date.issued | 2008-06-05 | |
dc.description.abstract | © 2008 The authors and IOS Press. All rights reserved.Reasoning about perception of depth and about spatial relations between moving physical objects is a challenging problem. We investigate the representation of depth and motion by means of depth profiles whereby each object in the world is represented as a single peak. We propose a logical theory, formulated in the situation calculus (SC), that is used for reasoning about object motion (including motion of the observer). The theory proposed here is comprehensive enough to accommodate reasoning about both sensor data and actions in the world. We show that reasoning about depth profiles is sound and complete with respect to actual motion in the world. This shows that in the conceptual neighbourhood diagram (CND) of all possible depth perceptions, the transitions between perceptions are logical consequences of the proposed theory of depth and motion. | |
dc.description.firstpage | 30 | |
dc.description.lastpage | 34 | |
dc.description.volume | 178 | |
dc.identifier.citation | SOUTCHANSKI, M.; SANTOS, P. Reasoning about dynamic depth profiles. Frontiers in Artificial Intelligence and Applications, v. 178, p. 30-34, Jun. 2008. | |
dc.identifier.doi | 10.3233/978-1-58603-891-5-30 | |
dc.identifier.issn | 0922-6389 | |
dc.identifier.uri | https://repositorio.fei.edu.br/handle/FEI/4308 | |
dc.relation.ispartof | Frontiers in Artificial Intelligence and Applications | |
dc.rights | Acesso Restrito | |
dc.title | Reasoning about dynamic depth profiles | |
dc.type | Artigo de evento | |
fei.scopus.citations | 3 | |
fei.scopus.eid | 2-s2.0-69849095723 | |
fei.scopus.subject | Conceptual neighbourhood | |
fei.scopus.subject | Logical consequences | |
fei.scopus.subject | Logical theories | |
fei.scopus.subject | Object motion | |
fei.scopus.subject | Physical objects | |
fei.scopus.subject | Situation calculus | |
fei.scopus.subject | Sound and complete | |
fei.scopus.subject | Spatial relations | |
fei.scopus.updated | 2024-07-01 | |
fei.scopus.url | https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=69849095723&origin=inward |