Mostrando 5 resultados de: 5
Filtros aplicados
Publisher
Annals of Mathematics and Artificial Intelligence(1)
European Journal of Operational Research(1)
Journal of Applied Non-Classical Logics(1)
Journal of Logic and Computation(1)
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)(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)
Lógica(1)
Origen
scopus(5)
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: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: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: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