Mostrar el registro sencillo del ítem

Spatial reasoning about qualitative shape compositions. Composing Qualitative Lengths and Angles

dc.contributor.authorFalomir, Zoe
dc.contributor.authorPich Rubert, Albert
dc.contributor.authorCosta, Vicent
dc.date.accessioned2021-09-06T13:00:30Z
dc.date.available2021-09-06T13:00:30Z
dc.date.issued2020-06-24
dc.identifier.citationCite this article Falomir, Z., Pich, A. & Costa, V. Spatial reasoning about qualitative shape compositions. Ann Math Artif Intell 88, 589–621 (2020). https://doi.org/10.1007/s10472-019-09637-7ca_CA
dc.identifier.issn1012-2443
dc.identifier.urihttp://hdl.handle.net/10234/194612
dc.description.abstractShape composition is a challenge in spatial reasoning. Qualitative Shape Descriptors (QSD) have proven to be rotation and location invariant, which make them useful in spatial reasoning tests. QSD uses qualitative representations for angles and lengths, but their composition operations have not been defined before. In this paper, the Qualitative Model for Angles (QMAngles) and the Qualitative Model for Lengths (QMLengths) are presented in detail by describing their arity, reference systems and operators. Their operators are defined taking the well-known temporal model by Allen (1983) as a reference. Moreover, composition tables are built, and the composition relations of qualitative angles and lengths are proved using their geometric counterparts. The correctness of these composition tables is also proved computationally using a logic program implemented using SwiProlog.ca_CA
dc.format.extent17 p.ca_CA
dc.format.mimetypeapplication/pdfca_CA
dc.language.isoengca_CA
dc.publisherSpringerca_CA
dc.relationCognitive Qualitative Descriptions and Applications (CogQDA)ca_CA
dc.relation.isPartOfAnnals of Mathematics and Artificial Intelligence 88, 589–621 (2020)ca_CA
dc.rights© Springer Nature Switzerland AG 2019ca_CA
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/ca_CA
dc.subjectqualitative representationca_CA
dc.subjectqualitative reasoningca_CA
dc.subjectspatial reasoningca_CA
dc.subjectshapesca_CA
dc.subjectqualitative anglesca_CA
dc.subjectqualitative lengthsca_CA
dc.subjectcomposition tablesca_CA
dc.subjectcorrectnessca_CA
dc.subjectgeometryca_CA
dc.titleSpatial reasoning about qualitative shape compositions. Composing Qualitative Lengths and Anglesca_CA
dc.typeinfo:eu-repo/semantics/articleca_CA
dc.identifier.doihttps://doi.org/10.1007/s10472-019-09637-7
dc.rights.accessRightsinfo:eu-repo/semantics/openAccessca_CA
dc.type.versioninfo:eu-repo/semantics/acceptedVersionca_CA
project.funder.nameBremen Spatial Cognition Center (BSCC), la Universitat de Bremenca_CA
project.funder.nameGeneralitat de Catalunyaca_CA
project.funder.nameFons Social Europeuca_CA
oaire.awardNumberFI-2017ca_CA


Ficheros en el ítem

Thumbnail
Nombre:
75747.pdf
Tamaño:
687.3Kb
Formato:
PDF
Descripción:
Versió postprint
Ver/Abrir

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem