Reconstruction of non‐logical axioms from the propositions of multi‐agent doxastic logic
Abstract
There is a collective of locally communicating agents. They believe in some facts of their world. Any agent changes their beliefs depending on the beliefs of their neighbours. Which rules are to be followed? Based on the agent analogy, this paper shows how to extract non‐logical axioms and structural features of the formal doxastic system with temporal instantiation from given inference of a formula, i.e. series of the propositions.
Keywords
Citation
Adamatzky, A.I. (1998), "Reconstruction of non‐logical axioms from the propositions of multi‐agent doxastic logic", Kybernetes, Vol. 27 No. 8, pp. 952-958. https://doi.org/10.1108/03684929810240365
Publisher
:MCB UP Ltd
Copyright © 1998, MCB UP Limited