Abstract
An agent’s awareness has previously been modelled as a modal operator in such a way that awareness can be iterated, and consciousness formalised as awareness of awareness. Agents are not necessarily human and may a priori be other animals, organisations or software. In that generality awareness is presumed to exist in degrees, and so the expected Boolean model of agent awareness has been augmented with a numerical one. The context is an adaptive multi-agent system in which agents, individually and in groups, control actions and adapt. So far the approach has been developed for individual agents only.
This paper summarises that approach with a Galois embedding between the Boolean and numerical models, and then continues it to more than one agent by formalising empathy between agents. The formalism is applied to give accounts of the Sally-Anne Test of human empathy and the more game-theoretic Keynesian Beauty Contest.
Similar content being viewed by others
References
Atamian, H.S., Creux, N.M., Brown, E.A., Garner, A.G., Blackman, B.K., Harmer, S.L.: Circadian regulation of sunflower heliotropism, oral orientation, and pollinator visits. Science 353(6299), 587–590 (2016)
Baars, B.J.: A Cognitive Theory of Consciousness. Cambridge University Press, Cambridge (1998)
Baron-Cohen, S., Leslie, A., Frith, U.: Does the autistic child have a ‘theory of mind’? Cognition 21(1), 37–46 (1985)
Bengio, Y.: The Consciousness Prior (2019). arXiv:1709.08568
Chittka, A., Wurm, Y., Chittka, L.: Epigenetics: the making of ant castes. Curr. Biol. 22(19), 835–838 (2012)
Dehaene, S.: Consciousness and the Brain. Penguin, Baltimore (2014)
Garson, J.: Modal logic. In: Zalta, E.N., Nodelman, U. (co-principal eds.) The Stanford Encyclopedia of Philosophy (Spring 2023 Edition) (2023). https://plato.stanford.edu/archives/spr2023/entries/logic-modal/
Ginsburg, S., Jablonka, E.: The Evolution of the Sensitive Soul: Learning and the Origins of Consciousness. MIT Press, Cambridge (2019)
Hameroff, S., Penrose, R.: Consciousness in the universe: a review of the ‘Orch OR’ theory. Phys. Life Rev. 11(1), 39–78 (2014)
Hennicker, R., Knapp, A., Wirsing, M.: Epistemic ensembles. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation, Adaptation and Learning, Proceedings, Part III. Lecture Notes in Computer Science, vol. 13703, pp. 110–126. Springer, Berlin (2022)
Henrich, J., Muthukrishna, M.: What makes us smart? Working paper, Harvard University (2022)
Hoffman, D.D., Singh, M.: Computational evolutionary perception. Perception 41, 1073–1091 (2012)
Hölzl, M., Gabor, T.: Reasoning and learning for awareness and adaptation. In: Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp. 249–290. Springer, Berlin (2015)
Keynes, J.M.: The General Theory of Employment, Interest and Money. Macmillan Co., New York (1936)
Mooney, D., Swift, R.: A Course in Mathematical Modeling, Classroom Resource Materials. Math. Assoc. of America, Washington (1999)
Sanders, J.W., Turilli, M.: Dynamics of control. In: TASE2007, pp. 440–449. IEEE Comput. Soc., Shanghai (2007)
Soros, G.: Fallibility, reflexivity and the human uncertainty principle. J. Econ. Methodol. 20(4), 309–329 (2014)
Valiant, L.: Probably Approximately Correct: Nature’s Algorithms for Learning and Prospering in a Complex World. Basic Books, New York (2013)
Van Gulick, R.: Consciousness. In: Zalta, E.N., Nodelman, U. (co-principal eds.) The Stanford Encyclopedia of Philosophy (Spring 2023 Edition) (2014). Sect. 9.2, Reflexive theories, January. https://plato.stanford.edu/entries/consciousness/
Wieland, G.: Notes for a seminar. Circulated privately (2023)
Wilson, E.O.: The Social Conquest of Earth. Liveright, Reprint edn. (2013)
Yifeng, C., Sanders, J.W.: A modal approach to consciousness of agents. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation, Adaptation and Learning, Proceedings, Part III. Lecture Notes in Computer Science, vol. 13703, pp. 127–141. Springer, Berlin (2022)
Yifeng, C., Sanders, J.W.: Consciousness by degree. In: Bowen, J., Li, Q., Xu, Q. (eds.) Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. Springer Lecture Notes in Computer Science, vol. 14080. Springer, Berlin (2023)
Acknowledgements
They are grateful for the critical, informed and supportive reviews (particularly in this unorthodox topic); the paper has benefitted considerably. They also thankful Martin Wirsing for his help and encouragement.
Funding
The authors acknowledge the support of Chinese grant 2021YFB0301100.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Yifeng, C., Sanders, J.W. A modal approach to conscious social agents. Int J Softw Tools Technol Transfer 25, 707–716 (2023). https://doi.org/10.1007/s10009-023-00732-z
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10009-023-00732-z