Repository logo
 
Publication

Construction of system of spheres-based transitively relational partial meet multiple contractions: an impossibility result

2016Journal article Open access
Simple item page
dc.contributor.authorReis, Maurício D. L.
dc.contributor.authorFermé, Eduardo
dc.contributor.authorPeppas, Pavlos
dc.date.accessioned2021-05-27T13:47:37Z
dc.date.available2021-05-27T13:47:37Z
dc.date.issued2016
dc.description.abstractIn this paper we show that, contrary to what is the case in what concerns contractions by a single sentence, there is not a system of spheres-based construction of multiple contractions which generates each and every transitively relational partial meet multiple contraction. Before proving the general result, we consider the class of system of spheres-based mul tiple contractions introduced in [17,5] and show that this class neither subsumes nor is subsumed by the class of transitively relational partial meet multiple contractions. Furthermore, we propose two system of spheres-based constructions of multiple con tractions which generate (only) transitively relational partial meet multiple contractions. Therefore we can conclude that, although it is impossible to obtain a system of spheres based definition of all the transitively relational partial meet multiple contractions, there are classes of system of spheres-based multiple contractions which are subsumed by the class of transitively relational partial meet multiple contractions.pt_PT
dc.description.versioninfo:eu-repo/semantics/publishedVersionpt_PT
dc.identifier.citationReis, M. D., Fermé, E., & Peppas, P. (2016). Construction of system of spheres-based transitively relational partial meet multiple contractions: An impossibility result. Artificial Intelligence, 233, 122-141.pt_PT
dc.identifier.doi10.1016/j.artint.2016.01.001pt_PT
dc.identifier.urihttp://hdl.handle.net/10400.13/3444
dc.language.isoengpt_PT
dc.peerreviewedyespt_PT
dc.publisherElsevierpt_PT
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/pt_PT
dc.subjectBelief changept_PT
dc.subjectTheory contractionpt_PT
dc.subjectMultiple contractionpt_PT
dc.subjectSystem of spherespt_PT
dc.subjectTransitively relationalpt_PT
dc.subject.pt_PT
dc.subjectFaculdade de Ciências Exatas e da Engenhariapt_PT
dc.titleConstruction of system of spheres-based transitively relational partial meet multiple contractions: an impossibility resultpt_PT
dc.typejournal article
dspace.entity.typePublication
oaire.citation.endPage141pt_PT
oaire.citation.startPage122pt_PT
oaire.citation.titleArtificial Intelligencept_PT
oaire.citation.volume233pt_PT
person.familyNameReis
person.familyNameFermé
person.givenNameMaurício
person.givenNameEduardo
person.identifierhttps://scholar.google.com/citations?user=Qu6aCR8AAAAJ&hl
person.identifier.ciencia-id881A-A9ED-56DD
person.identifier.ciencia-idC515-D92F-8F54
person.identifier.orcid0000-0001-7437-8354
person.identifier.orcid0000-0002-9618-2421
person.identifier.scopus-author-id16025753300
person.identifier.scopus-author-id6507544015
rcaap.rightsopenAccesspt_PT
rcaap.typearticlept_PT
relation.isAuthorOfPublication6ad739b6-6c65-4385-bde1-71d6047878fe
relation.isAuthorOfPublicationdbd2982b-b171-4458-b280-5bf0569ca5f2
relation.isAuthorOfPublication.latestForDiscovery6ad739b6-6c65-4385-bde1-71d6047878fe

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Construction of system of spheres-based transitively relational partial meet multiple contractions An impossibility result.pdf
Size:
561.34 KB
Format:
Adobe Portable Document Format
Download

Collections

Artigos em revistas internacionais