Skip to main content
SpringerLink
Log in

PERI.2 Goes to PreSchool and Beyond, in Search of AGI

  • Conference paper
  • First Online:
Artificial General Intelligence (AGI 2022)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 13539))

Included in the following conference series:

Abstract

After introductory remarks, we share our two-part theoretical position, viz. that: (P1) The best overarching approach to suitably defining GI, and obtaining AGI, is via formal logic, including specifically via logic-based learning that is academic in nature; and (P2) AI/AGI is best pursued by seeking artificial agents that pass determinate cognitive tests. We note that in striking harmony with this position is work on AGI by Goertzel et al. that has inspired us; this is work in which PreSchool for would-be AGIs provides an attractive route toward AGI itself. While Goertzel et al. envisage a virtual academic environment, we have in mind physical classrooms, for physical robots. We describe the robot PERI.2, which we have started to send to school.

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 69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 89.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

Notes

  1. 1.

    We note here one vocal objection to that consensus: Yann LeCun has claimed that humans do not have general intelligence [24]. He discusses a hypothetical scenario wherein a human’s visual field is permuted as an example of our lack of general intelligence, arguing (it seems) that the ability to learn this permutation is required of anything which could be considered “general” intelligent. While an attempted refutation of LeCun’s position is out of scope for this paper, we do volunteer here that this “permutation skill” is clearly not particularly intelligent by any reasonable definition of the word (let alone by any reputable test of intelligence/cognitive ability we are aware of), and hence any definition of general intelligence which requires it as a prerequisite is not one we find at all plausible.

  2. 2.

    If some of our readers are artificial, and not human persons, then they have AGI.

  3. 3.

    On the other hand, among prominent AGI researchers, we are incidentally not alone in our emphasis on logic-based r &d; see e.g. [30], to which we return below.

  4. 4.

    [17, 18] also point out that this area finds its way into early eduction.

  5. 5.

    ShadowProver has long been used to engineer logic-based intelligent artificial agents in our lab. A robust example can be found e.g. in [19]. While ShadowProver’s reasoning is deductive, it is the basis for types of reasoning we believe are key to AGI r &d, e.g. nonmonotonic/defeasible reasoning. See [10] for an example of an inductive logic and an inductive automated reasoner (ShadowAdjudicator).

  6. 6.

    Since all symbolic information and processing in AI/AGI can carried out in a formal logic, feel free to replace ‘Symbolic’ here with ‘Logicist’ or ‘Logic-based.’

References

  1. Banerjee, S., Bringsjord, S., Giancola, M., Govindarajulu, N.S.: Qualitative mechanical problem-solving by artificial agents: further progress, under psychometric AI. In: The International FLAIRS Conference Proceedings, vol. 35 (2022)

    Google Scholar 

  2. Bringsjord, S., Govindarajulu, N.: The theory of cognitive consciousness, and \(\Lambda \) (lambda). J. Artif. Intell. Conscious. 7(1), 155–181 (2020). http://kryten.mm.rpi.edu/sb_nsg_lambda_jaic_april_6_2020_3_42_pm_NY.pdf, The URL here goes to a preprint of the paper

  3. Bringsjord, S., Govindarajulu, N.S., Banerjee, S., Hummel, J.: Do machine-learning machines learn? In: Müller, V.C. (ed.) PT-AI 2017. SAPERE, vol. 44, pp. 136–157. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-96448-5_14

    Chapter  Google Scholar 

  4. Bringsjord, S., Licato, J.: Psychometric artificial general intelligence: the Piaget-MacGuyver room. In: Wang, P., Goertzel, B. (eds.) Foundations of Artificial General Intelligence, pp. 25–47. Atlantis Press, Amsterdam (2012). http://kryten.mm.rpi.edu/Bringsjord_Licato_PAGI_071512.pdf, This URL is to a preprint only

  5. Bringsjord, S., Schimanski, B.: What is artificial intelligence? Psychometric AI as an answer. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-2003), pp. 887–893. Morgan Kaufmann, San Francisco (2003). http://kryten.mm.rpi.edu/scb.bs.pai.ijcai03.pdf

  6. Bringsjord, S.: Declarative/logic-based cognitive modeling. In: Sun, R. (ed.) The Handbook of Computational Psychology, pp. 127–169. Cambridge University Press, Cambridge (2008). http://kryten.mm.rpi.edu/sb_lccm_ab-toc_031607.pdf, This URL goes to a preprint only

  7. Bringsjord, S.: The logicist manifesto: at long last let logic-based AI become a field unto itself. J. Appl. Logic 6(4), 502–525 (2008). http://kryten.mm.rpi.edu/SB_LAI_Manifesto_091808.pdf

  8. Bringsjord, S., Giancola, M., Govindarajulu, N.S.: Logic-based modeling of cognition. In: Sun, R. (ed.) The Handbook of Computational Psychology. Cambridge University Press, Cambridge (forthcoming). http://kryten.mm.rpi.edu/Logic-basedComputationalModelingOfCognition.pdf

  9. Bringsjord, S., Govindarajulu, N.S., Licato, J., Giancola, M.: Learning ex nihilo. In: 6th Global Conference on Artificial Intelligence, GCAI 2020. EPiC Series in Computing, vol. 72, pp. 1–27. International Conferences on Logic and Artificial Intelligence at Zhejiang University (ZJULogAI), EasyChair Ltd., Manchester (2020). https://doi.org/10.29007/ggcf. http://easychair.org/publications/paper/NzWG

  10. Bringsjord, S., Govindarajulu, N., Giancola, M.: Automated argument adjudication to solve ethical problems in multi-agent environments. Paladyn J. Behav. Robot. 12, 310–335 (2021). http://kryten.mm.rpi.edu/AutomatedArgumentAdjudicationPaladyn071421.pdf, The URL here goes to a rough, uncorrected, truncated preprint as of 071421

  11. Bringsjord, S., Sundar Govindarajulu, N.: Rectifying the mischaracterization of logic by mental model theorists. Cogn. Sci. 44(12), (2020). https://doi.org/10.1111/cogs.12898

  12. Duch, W., Oentaryo, R.J., Pasquier, M.: Cognitive architectures: where do we go from here? In: AGI, pp. 122–136 (2008)

    Google Scholar 

  13. Gardner, H.: Frames of Mind: The Theory of Multiple Intelligences. Basic Books, New York (1983)

    Google Scholar 

  14. Goertzel, B.: Artificial general intelligence. Scholarpedia 10(11), 31847 (2015). https://doi.org/10.4249/scholarpedia.31847, revision #154015

  15. Goertzel, B.: Artificial general intelligence: concept, state of the art, and future prospects. J. Artif. Gen. Intell. 1–48 (2014). https://doi.org/10.2478/jagi-2014-0001

  16. Goertzel, B.: The general theory of general intelligence: a pragmatic patternist perspective, 1–64. arXiv:2103.15100 (2021)

  17. Goertzel, B., Bugaj, V.: AGI preschool: a framework for evaluating early-stage human-like AGIs. In: Proceedings of the 2nd Conference on Artificial General Intelligence, pp. 12–17. Atlantis Press (2009). https://www.atlantis-press.com/proceedings/agi09/1826

  18. Goertzel, B., Pennachin, C., Geisweiller, N.: AGI preschool. In: Engineering Intelligence, Part 1: A Path to Advanced AGI via Embodied Learning and Cognitive Synergy, vol. 5, pp. 337–354. Atlantis Thinking Machines. Atlantis Press, Amsterdam (2014)

    Google Scholar 

  19. Govindarajulu, N., Bringsjord, S.: On automating the doctrine of double effect. In: Sierra, C. (ed.) Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-2017), pp. 4722–4730. International Joint Conferences on Artificial Intelligence (2017). https://doi.org/10.24963/ijcai.2017/658

  20. Govindarajulu, N., Bringsjord, S., Peveler, M.: On quantified modal theorem proving for modeling ethics. In: Suda, M., Winkler, S. (eds.) Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE 2019), Electronic Proceedings in Theoretical Computer Science, vol. 311, pp. 43–49. Open Publishing Association, Waterloo (2019). http://eptcs.web.cse.unsw.edu.au/paper.cgi?ARCADE2019.7.pdf. The ShadowProver system can be obtained here: https://naveensundarg.github.io/prover/

  21. Gust, H., Krumnack, U., Schwering, A., Kühnberger, K.U.: The role of logic in AGI systems: towards a lingua franca for general intelligence, pp. 126–131, June 2009. https://doi.org/10.2991/agi.2009.28

  22. Hammer, P., Lofthouse, T., Wang, P.: The OpenNARS implementation of the non-axiomatic reasoning system. In: AGI (2016)

    Google Scholar 

  23. Hutter, M.: Universal Artificial Intelligence: Sequential Decisions Based on Algorithmic Probability. Springer, New York (2005). https://doi.org/10.1007/b138233

    Book  MATH  Google Scholar 

  24. LeCun, Y.: Yann LeCun: deep learning, convolutional neural networks, and self-supervised learning. Lex Fridman Podcast, August 2019. Transcript of podcast. https://www.happyscribe.com/public/lex-fridman-podcast-artificial-intelligence-ai/yann-lecun-deep-learning-convolutional-neural-networks-and-self-supervised-learning#paragraph_2405. Relevant portion begins at 00:40:05

  25. Levesque, H., Lakemeyer, G.: Cognitive robotics. In: Handbook of Knowledge Representation, chap. 24, pp. 869–882. Elsevier, Amsterdam (2007). http://www.cs.toronto.edu/~hector/Papers/cogrob.pdf

  26. Lovett, A., Bridewell, W., Bello, P.: Selection, engagement, & enhancement: a framework for modeling visual attention. In: Proceedings of the 43rd Annual Conference of the Cognitive Science Society, pp. 1893–1899. Cognitive Science Society, Vienna (2021)

    Google Scholar 

  27. Shapiro, S., Bona, J.: The GLAIR cognitive architecture. Int. J. Mach. Conscious. 02, 144–152 (2010). https://doi.org/10.1142/S1793843010000515

    Article  Google Scholar 

  28. Simpson, S.: Subsystems of Second Order Arithmetic, 2nd edn. Cambridge University Press, Cambridge (2010)

    MATH  Google Scholar 

  29. Wang, P.: Cognitive Logic versus Mathematical Logic (2004)

    Google Scholar 

  30. Wang, P.: Rigid Flexibility: The Logic of Intelligence. Applied Logic Series, vol. 34. Springer, Dordrecht (2006). Ed. by D. Gabbay and J. Barwise

    Google Scholar 

  31. Wang, P.: Non-Axiomatic Logic. A Model of Intelligent Reasoning, Sciendo (2013)

    Google Scholar 

  32. Wang, P.: Proceedings of the 6th International Conference on Artificial General Intelligence. In: Artificial General Intelligence, pp. 160–169, July 2013. https://doi.org/10.1007/978-3-642-39521-5_17

  33. Wang, P.: On defining artificial intelligence. J. Artif. Gen. Intell. 10, 1–37 (2019)

    Article  Google Scholar 

  34. Wang, P., Li, X., Hammer, P.: Self in NARS, an AGI system. Front. Robot. AI 5, 20 (2018)

    Article  Google Scholar 

Download references

Acknowledgements

We are grateful to: AFOSR for a DURIP award to Bringsjord & Govindarajulu that has brought PERI.2 to physical life, to ONR for sponsorship of r &d devoted to meta-cognitively perceptive artificial agents (award # N00014-22-1-2201), and to both AFOSR (currently award #FA9550-17-1-0191) and ONR for longstanding support of r &d in automated reasoning, planning, and logic-based learning.

Author information

Authors and Affiliations

  1. Rensselaer AI & Reasoning (RAIR) Lab, Rensselaer Polytechnic Institute (RPI), Troy, NY, 12180, USA

    Selmer Bringsjord, Naveen Sundar Govindarajulu, John Slowik, James Oswald, Mike Giancola, John Angel, Shreya Banerjee & Aidan Flaherty

Authors
  1. Selmer Bringsjord
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Naveen Sundar Govindarajulu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. John Slowik
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. James Oswald
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Mike Giancola
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. John Angel
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Shreya Banerjee
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Aidan Flaherty
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Selmer Bringsjord .

Editor information

Editors and Affiliations

  1. SingularityNET Foundation, Amsterdam, The Netherlands

    Ben Goertzel

  2. SingularityNET Foundation, Amsterdam, The Netherlands

    Matt Iklé

  3. SingularityNET Foundation, Amsterdam, The Netherlands

    Alexey Potapov

  4. Russian Academy of Sciences, Novosibirsk, Russia

    Denis Ponomaryov

Rights and permissions

Reprints and permissions

Copyright information

© 2023 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

Bringsjord, S. et al. (2023). PERI.2 Goes to PreSchool and Beyond, in Search of AGI. In: Goertzel, B., Iklé, M., Potapov, A., Ponomaryov, D. (eds) Artificial General Intelligence. AGI 2022. Lecture Notes in Computer Science(), vol 13539. Springer, Cham. https://doi.org/10.1007/978-3-031-19907-3_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-19907-3_17

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-19906-6

  • Online ISBN: 978-3-031-19907-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation