Abstract
The ultimate goal of the enterprise1 is to give a sound and complete, yet descriptively adequate logic for awareness in its relation to human belief. Apart from academic interest this is also important for future communication systems which will be required to act as if they understand how humans think. Like [14] we do not really expect machines to become conscious; however, by describing and implementing formal properties of consciousness we can make computers seem more intelligent and user-friendly.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Chellas, B., Modal Logic. An Introduction, Cambridge University Press, Cambridge UK, 1980.
Fagin, R. & J. Halpern, ‘Belief, awareness and limited reasoning’, Artificial Intelligence 34, pp. 39–76, 1988.
Gillet, E. & P. Gochet, La logique de la connaissance. Le problème de l’omniscience logique, Université de Liège, Séminaire de Logique et d’Epistémologie, 1990.
Goldwasser, S., S. Micali & C. Rackoff, `The knowledge complexity of interactive proof systems’, Proceedings of the 17 th ACM Symposium on Theory of Computation, pp. 291–304, 1985.
Hintikka, J., Knowledge and Belief. An Introduction to the Logic of the Two Notions, Cornell University Press, Ithaca, 1962.
Hintikka, J., ‘Impossible possible worlds vindicated’, Journal of Philosophical Logic 4, pp. 475–484, 1975.
van der Hoek, W. & J.-J. Meyer, Possible logics for belief, report IR-170, Vrije Universiteit Amsterdam, 1988.
Huang, Z. & K. Kwast, ‘Awareness, negation and logical omniscience’, in J. van Eijck, Logics in AI, Proceedings JELIA’90, pp.282–300, LNCS 478, Springer-Verlag, Berlin, 1991.
Jaspars, J., ‘Fused modal logic and inconsistent belief’, Proceedings of WOCFAI ’91,Angkor, Paris, 1991 (also to appear in Studia Logica).
Konolige, K., ‘What awareness isn’t: a sentential view of implicit and explicit belief’, Proceedings of TARK1 (Monterey CA), pp. 241–250, Morgan Kaufmann, 1986.
Kripke, S., ‘Semantical analysis of modal logic II. Non-normal modal propositional calculi’, in: Addison, Henkin & Tarski (eds.) The theory of models, pp. 206–220, North Holland, Amsterdam, 1965.
Montague, R., ‘Pragmatics’, in R. Klibansky, Contemporary Philosophy: a Survey, La Nuovo Italia Editrice, Florence, 1968. Reprinted in Montague, Formal Philosophy, Yale University Press, 1974.
Pearce, D. & H. Wansing, ‘On the methodology of possible worlds semantics, II: non-normal worlds and propositional attitudes’, Gruppe für Logik, Wissenstheorie und Information an der Freie Universität Berlin, Bericht 2/89, 1989. (to appear in Acta Philosophica Fennica).
Penrose, R. The Emperor’s New Mind: Concerning Computers, Minds and the Laws of Physics, Oxford University Press, 1990.
Rantala, V., ‘Impossible worlds semantics and logical omniscience’, Acta Philosophica Fennica 35, pp. 106–115, 1982.
Rantala, V., `Quantified modal logic: non-normal worlds and propositional attitudes’, Studia Logica 41, pp. 41–65, 1982.
Rescher, N. & R. Brandom, The Logic of Inconsistency, Basil Blackwell, London, 1980.
Scott, D., ‘Advice on modal logic’, in K. Lambert, Philosophical Problems in Logic, pp. 143–173, Reidel, 1970.
Thijsse, E. ‘Partial propositional and modal logic: the overall theory’, M. Stokhof & L. Torenvliet (eds.) Proceedings of the 7 th Amsterdam Colloquium, Part 2, pp. 555–579, ITLI, Amsterdam, 1990.
Thijsse, E., Partial Logic and Knowledge Representation, dissertation, ITK, Katholieke Universiteit Brabant, Tilburg, 1992.
Vardi, M., ‘On epistemic logic and logical omniscience’, Proceedings of TARK1 (Monterey CA), pp. 293–305, Morgan Kaufmann, 1986.
Wansing, H., ‘Bemerkungen zur Semantik nicht-normaler möglicher Welten’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 35, pp. 551–557, 1989.
Wansing, H. ‘A general possible worlds framework for reasoning about knowledge and belief’, Studia Logica 49, pp. 523–539, 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Thijsse, E. (1993). On Total Awareness Logics. In: de Rijke, M. (eds) Diamonds and Defaults. Synthese Library, vol 229. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-8242-1_11
Download citation
DOI: https://doi.org/10.1007/978-94-015-8242-1_11
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4286-6
Online ISBN: 978-94-015-8242-1
eBook Packages: Springer Book Archive