Mostrando 10 resultados de: 26
Filtros aplicados
Publisher
Proceedings of the International Conference on Knowledge Representation and Reasoning(8)
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics(6)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(5)
19th International Conference on Principles of Knowledge Representation and Reasoning Kr 2022(1)
AI Communications(1)
Área temáticas
Métodos informáticos especiales(14)
Epistemología (Teoría del conocimiento)(10)
Lógica filosófica(8)
Funcionamiento de bibliotecas y archivos(5)
Programación informática, programas, datos, seguridad(5)
Área de conocimiento
Inteligencia artificial(14)
Ciencias de la computación(13)
Lógica(9)
Inferencia(5)
Algoritmo(4)
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: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: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., Mattia Medina Grespan, Ramón Pino-PérezFuentes:scopusCredibility-limited improvement operators
Conference ObjectAbstract: In this paper we introduce and study credibility-limited improvement operators. The idea is to accepPalabras claves:Autores:Booth R., Fermé E., 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:scopusAnalysing 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érez, Stéphane JanotFuentes: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: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:scopusMerging with integrity constraints
Conference ObjectAbstract: We consider, in this paper, the problem of knowledge base merging with integrity constraints. We proPalabras claves:Autores:Konieczny S.E., Ramón Pino-PérezFuentes:scopus