Mostrar el registro sencillo del ítem

dc.contributor.authorVelázquez Quesada, Fernando R.
dc.contributor.authorFernández Fernández, Claudia
dc.date.accessioned2018-10-29T10:28:58Z
dc.date.available2018-10-29T10:28:58Z
dc.date.created2018
dc.date.issued2018-10-29
dc.identifier.urihttps://hdl.handle.net/10630/16721
dc.description.abstractSince the problem of logical omniscience was identified, several proposals have tried to model the knowledge of ‘real’ agents with limited reasoning abilities. One of the most important proposals, awareness logic, relies on the concept of awareness in order to distinguish what the agent ‘truly’ knows and what she could get out of it. Still, the notion of awareness can be interpreted in different ways: it can be understood as what the agent simply entertains, without having any attitude in favour or against (awareness of), but also as what she has consciously recognised as true (awareness that). A previous proposal introduced a combination of these two possible interpretations at a conceptual level. This presentation proposes a formal framework (a semantic model and a language to describe it) that captures these two interpretations of the notion of awareness, as well as the epistemic notions that arise from their combination, such as implicit knowledge, explicit knowledge or justification. The framework provides tools not only for understanding the notions’ subtle interaction, but also for representing some of the different epistemic actions (deductive inference, changes in awareness, external communication) that affect them.en_US
dc.description.sponsorshipUniversidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.en_US
dc.language.isoengen_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.subjectLógica epistémicaen_US
dc.subject.otherExplicit knowledgeen_US
dc.subject.otherEpistemic logicen_US
dc.subject.otherAwareness logicen_US
dc.subject.otherDynamic actionsen_US
dc.titleA formal model for explicit knowledge as awareness of plus awareness thaten_US
dc.typeinfo:eu-repo/semantics/conferenceObjecten_US
dc.centroFacultad de Filosofía y Letrasen_US
dc.relation.eventtitleModel-based Reasoning in Science and Technology. Inferential Models for Logic, Language, Cognition and Computationen_US
dc.relation.eventplaceSevilla, Españaen_US
dc.relation.eventdate23 al 26 octubre 2018en_US
dc.rights.ccAttribution-NonCommercial-NoDerivatives 4.0 Internacional*


Ficheros en el ítem

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

Mostrar el registro sencillo del ítem

Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Excepto si se señala otra cosa, la licencia del ítem se describe como Attribution-NonCommercial-NoDerivatives 4.0 Internacional