aindilis

free-life-planner. Free Life Planner: An AI tool for helping with planning for day-to-day life.

financial-planning. Your AI-Powered Personal Finance Assistant

mealsolver. Logic-based meal optimizer

eurisko-resources. Resources to parse into computational semantics in order to enable model checkers to regenerate and extend a program resembling the original Eurisko and related systems.

frdcsa-panoply-git-20200329. How to run Panoply Git GNU/Linux (the version of FRDCSA made by combining all of the redacted GitHub FRDCSA codebases)

prolog-agent. A deliberative software agent using Perl/Prolog/Emacs able to plan and execute language functions, programs and shell commands

flp. The Free Life Planner Reference Manual

autonomous-ai-agent. Prolog-Agent/SPAMI/Autonomous BDI+LLM agents

SuperAGI. <⚡️> SuperAGI - A dev-first open source autonomous AI agent framework. Enabling developers to build, manage & run useful autonomous agents quickly and reliably.

verber. Contingency planning, crisis management

software-ontology. Tools for automatic document understanding, not the actual Comprehensive Software Ontology though.

gourmet-formalog. Prolog-based Meal Planning system w/ Recipes, Barcodes, Nutrition Information, etc

plan-monitor. Compile tasks of daily living into Behavior Trees and interactively executes them. Pure Perl using Mojolicious.

sigmakee-mode. Emacs SigmaKEE/KIF major mode for interaction.

cyc-mode. Emacs *CYC major mode for interaction. Please note this is an ancient system from 2003. The current system is far better, and is now available here: http://github.com/aindilis/cyc-mode-2

jason. Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language.

gourmet-formalog-standalone. A fork of Gourmet-Formalog designed to be independent of FRDCSA, and accessed through Pengines or REPL

nlu. Performs Natural Language Understanding

flux-frdcsa. Extensions to the FLUX system mentioned in the book: Reasoning Robots: The Art and Science of Programming Robotic Agents

freekbs2. Free Software Knowledge Based System like SigmaKEE or Cyc

frdcsa. The (Under Construction) FRDCSA Reference Manual

ontolog-summit-2022-presentation. Ontolog Summit 2022 Presentation

formalog-pengines. A system to allow multiple pengines to talk to each other, and hopefully allow access through JavaPengines

optimal-plan-recognition. This is a WIP, trying to get plan-recognition.tar.bz2 working from https://sites.google.com/site/prasplanning/file-cabinet

presentation-generator. Automated presentation generator - converts custom marked-up text to a video presentation

academician. Build a knowledge base interactively in Emacs from processed research papers and texts

dnfct-frdcsa. A performant contingent planner that we hope to integrate, at least with financial and WOPR planning, until FLUX or ALPProlog contingent planners which can call Prolog code in the search, are finished

ggp-gdl-mode. A quick-n-dirty mode for General Game Playing Game Description Language.

nlu-mf. Natural Language Understanding - Manual Formalization: (Increasingly automatedly) formalize texts to Prolog

kmax. Emacs Enhancements for Symbolic Knowledge Manipulation Environment

FRKCSA. Formalized Research Knowledge-Base: Cluster, Study and Apply project (FRDCSA reboot)

sandbox-gamer. Debian packaging for Gamer

formalize. System to translate NL to logic. Currently based on OpenCyc, Wordnet, Ted Pedersen's WSD modules, Enju, etc.

frdcsa-installer. The install scripts for FRDCSA (Panoply)

cfo. Comprehensive Function Ontology - related to CSO/CLO, Cyc, AM, Sayer{,2}, etc

boss. Software engineering manager for project management

daydreamer. Fork of Erik T. Mueller's DAYDREAMER - compiled for CLISP on AMD64

agent. Resources for implementing Multiagent Systems in Prolog

folksonomy. Tag systems learner and labeller

microtheories. SWIPL Microtheory implementation based on Guha thesis

fast. Field Agent Support Technology - real-time dialog support from hybrid LLM / human team

emacs-kb-atp. Emacs Knowledge-Base Automated Theorem Prover

space-weather-monitor. Provide alerts as to upcoming space weather that might prompt you to unplug your systems to prevent power spikes damaging them and your data

normal-form. Manage world-state by reducing it to an ordered state akin to a logical normal form

chap2. CHess Analysis Program v2: aims for positional analysis using chess textbooks translated into Prolog

web-agent. Intelligently spider websites of researchers, extracting out all their resources like software that can be packaged, building a knowledge base / knowledge graph.

flowchart-generator. A program to generate a flowchart of a contingent plan, for use in FLP, PrologMUD and SPSE2, etc

madla-planner. Third-party multiagent planning system

radar. Rapid Application Discovery And Retrieval

audience-systems-irc. A tool for reading ERC out loud using festival, allowing muting of individual or all channels.

agentspeak-l-swi-prolog-meta-interpreter. Extracted code from plus modifications to "A Prolog Meta-Interpreter for AgentSpeak(L)" by Dimitrios Dimitriadis