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. We will explain shortly. 

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

The work we need done involves these Major Areas of Skill:

  • KRR  Represent situations and cause and effect relationships in a logical format.
    • Understand a story that is written with a narrative.  Write one. 
  • DSL Write Rules that dictate how Narratives are created/arranged
    • Proficient in PDDL or similar language that a computer could use.
    • Able to write planning domains in PDDL (to be knowledge engineer.)
       
  • The ability to write programs in Prolog that work with KRR and DSL
    • Write a program that uses KRR
    • Write a program that could CREATE that narratives
       
  • Psychology of Narrative Intelligence
    • PDDL that does Elaboration upon Scenes
    • PDDL that implements the steps used in Argumentative Logic
    • PDDL that emulates how and when arithmetic is done
    • PDDL that writes new PDDL
    • The components of the system
    • How are memories stored in LOGICMOO

to that end you'll want to look at these Hyper-links:

[9:50 AM] Dave Whitten: http://ksi.cpsc.ucalgary.ca/KAW/KAW96/angele/angele.html Discussion of New KARL (Knowledge Acquisition & Representation Language)
[10:44 AM] Dave Whitten: Nice overview of Knowledge Engineering:  https://static.aminer.org/pdf/PDF/000/846/232/knowledge_engineering_principles_and_methods.pdf

Dave Whitten: I see some examples of English and translating a sentence into First Order Logic at https://web.archive.org/web/20150923211804/http://www.cs.rochester.edu/~morbini/files/commonsense09.pdf
[11:37 AM] aindilis: @Dave Whitten I've invited Morbini to this discord, but I am not sure if he has joined up yet.
April 8, 2021
NEW

Still need to get familiar with Prolog?

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

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

Handbook of KRR is an amazing resource for GOFAI, but you are not required to read it, but it may be helpful to the particular tasks you are working on-

   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.

 

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