Mostrando 8 resultados de: 8
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(4)
Annals of Mathematics and Artificial Intelligence(1)
European Journal of Operational Research(1)
Journal of Philosophical Logic(1)
Proceedings of the International Conference on Knowledge Representation and Reasoning(1)
Área temáticas
Funcionamiento de bibliotecas y archivos(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(2)
Optimización matemática(2)
Cognición(1)
Filosofía del lenguaje(1)
Objetivos de Desarrollo Sostenible
ODS 17: Alianzas para lograr los objetivos(6)
ODS 9: Industria, innovación e infraestructura(6)
ODS 4: Educación de calidad(4)
Origen
scopus(8)
Analysing rational properties of change operators based on forward chaining
Conference ObjectAbstract: We propose an abstract framework to analyse the rationality of change operators defined in a syntactPalabras claves:Autores:Bezzazi H., Janot S., Konieczny S.E., Ramón Pino-PérezFuentes:scopusConfluence operators
Conference ObjectAbstract: In the logic based framework of knowledge representation and reasoning many operators have been defiPalabras claves:Autores: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:scopusLogic Based Merging
ArticleAbstract: Belief merging aims at combining several pieces of information coming from different sources. In thiPalabras claves:Arbitration, Belief change, Belief 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:scopusPutting more dynamics in revision with memory
Conference ObjectAbstract: We have proposed in previous works [14, 15] a construction that allows to define operators for iteraPalabras claves:Autores:Konieczny S.E., Ramón Pino-PérezFuentes:scopusOn iterated contraction: Syntactic characterization, representation theorem and limitations of the levi identity
Conference ObjectAbstract: In this paper we study iterated contraction in the epistemic state framework, offering a counterpartPalabras claves:Autores:Konieczny S.E., Ramón Pino-PérezFuentes:scopusTaxonomy of improvement operators and the problem of minimal change
Conference ObjectAbstract: Improvement operators is a class of belief change operators that is a generalization of the usual clPalabras claves:Autores:Grespan M.M., Konieczny S.E., Ramón Pino-PérezFuentes:scopus