aindilis

22 years working on Free/Libre Open Source Artificial Intelligence (through software conglomeration) in part to create a Free/Libre Social Safety Net.

Flint, MI Joined on Sep 14, 2021 https://altruisticsoftware.org

Education

University of Illinois at Urbana/Champaign

Work

Independent AI Researcher

Perl, Prolog, Emacs Lisp, Bash, Debian Packaging, Docker, Vagrant, MySQL, PDDL, CycL/SubL, NLP, KRR, ATP/ITP, MKM, MAS, ML, SNA.

Self-discipline. (Re)learning: CS: CYC, commonsense reasoning, advanced Prolog, Automated Theorem Proving. Math: Ordinal Analysis, Proof Theory.

the Free Life Planner, Gourmet-Formalog-Standalone, CYC-Zettelkasten.

I am very motivated to work with others on projects of mutual interest, especially in the areas mentioned above, but not limited to them.

1 post published

1 comment written

8 tags followed

aindilis

Sep 14 '21

Introduction to FRDCSA Weak-AI Project

#ai #programming #productivity #computerscience

2 min read

Want to connect with aindilis?

Create an account to connect with aindilis. You can also sign in below to proceed if you already have an account.

Create Account

Already have an account? Sign in

DEV Community

aindilis

Badges

Three Year Club

Writing Debut

Two Year Club

One Year Club

Skills/Languages

Currently learning

Currently hacking on

Available for

Introduction to FRDCSA Weak-AI Project

Want to connect with aindilis?