Skip to main content
SpringerLink
Log in

Human-Computer Interaction and Coevolution in Science AI Robotics

  • Conference paper
  • First Online:
HCI International 2022 – Late Breaking Posters (HCII 2022)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 1655))

Included in the following conference series:

Abstract

Science AI Robotics has significantly advanced over recent years, and there are various ethical and social issues concerning the potential relationships between humans, including human scientists in particular, and science AI robots, namely intelligent robots for autonomous scientific inquiry. In this paper we address those issues in Science AI Robotics and reimagine the future of science as enabled by advances in Science AI Robotics whilst emphasising the role5 and significance of human-computer interaction and coevolution in scientific practice. At the same time, we shed new light on the novel rôles of Integrative AI, in particular Categorical AI (i.e., Category-theoretical AI) and Categorical ML (Categorical Machine Learning) in the context of Ethical AI, especially the development of Intensional AI which internalises symbolic ethical principles within itself (rather than superficially learn extensional ethical behaviours as in purely inductive machine learning).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 99.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 129.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Caliskan, A., et al.: Semantics derived automatically from language corpora contain human-like biases. Science 356, 183–186 (2017)

    Article  Google Scholar 

  2. Harada K., et al.: Co-evolution of Human and AI-Robots to Expand Science Frontiers, Moonshot Project of Japan. https://sites.google.com/g.ecc.u-tokyo.ac.jp/moonshot-ai-science-robot/home. Accessed Jan 2022

  3. King, R., et al.: The automation of science. Science 324, 85–89 (2009)

    Article  Google Scholar 

  4. Knight, W.: AI Can Do Great Things — if It Doesn’t Burn the Planet, WIRED (2020). https://www.wired.com/story/ai-great-things-burn-planet/. Accessed Oct 2021

  5. Liu, Z., Tegmark, M., Poincaré, A.I.: Machine learning conservation laws from trajectories. Phys. Rev. Lett. 126, 180604 (2021)

    Google Scholar 

  6. Maruyama, Y.: Dualities for algebras of Fitting’s many-valued modal logics. Fundamenta Informaticae 106, 273–294 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  7. Maruyama, Y.: From operational chu duality to coalgebraic quantum symmetry. In: Heckel, R., Milius, S. (eds.) CALCO 2013. LNCS, vol. 8089, pp. 220–235. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-40206-7_17

    Chapter  Google Scholar 

  8. Maruyama, Y.: Duality theory and categorical universal logic: with emphasis on quantum structures. In: Proceedings of Quantum Physics and Logic. EPTCS, vol. 171, pp. 100–112 (2014)

    Google Scholar 

  9. Maruyama, Y.: Category theory and foundations of life science: a structuralist perspective on cognition. Biosystems 203, 104376 (2021)

    Article  Google Scholar 

  10. Maruyama, Y.: Topological duality via maximal spectrum functor. Commun. Algebra 48, 2616–2623 (2020)

    Article  MathSciNet  MATH  Google Scholar 

  11. Maruyama, Y.: Prior’s tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism. Synthese 193, 3483–3495 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  12. Maruyama, Y.: Categorical harmony and paradoxes in proof-theoretic semantics. In: Advances in Proof-Theoretic Semantics, pp. 95–114 (2016)

    Google Scholar 

  13. Maruyama, Y.: Meaning and duality: from categorical logic to quantum physics. DPhil thesis, Department of Computer Science, University of Oxford (2017)

    Google Scholar 

  14. Maruyama, Y.: Compositionality and contextuality: the symbolic and statistical theories of meaning. In: Bella, G., Bouquet, P. (eds.) CONTEXT 2019. LNCS (LNAI), vol. 11939, pp. 161–174. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-34974-5_14

    Chapter  Google Scholar 

  15. Maruyama, Y.: The conditions of artificial general intelligence: logic, autonomy, resilience, integrity, morality, emotion, embodiment, and embeddedness. In: Goertzel, B., Panov, A.I., Potapov, A., Yampolskiy, R. (eds.) AGI 2020. LNCS (LNAI), vol. 12177, pp. 242–251. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-52152-3_25

    Chapter  Google Scholar 

  16. Maruyama, Y.: Symbolic and statistical theories of cognition: towards integrated artificial intelligence. In: Cleophas, L., Massink, M. (eds.) SEFM 2020. LNCS, vol. 12524, pp. 129–146. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-67220-1_11

    Chapter  Google Scholar 

  17. Maruyama, Y.: Moral philosophy of artificial general intelligence: agency and responsibility. In: Goertzel, B., Iklé, M., Potapov, A. (eds.) AGI 2021. LNCS (LNAI), vol. 13154, pp. 139–150. Springer, Cham (2022). https://doi.org/10.1007/978-3-030-93758-4_15

    Chapter  Google Scholar 

  18. Maruyama, Y.: Categorical artificial intelligence: the integration of symbolic and statistical AI for verifiable, ethical, and trustworthy AI. In: Goertzel, B., Iklé, M., Potapov, A. (eds.) AGI 2021. LNCS (LNAI), vol. 13154, pp. 127–138. Springer, Cham (2022). https://doi.org/10.1007/978-3-030-93758-4_14

    Chapter  Google Scholar 

  19. Minsky, M.L.: Logical versus analogical or symbolic versus connectionist or neat versus scruffy. AI Mag. 12, 34–51 (1991)

    Google Scholar 

  20. Norvig, P.: On Chomsky and the two cultures of statistical learning. In: Pietsch, W., Wernecke, J., Ott, M. (eds.) Berechenbarkeit der Welt? Springer, Wiesbaden (2017). https://doi.org/10.1007/978-3-658-12153-2_3

    Chapter  Google Scholar 

  21. Thompson, N.C., et al.: The computational limits of deep learning. arXiv:2007.05558 (2020)

  22. Tshitoyan, V., et al.: Unsupervised word embeddings capture latent knowledge from materials science literature. Nature 571, 95–98 (2019)

    Article  Google Scholar 

  23. Udrescu, S.-M., Tegmark, M.: AI Feynman: a physics-inspired method for symbolic regression. Sci. Adv. 6, 2631 (2020)

    Article  Google Scholar 

  24. Xu, T., Maruyama, Y.: Neural string diagrams: a universal modelling language for categorical deep learning. In: Goertzel, B., Iklé, M., Potapov, A. (eds.) AGI 2021. LNCS (LNAI), vol. 13154, pp. 306–315. Springer, Cham (2022). https://doi.org/10.1007/978-3-030-93758-4_32

    Chapter  Google Scholar 

Download references

Acknowledgements

This work was supported by JST (JPMJMS2033) and the Nakatani Foundation. The author would like to thank the Advanced Telecommunications Research Institute for his research visit there.

Author information

Authors and Affiliations

  1. School of Computing, Australian National University, Canberra, Australia

    Yoshihiro Maruyama

  2. Advanced Telecommunications Research Institute, Kyoto, Japan

    Yoshihiro Maruyama

Authors
  1. Yoshihiro Maruyama
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yoshihiro Maruyama .

Editor information

Editors and Affiliations

  1. University of Crete and Foundation for Research and Technology – Hellas (FORTH), Heraklion, Crete, Greece

    Constantine Stephanidis

  2. Foundation for Research and Technology Hellas (FORTH), Heraklion, Crete, Greece

    Margherita Antona

  3. Foundation for Research and Technology Hellas (FORTH), Heraklion, Crete, Greece

    Stavroula Ntoa

  4. University of Central Florida, Orlando, FL, USA

    Gavriel Salvendy

Rights and permissions

Reprints and permissions

Copyright information

© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Maruyama, Y. (2022). Human-Computer Interaction and Coevolution in Science AI Robotics. In: Stephanidis, C., Antona, M., Ntoa, S., Salvendy, G. (eds) HCI International 2022 – Late Breaking Posters. HCII 2022. Communications in Computer and Information Science, vol 1655. Springer, Cham. https://doi.org/10.1007/978-3-031-19682-9_66

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-19682-9_66

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-19681-2

  • Online ISBN: 978-3-031-19682-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation