Abstract
Under relational models, epistemic logic agents are logically omniscient. A common strategy to avoid this has been to distinguish between implicit and explicit knowledge, and approaches based on relational models have used implicit knowledge as a primitive, defining explicit knowledge as implicit knowledge that satisfies some additional requirement. In this work we follow the opposite direction: using neighbourhood models, we take explicit knowledge as a primitive, then defining implicit knowledge as what the agent will know explicitly in an ‘ideal’ state. This approach, though natural, does not satisfy two ‘intuitive’ properties: explicit knowledge does not need to be implicit, and the consequent of an explicitly known implication with explicitly known antecedent does not need to be implicitly known; we discuss why this is the case. Then a modus ponens operation is defined, and it is shown how it satisfies a third ‘intuitive’ property: if the agent knows explicitly an implication and its antecedent, then after a modus ponens step she will know explicitly the consequent.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Hintikka, J.: Knowledge and Belief: An Introduction to the Logic of the Two Notions. Cornell University Press, Ithaca (1962)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about knowledge. The MIT Press, Cambridge (1995)
Levesque, H.J.: A logic of implicit and explicit belief. In: Proc. of AAAI 1984, Austin, TX, pp. 198–202 (1984)
Vardi, M.Y.: On epistemic logic and logical omniscience. In: Halpern, J.Y. (ed.) TARK, pp. 293–305. Morgan Kaufmann Publishers Inc., San Francisco (1986)
Fagin, R., Halpern, J.Y.: Belief, awareness, and limited reasoning. Artificial Intelligence 34(1), 39–76 (1988)
Velázquez-Quesada, F.R.: Dynamic epistemic logic for implicit and explicit beliefs (2013), http://personal.us.es/frvelazquezquesada/docs/delieb-01-05.pdf (accepted for publication)
Renne, B.: Multi-agent justification logic: Communication and evidence elimination. Synthese 185(suppl. 1), 43–82 (2012)
Scott, D.: Advice in modal logic. In: Lambert, K. (ed.) Philosophical Problems in Logic, Reidel, Dordrecht, The Netherlands, pp. 143–173 (1970)
Montague, R.: Universal grammar. Theoria 36(3), 373–398 (1970)
Pacuit, E.: Neighborhood semantics for modal logic. an introduction. In: Lecture Notes for the ESSLLI Course A Course on Neighborhood Structures for Modal Logic (2007)
Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)
van Benthem, J., Pacuit, E.: Dynamic logics of evidence-based beliefs. Studia Logica 99(1), 61–92 (2011)
Areces, C., Figueira, D.: Which semantics for neighbourhood semantics? In: Boutilier, C. (ed.) IJCAI 2009, pp. 671–676. Morgan Kaufmann Publishers Inc., San Francisco (2009)
Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. The Journal of Symbolic Logic 50(2), 510–530 (1985)
Rott, H.: Change, Choice and Inference: a Study of Belief Revision and Nonmonotonic Reasoning. Oxford Logic Guides, vol. 42. Oxford Science Publications (2001)
Gold, E.M.: Language identification in the limit. Information and Control 10(5), 447–474 (1967)
Gierasimczuk, N.: Bridging learning theory and dynamic epistemic logic. Synthese (Knowledge, Rationality and Action) 169(2), 371–384 (2009)
Plaza, J.A.: Logics of public communications. In: Emrich, M.L., Pfeifer, M.S., Hadzikadic, M., Ras, Z.W. (eds.) Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 201–216. Oak Ridge National Laboratory, ORNL/DSRD-24, Tennessee (1989)
Gerbrandy, J., Groeneveld, W.: Reasoning about information change. Journal of Logic, Language, and Information 6(2), 147–196 (1997)
van Ditmarsch, H., Kooi, B.P.: The secret of my success. Synthese 151(2), 201–232 (2006)
Holliday, W.H., Icard, T.F.: Moorean phenomena in epistemic logic. In: Beklemishev, L., Goranko, V., Shehtman, V. (eds.) Advances in Modal Logic, pp. 178–199. College Publications (2010)
Velázquez-Quesada, F.R., Nepomuceno-Fernández, Á., Soler-Toscano, F.: An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution. To appear in Journal of Applied Logic (2013), doi:10.1016/j.jal.2013.07.002
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Velázquez-Quesada, F.R. (2013). Explicit and Implicit Knowledge in Neighbourhood Models. In: Grossi, D., Roy, O., Huang, H. (eds) Logic, Rationality, and Interaction. LORI 2013. Lecture Notes in Computer Science, vol 8196. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40948-6_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-40948-6_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40947-9
Online ISBN: 978-3-642-40948-6
eBook Packages: Computer ScienceComputer Science (R0)