Mostrando 8 resultados de: 8
Filtros aplicados
Publisher
Annals of Mathematics and Artificial Intelligence(1)
Artificial Intelligence(1)
European Journal of Operational Research(1)
Journal of Applied Non-Classical Logics(1)
Journal of Logic and Computation(1)
Área temáticas
Programación informática, programas, datos, seguridad(2)
Ciencias de la computación(1)
Conocimiento(1)
Educación(1)
Filosofía y teoría(1)
Área de conocimiento
Algoritmo(2)
Ciencias de la computación(1)
Filosofía del lenguaje(1)
Inteligencia artificial(1)
Investigación cualitativa(1)
Origen
scopus(8)
A framework for iterated revision
ArticleAbstract: We consider in this work the problem of iterated belief revision. We propose a family of belief reviPalabras claves:Belief revision, Iterated Belief revisionAutores:Konieczny S.E., Ramón Pino-PérezFuentes:scopusA qualitative framework for resource allocation
ArticleAbstract: We use an algebraic viewpoint, namely a matrix framework to deal with the problem of resource allocaPalabras claves:Qualitative optimal allocations, Qualitative social welfare, Resource allocationAutores:Chacón G., Franklin José Camacho, Ramón Pino-PérezFuentes:scopusConfluence operators and their relationships with revision, update and merging
ArticleAbstract: In this paper we introduce confluence operators, that are inspired by the existing links between belPalabras claves:Belief dynamics, Belief revision, Confluence, Merging, UpdateAutores:Konieczny S.E., Ramón Pino-PérezFuentes:scopusExplanatory relations revisited: Links with cbkp_redibility-limited revision
Conference ObjectAbstract: We study binary relations ⊳ over propositional formulas built over a finite set of variables. The mePalabras claves:Autores:León M., Ramón Pino-PérezFuentes:scopusMerging information under constraints: A logical framework
ArticleAbstract: The paper considers the problem of merging several belief bases in the presence of integrity constraPalabras claves:Belief revision, integrity constraints, Logic-based mergingAutores:Konieczny S.E., Ramón Pino-PérezFuentes:scopusPreferences and explanations
ArticleAbstract: In abductive reasoning, preference criteria for selecting the best explanation are regarded as qualiPalabras claves:Abduction, Explanatory reasoning, Preference criteria for selecting explanationsAutores:Ramón Pino-Pérez, Uzcátegui C.Fuentes:scopusPropositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory
Conference ObjectAbstract: We give in this paper new results on merging operators. Those operators aim to define the goals (orPalabras claves:Artificial Intelligence, Belief merging, Group decisions and negotiations, Knowledge-based systemsAutores:Konieczny S.E., Ramón Pino-PérezFuentes:scopusSome operators for iterated revision
Conference ObjectAbstract: We propose a construction that allows to define operators for iterated revision from "classical" AGMPalabras claves:Autores:Konieczny S.E., Ramón Pino-PérezFuentes:scopus