Discover aindilis/study Open Source project by @aindilis

Logic-based meal optimizer

mealsolver

Jupyter Notebook

prolog-agent

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

A temporal metric financial PDDL planning domain and problem w/ tools for personal planning. Extremely simple proof of concept to be expanded upon.

financial-planning

How to run Panoply Git GNU/Linux (the version of FRDCSA made by combining all of the redacted GitHub FRDCSA codebases)

frdcsa-panoply-git-20200329

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.

The Free Life Planner (soon to be official) site

flp

verber

Contingency planning, crisis management

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

software-ontology

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

cyc-mode

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

plan-monitor

Makefile

sigmakee-mode

Emacs SigmaKEE/KIF major mode for interaction.

Ontolog Summit 2022 Presentation

ontolog-summit-2022-presentation

freekbs2

Free Software Knowledge Based System like SigmaKEE or Cyc

Performs Natural Language Understanding

nlu

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

gourmet-formalog

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

ggp-gdl-mode

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

nlu-mf

Software engineering manager for project management

boss

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

formalize

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

presentation-generator

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

cfo

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

daydreamer

Common Lisp

frdcsa-installer

The install scripts for FRDCSA (Panoply)

C++

kmax

Emacs Enhancements for Symbolic Knowledge Manipulation Environment

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

flux-frdcsa

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

optimal-plan-recognition

Python

sandbox-gamer

Debian packaging for Gamer

sandbox-sigma

Debian packaging for Sigma.

iaec-attempt

This is the live branch of FRDCSA, intended to be a collaborative workflow with other developers.

frdcsa

agent

Resources for implementing Multiagent Systems in Prolog

Extracts, googles, and lays out possible responses to error messages.

auto-builder

Various expert 3rd party classical AI planning resources for GPGPU

gpgpu-planning

C++

academician

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

Shared Priority System Editor

spse

TeX

cyc-mode-2

A much improved Emacs/Perl/Cyc interface, creates a deep channel by wrapping Java API

FLP Prolog <-> PDDL Planning Library

planner-api

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

space-weather-monitor

Download either all of a user's repositories or all repositories matching a search

github-spider

bleaf

System to type objects according to syntactic/semantic features and open up contextual menus for affordances for object

kmax-object-manipulation-system

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

dnfct-frdcsa

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

chap2

Common Lisp

ies

Information Extraction System (an Emacs annotation/labeling system)

Tracking life and productivity resources

resource-manager

Third-party multiagent planning system

madla-planner

ALL Language Learning: a language acquisition Intelligent Tutoring System

all

Evidence point list generator.

elle-ethical-consumer

System to download codebases from lists of projects/codebases for packaging

metasite-extractor

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

audience-systems-irc

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

normal-form

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

formalog-pengines

Parsing subsystem using comprehensive library of grammars to parse various text files

universal-parser

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

web-agent

War on Words: a web proxy that rewrites the web according to configurable points of view

wow

Perl 6

koms-web

Rewriting web proxy that adds contextual menus to recognized entities. Use case is to perform operations on online documentation, such as caching it locally and annotating for QnA, fact extraction, process extraction etc.

Prolog-Agent/SPAMI/Autonomous BDI+LLM agents

autonomous-ai-agent

Rapid Application Discovery And Retrieval

radar

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

gourmet-formalog-standalone