Busque entre los 166927 recursos disponibles en el repositorio
Mostrar el registro sencillo del ítem
dc.date.accessioned | 2012-11-16T14:54:20Z | |
dc.date.available | 2012-11-16T14:54:20Z | |
dc.date.issued | 1995-10 | |
dc.identifier.uri | http://sedici.unlp.edu.ar/handle/10915/24327 | |
dc.description.abstract | In this study we propose the standard modal logic KD43 as the logle governing expressions about Utopia. We define a formal construction corresponding to Utopian expressions In ordlnary language that we name utopian eonditionals. They possess the singular properties of admitting Strengthening of the Antecedent whlle possibly defeating the rule of Modus Ponens. Perhaps the most interesting aspect of this work is that, as far as the authors know, this is the first time a category of expressions in the ordinary language corresponding to these two singular properties is provided. | en |
dc.format.extent | 463-470 | es |
dc.language | en | es |
dc.subject | ARTIFICIAL INTELLIGENCE | es |
dc.subject | theory of conditionals | en |
dc.subject | modal logic | en |
dc.subject | knowledge representation | en |
dc.title | On the logic for utopia | en |
dc.type | Objeto de conferencia | es |
sedici.creator.person | Areces, Carlos Eduardo | es |
sedici.creator.person | Becher, Verónica | es |
sedici.description.note | Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificial | es |
sedici.subject.materias | Ciencias Informáticas | es |
sedici.description.fulltext | true | es |
mods.originInfo.place | Red de Universidades con Carreras en Informática (RedUNCI) | es |
sedici.subtype | Objeto de conferencia | es |
sedici.rights.license | Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) | |
sedici.rights.uri | http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
sedici.date.exposure | 1995-10 | |
sedici.relation.event | I Congreso Argentino de Ciencias de la Computación | es |
sedici.description.peerReview | peer-review | es |