Logic of Algorithmic Knowledge

Dariusz Surowik

doi:10.1515/slgr-2015-0035

.blurhash-client-img { display: none !important; }

Logic of Algorithmic Knowledge

Studies in Logic, Grammar and Rhetoric

Volume 42 (2015): Issue 1 (September 2015)

By: Dariusz Surowik

Open Access

|Nov 2015

Abstract

In this paper we consider the construction of a LAK system of temporal-epistemic logic which is used to formally describe algorithmic knowledge. We propose an axiom system of LAK and discuss the basic properties of this logic.

References

[1] K. Binmore, Shin H. S.,(1992,pp. 141-154), Algorithmic knowledge and game theory, Knowledge, belief, and strategic interaction (C. Bicchieri and M.-L. Dalla-Chiara, eds.), Cambridge University Press.10.1017/CBO9780511983474.010
Search in Google Scholar
[2] R. Fagin, J. Y. Halpern, Y.Moses, and M. Y.Vardi., (1995), Reasoning about Knowledge., Cambridge, Mass., MIT Press.
Search in Google Scholar
[3] J. Y. Halpern, Moses Y., Vardi M. Y., (1994, pp. 255-266) Algorithmic know- ledge, Theoretical Aspects of Reasoning about Knowledge: Proc. Fifth Confer- ence (R. Fagin, ed.), Morgan Kaufman.10.1016/B978-1-4832-1453-5.50022-2
Search in Google Scholar
[4] D. N. Ho, (1998, pp. 275-279 ), On the epistemic foundations of agent theories. In M. P. Singh, A. S. Rao, and M. J. Wooldridge, editors,Intelligent Agents IV. Proceedings of ATAL-97, volume 1365 of LNAI, Springer Verlag, 10.1007/BFb0026765
Search in Google Scholar
[5] D. N. Ho, Knowledge, Logical Omniscience, and Resource-bounded Reasoning, Institute for Information Systems, University of Luebeck, http://citeseerx.ist. psu.edu/viewdoc/downloaddoi=10.1.1.66.4838rep=rep1type=pdf
Search in Google Scholar
[6] A. Moreno, (2000), Modelling rational inquiry in non-ideal agents. Ph.d.thesis, Tarragona, Universitat Politecnica de Catalunya.
Search in Google Scholar
[7] D. Surowik, (2013), Logic, Knowledge and Time (in Polish), Bialystok Univer- sity.
Search in Google Scholar