We have included a few reading lists.  But 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 for
LOGICMOO-FRDCSA:  https://discord.gg/JREW7F2

Required readings for Narrative AGI:

When reading the books bellow, please realize when they talk about FOL they are not talking about mathematical FOL (first-order logic) or mathematical SOL (second-order logic).  The logical syntax is similar but the Semantics of the logic are different.

This is also true of the phrase "Classical Logic" which was co-opted by those who study Constructive/ Intuitionistic Logic in the last 20 years to mean "anything that isn't Intuitionistic Logic" - but for us "Classical Logic" means only the syntax not the semantics.

Narrative Based Postdictive Reasoning for Cognitive Robots- Manfred Eppe and Mehul Bhatt

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. You can find it in the Handbook of KRR.

Handbook of KRR

   These are most relevant chapters for us:

  • Ch 5 - Conceptual Structures (revised!)-  Jon F. Sowa
  • Ch 7 - Answer Set Prolog
  • Ch 16 - Elaboration Tolerance - Ken Forbus ( McCarthy)
  • Ch 17 - Erik Mueller Event Calculus
  • Ch 18 - Patrick Doherty and Jonas KvarnStröm
  • Ch 20.7 - Mueller’s Story Understanding System 

As for the rest of The Handbook of KRR: it's the answer to many small "but why are we doing it like this?" type questions but if you're someone who can act on faith that there is a plan I think it'd be alright to skip it and get started on something else. But if you're someone who wants to know everything about AGI it’s also the most complete review of what computers are already capable of, it explains how GOFAI scientists knew we could do these things and how it was done with higher logics. It puts together things a person would have to know at the end of all their studying to be qualified to design AGI. There could be any number of reading and study prerequisites for you personally because the reading material is of the highest level and the result of a lifetime of study. It may take you years to fully comprehend. Sowa's Conceptual Structures is newly revised in chapter 5 of the handbook.


These Hyper-links:

We need to add a Discursive Logic/ Argumentative Logic book to get you ready for what coming next.

Still need to get familiar with Prolog?

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

 

Tags: LOGICMOO
     
Copywrite © 2020 LOGICMOO (Unless otherwise credited in page)