Reconstruction of non-logical axioms from the propositions of multi-agent doxastic logic

Kybernetes

Volumn 27, Issue 8-9, 1998, Pages 952-958

  Adamatzky, Andrew I ^a  

^a UNIVERSITY OF THE WEST OF ENGLAND   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

LOGICAL AXIOMS; MULTI AGENT;

MULTI AGENT SYSTEMS;

EID: 0032352563     PISSN: 0368492X     EISSN: None     Source Type: Journal    
DOI: 10.1108/03684929810240365     Document Type: Article

References (17)

1. Adamatzky, A. (1994), Identification of Cellular Automata, Francis & Taylor, London.
2. Adamatzky, A.I. (1993), Identification of Distributed Intelligence. Izvestia RAN. Tekhnicheskaya Kibernetika. (Proc. RAS. Technical Cybernetics) (in Russian), Vol. 5, pp. 359-69.
3. Adamatzky, A.I. (1997), "Automatic programming of cellular automata: identification approach", Kybernetes, Vol. 26, pp. 126-34.
4. Adamatzky, A.I. (1998), "Master-slave algebra: on the binary compositions of distributed beliefs", Applied Mathematics and Computation (in press).
5. Chandy, M. and Misra, J. (1989), "How process learn", Distributed Computing, Vol. 1, pp. 40-52.
6. Fischer, M.J. and Immerman, N. (1986), "Foundations of knowledge for distributed systems", in Halpern, J.Y. (Ed.), Theoretical Aspects of Reasoning About Knowledge, Morgan Kaufmann, CA, pp. 171-86.
7. Gerasimova, I. (1989a), "Logical analysis of discoursions based on the personal knowledges", Syntactic and Semantic Investigations in Non-Intensional Logics (in Russian), Nauka, Moscow.
8. Gerasimova, I.A. (1989b), Norms with Provisoes and Discoursions in Lack of Information (in Russian), Nauka, Moscow.
9. Girl, R.A. (1974), "Epistemic logic, language, and concepts", Logique et Analyse, Vol. 64, pp. 359-73.
10. Halpern, J.Y. (1987), "Using reasoning about knowledge to analyse distributed systems", Ann. Rev. Comput. Sci. Vol. 2, pp. 37-68.
11. Halpern, J.Y. and Moses, Y. (1989), "Knowledge and common knowledge in distributed environment", IBM Research Report RJ 4421 (47909) 10/2/84, Revised 6/14/89.
12. Halpern, J.Y. and Zuck, L.D. (1989), "A little knowledge goes a long way", IBM Research Report RJ 5857 (58908) 10/6//87, Revised 10/16/89.
13. Hintikka, J.J. (1962), Knowledge and Belief, Cornell University Press, Ithaca, NY.
14. Ladner, R.E. and Reif, J.H. (1986), "The logic of distributed protocols", in Halpern, J.Y. (Ed.), Theoretical Aspects of Reasoning About Knowledge, Morgan Kaufmann, CA, pp. 207-22.
15. Rennie, M.K. (1970), "Models for multiply-modal systems", Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Vol. 16. pp. 279-92.
16. Schaller, M. and Svozil, K. (1996), "Automation logic", International Journal of Theoretical Physics, Vol. 35, pp. 911-40.
17. Svozil, K. and Zapatrin, R.R. (1996), "Empirical logic of finite automata: microstatements versus macrostatements", International Journal of Theoretical Physics, Vol. 35, pp. 1541-8.