Symbolic knowledge extraction from trained neural networks: a sound approach
Artificial Intelligence
Autonomous Agents and Multi-Agent Systems
Logical Omniscience vs. Logical Ignorance on a Dilemma of Epistemic Logic
EPIA '95 Proceedings of the 7th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Belief, information acquisition, and trust in multi-agent systems: a modal logic formulation
Artificial Intelligence
On the logic of iterated belief revision
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Operational pointer semantics: solution to self-referential puzzles I
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Bayesian Nets And Causality: Philosophical And Computational Foundations
Bayesian Nets And Causality: Philosophical And Computational Foundations
Iterated belief revision, revised
Artificial Intelligence
Conciliation through Iterated Belief Merging
Journal of Logic and Computation
Belief Flow in Assertion Networks
ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
| Hi-index | 0.00 |
In the line of some earlier work done on belief dynamics, we propose an abstract model of belief propagation on a graph based on the methodology of the revision theory of truth. A set of postulates is proposed, a dynamic language is developed for portraying the behavior of this model, and its expressiveness is discussed. We compare the proposal of this model with some of the existing frameworks for modelling communication situations.