Repository logo
 
Publication

On the iteration of Katsuno and Mendelzon update

2015-11Master thesis Open access
Simple item page
datacite.subject.fosCiências Naturais::Matemáticaspt_PT
dc.contributor.advisorFermé, Eduardo Leopoldo
dc.contributor.authorRodrigues, Sara Xavier Reis Gonçalves
dc.date.accessioned2016-05-19T08:35:54Z
dc.date.available2016-06-19T00:30:08Z
dc.date.issued2015-11
dc.description.abstractIn this dissertation we present a model for iteration of Katsuno and Mendelzon’s Update, inspired in the developments for iteration in AGM belief revision. We adapt Darwiche and Pearls’ postulates of iterated belief revision to update (as well as the independence postulate proposed in [BM06, JT07]) and show two families of such operators, based in natural [Bou96] and lexicographic revision [Nay94a, NPP03]. In all cases, we provide a possible worlds semantics of the models.pt_PT
dc.identifier.tid201160048
dc.identifier.urihttp://hdl.handle.net/10400.13/1164
dc.language.isoengpt_PT
dc.subjectCrençapt_PT
dc.subjectRevisãopt_PT
dc.subjectAtualizaçãopt_PT
dc.subjectModelos matemáticospt_PT
dc.subjectKatsunopt_PT
dc.subjectMendelzonpt_PT
dc.subjectIteraçãopt_PT
dc.subjectTécnica matemáticapt_PT
dc.subjectAnálise numéricapt_PT
dc.subjectSemânticapt_PT
dc.subjectFormalpt_PT
dc.subjectMundos possíveispt_PT
dc.subjectRaciocínio lógico-matemáticopt_PT
dc.subjectBelief changept_PT
dc.subjectBelief updatept_PT
dc.subjectKatsuno and Mendelzon Updatept_PT
dc.subjectIterationpt_PT
dc.subjectPossible world semanticpt_PT
dc.subjectMatemáticapt_PT
dc.subject.pt_PT
dc.subjectFaculdade de Ciências Exatas e da Engenhariapt_PT
dc.titleOn the iteration of Katsuno and Mendelzon updatept_PT
dc.typemaster thesis
dspace.entity.typePublication
rcaap.rightsopenAccess
rcaap.typemasterThesispt_PT
thesis.degree.nameMestrado em Matemáticapt_PT

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
MestradoSaraRodrigues.pdf
Size:
1.04 MB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Dissertações de Mestrado