We have included a few reading lists. The most important text is the Handbook of KRR, which is very extensive. You will be able to help long before you have completed it. The most important skills you can acquire are  Prolog Programming and understanding of Event Calculus as LOGICMOO sequegens are a subset of it.

The AGI reading list is what you'd need to read if you really want to understand the Full 5 Year Plan, but if you're a read-as-you-go type of learner we are going to be making some lesson plans and what you'll need to be functional is dependent on what pieces of the project you want to work on.

Our Discord Server Invite Link https://discord.gg/JREW7F2

Want to see a Technical Overview?

If you haven't already, check out the LM489 Intro.

Perhaps you'll want to take a look at the Intro to LOGICMOO's AGI

Then you should see this Platform Overview.

It's important to understand that LOGICMOO is a "representationalist" cognitive architecture that uses several multi-coding agents. For information about existing cognitive architectures see Psychologically Inspired Symbolic Cognitive Architectures. The LOGICMOO system is similarly complex. 

We've got diagrams of its modules on the way. Hold tight. 

Required readings for Narrative AGI:

Daydreaming in humans and machines - ET Mueller 
    Reading order: Chapter 10, then  1-9, chapter 11 (optional). 

Script Plans Goals and Understanding - Shank, Abelson

    Reading order: Chapter 1, then chapter 7-9, then  chapter 2-6

Conceptual Structures
    All of it. Maybe the appendix is optional. 

These Links

Next is the KRR handbook, its super important to note that this is probably NOT the classical logic you remember or were taught. The logical syntax is similar but the Semantics of the logic are different because the name Classical Logic was co-opted by those who study Constructive/ Intuitionistic Logic in the last 20 years to mean "anything that isn't Intuitionistic Logic."
This is also true of the phrase "First Order Logic." There are two separate semantics of First and Second order logic. Our "First Order Logic" might be stand in for "First, Second and all Higher Order logics" in the more modern sense.   

https://dai.fmph.uniba.sk/~sefranek/kri/handbook/handbook_of_kr.pdf
At absolute minimum:

Ch 7- Elaboration Tolerance - Ken Forbus ( McCarthy)
Ch 17 - Erik Mueller Elaboration Tolerance
(Please note that in Elaboration Tolerance by John McCarthy - “formalisms” are actually like “formula/functions” - not literally formalisms.)

Ch 18 - Dorthy
H-turner - ET 

And you may still need to add a Discursive Logic/ Argumentative Logic book!

Still need to get familiar with Prolog?

If you're learning Prolog you should read at least 2 books- here's some we recommend.

  
This wiki is licensed under a Creative Commons 2.0 license
XWiki Enterprise 12.10.2 - Documentation