@aindilis

Top repositories

1

free-life-planner

Free Life Planner: An AI tool for helping with planning for day-to-day life.
HTML
43
star
2

mealsolver

Logic-based meal optimizer
Jupyter Notebook
14
star
3

prolog-agent

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

financial-planning

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

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)
9
star
6

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.
HTML
8
star
7

flp

The Free Life Planner (soon to be official) site
6
star
8

verber

Contingency planning, crisis management
Perl
5
star
9

software-ontology

Tools for automatic document understanding, not the actual Comprehensive Software Ontology though.
HTML
5
star
10

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
Emacs Lisp
5
star
11

plan-monitor

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

sigmakee-mode

Emacs SigmaKEE/KIF major mode for interaction.
Emacs Lisp
4
star
13

ontolog-summit-2022-presentation

Ontolog Summit 2022 Presentation
3
star
14

freekbs2

Free Software Knowledge Based System like SigmaKEE or Cyc
Perl
3
star
15

nlu

Performs Natural Language Understanding
HTML
3
star
16

gourmet-formalog

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

ggp-gdl-mode

A quick-n-dirty mode for General Game Playing Game Description Language.
Emacs Lisp
2
star
18

nlu-mf

Natural Language Understanding - Manual Formalization: (Increasingly automatedly) formalize texts to Prolog
Emacs Lisp
2
star
19

boss

Software engineering manager for project management
Perl
2
star
20

formalize

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

presentation-generator

Automated presentation generator - converts custom marked-up text to a video presentation
Perl
2
star
22

cfo

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

daydreamer

Fork of Erik T. Mueller's DAYDREAMER - compiled for CLISP on AMD64
Common Lisp
2
star
24

frdcsa-installer

The install scripts for FRDCSA (Panoply)
C++
2
star
25

kmax

Emacs Enhancements for Symbolic Knowledge Manipulation Environment
Emacs Lisp
2
star
26

flux-frdcsa

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

optimal-plan-recognition

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

sandbox-gamer

Debian packaging for Gamer
C
1
star
29

sandbox-sigma

Debian packaging for Sigma.
Java
1
star
30

iaec-attempt

HTML
1
star
31

frdcsa

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

agent

Resources for implementing Multiagent Systems in Prolog
Perl
1
star
33

auto-builder

Extracts, googles, and lays out possible responses to error messages.
HTML
1
star
34

gpgpu-planning

Various expert 3rd party classical AI planning resources for GPGPU
C++
1
star
35

academician

Build a knowledge base interactively in Emacs from processed research papers and texts
Emacs Lisp
1
star
36

spse

Shared Priority System Editor
TeX
1
star
37

cyc-mode-2

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

planner-api

FLP Prolog <-> PDDL Planning Library
Prolog
1
star
39

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
Perl
1
star
40

github-spider

Download either all of a user's repositories or all repositories matching a search
HTML
1
star
41

bleaf

Java
1
star
42

kmax-object-manipulation-system

System to type objects according to syntactic/semantic features and open up contextual menus for affordances for object
Emacs Lisp
1
star
43

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
Perl
1
star
44

chap2

CHess Analysis Program v2: aims for positional analysis using chess textbooks translated into Prolog
Common Lisp
1
star
45

ies

Information Extraction System (an Emacs annotation/labeling system)
HTML
1
star
46

resource-manager

Tracking life and productivity resources
Prolog
1
star
47

madla-planner

Third-party multiagent planning system
HTML
1
star
48

all

ALL Language Learning: a language acquisition Intelligent Tutoring System
Emacs Lisp
1
star
49

elle-ethical-consumer

Evidence point list generator.
Java
1
star
50

metasite-extractor

System to download codebases from lists of projects/codebases for packaging
HTML
1
star
51

audience-systems-irc

A tool for reading ERC out loud using festival, allowing muting of individual or all channels.
Emacs Lisp
1
star
52

normal-form

Manage world-state by reducing it to an ordered state akin to a logical normal form
HTML
1
star
53

formalog-pengines

A system to allow multiple pengines to talk to each other, and hopefully allow access through JavaPengines
Prolog
1
star
54

universal-parser

Parsing subsystem using comprehensive library of grammars to parse various text files
Java
1
star
55

web-agent

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

study

It's great for "I need to know a lot of stuff, and fast".
Perl
1
star
57

wow

War on Words: a web proxy that rewrites the web according to configurable points of view
Perl 6
1
star
58

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.
Perl
1
star
59

autonomous-ai-agent

Prolog-Agent/SPAMI/Autonomous BDI+LLM agents
Prolog
1
star
60

radar

Rapid Application Discovery And Retrieval
Perl
1
star
61

gourmet-formalog-standalone

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