Show last authors
1
2
3 = =
4
5
6 = //External Links to use to help build this page// =
7
8 *
9
10 === NomicMU and LM489 are the made up of a procedural reasoning system that use this dependency chart ===
11
12 * Logicmoo AGI  - Artificial General Intelligence Libraries for Prolog
13 ** NomicMU - Sample PrologMUD text adventure game
14 * Logicmoo Base -  Base Libraries that extend Prolog to support Dynamic Epistemic Logic (DEL) with Constraints
15 ** PFC - Prolog Forward Chaining
16 ** Eggdrop - Hook up to an existing IRC Client called an Eggdrop
17 * Logicmoo CG - Conceptual Graph Libraries for Prolog with test data
18 * Logicmoo EC - The Event Calculus Libraries for planners speaking: PDDL, OCLh, LPS, and Decreasoner EventCalc
19 ** LPS - EventCalc Reasoner
20 ** PDDL2LPS - PDDL to LPS converter
21 ** HyHTN - somewhat broken
22 * Logicmoo NARS - Like OpenNARS, but in Libraries that extend Prolog to support Narseese
23 * Logicmoo NLU - Natural Language Understanding Libraries Various English to Logic Converters
24 ** E2C - English to CommonLogic
25 * Logicmoo PLData - HUGE amount of lexical and test data (Logicmoo PLData)
26 * Logicmoo Utils - Utility Libraries that are commonly shared throughout LOGICMOO Software
27 ** Clause expansion Utils for deciding which order to run Goals in a body
28 ** Dict-like OO Syntax
29 ** Global Variable Syntax
30 ** Magically document prolog source files based on predicate and variable naming conventions
31 *** C2E - CommonLogic to English
32 ** Reduce floundering of DCGs by constraining and narrowing search
33 ** Implement your own Abstract Predicate Streams
34 **
35
36 {{toc start="2"/}}
37
38 {{children/}}
39
40 [[LOGICMOO packs>>https://logicmoo.org/swish/pldoc/pack/]]
41
42 [[https:~~/~~/github.com/logicmoo>>https://github.com/logicmoo]]
43
44 [[http:~~/~~/pdkb.org/wiki/index.php/Special:AllPages>>http://pdkb.org/wiki/index.php/Special:AllPages]]
45
46 [[https:~~/~~/github.com/logicmoo/logicmoo_cg>>https://github.com/logicmoo/logicmoo_cg]]
47
48 [[https:~~/~~/logicmoo.org/gitlab/logicmoo/logicmoo_workspace>>https://logicmoo.org/gitlab/logicmoo/logicmoo_workspace]]
49
50 |(((
51 **FRDCSA**
52 [[introduction>>url:https://frdcsa.org/frdcsa/introduction/intro.html]]
53 [[minor codebases>>url:https://frdcsa.org/frdcsa/minor/index.html]] | [[internal codebases>>url:https://frdcsa.org/frdcsa/internal/index.html]] | [[external codebases>>url:https://frdcsa.org/frdcsa/external/index.html]] | [[git codebases>>url:https://frdcsa.org/frdcsa/git/index.html]] | [[packages>>url:https://frdcsa.org/frdcsa/binary/index.html]]
54 [[free life planner>>url:https://github.com/aindilis/free-life-planner#the-free-life-planner-flp]] | [[github>>url:https://github.com/aindilis]] | [[homepage>>url:https://frdcsa.org/~~andrewdo]]
55 )))
56 |(((
57 [[LogicMOOProject>>url:https://github.com/logicmoo/logicmoo_workspace/wiki/LogicMOOProject]] implements a paraconsistent openworld defeasible modal temporal epistemological deontic logic. **Use of your funds** ​:
58
59 This groundbreaking work requires a team of 8-12 highly specialized/qualified experts from multiple specialized fields(including cognitive psychology, discursive logic ai, user-interface. etc) working full time. Logicmoo uses your money to support this work being done in Open Source!
60
61 LogicMOOProject contains the following projects (nonexhaustive):
62
63 * [[EToCProject>>url:https://github.com/logicmoo/logicmoo_workspace/wiki/EToCProject]]
64 * [[SxxMachine>>url:https://github.com/logicmoo/logicmoo_workspace/wiki/SxxMachine]].
65 * [[LispSync>>url:https://github.com/logicmoo/logicmoo_workspace/wiki/LispSync]].
66
67 [[LogicMOOProject>>url:https://github.com/logicmoo/logicmoo_workspace/wiki/LogicMOOProject]] contains the following SWIPL packs (nonexhaustive):
68
69 * [[LogicMOOBase>>url:https://github.com/logicmoo/logicmoo_workspace/wiki/LogicMOOBase]]
70
71 [[LogicMOOProject>>url:https://github.com/logicmoo/logicmoo_workspace/wiki/LogicMOOProject]] may use the following external projects (nonexhaustive):
72
73 * [[ShopThree>>url:https://github.com/logicmoo/logicmoo_workspace/wiki/ShopThree]].
74 * [[TuProlog>>url:https://github.com/logicmoo/logicmoo_workspace/wiki/TuProlog]].
75 * [[PopLog>>url:https://github.com/logicmoo/logicmoo_workspace/wiki/PopLog]].
76 * [[ScriptApplierModule>>url:https://github.com/logicmoo/logicmoo_workspace/wiki/ScriptApplierModule]] (SAM).
77 * [[PlanApplierModule>>url:https://github.com/logicmoo/logicmoo_workspace/wiki/PlanApplierModule]] (PAM).
78 * [[CycBehaviorLanguage>>url:https://github.com/logicmoo/logicmoo_workspace/wiki/CycBehaviorLanguage]].
79
80 LogicMOOProject integrates these existing AI systems (nonexhaustive):
81
82 * [[OpenCYC>>url:https://github.com/logicmoo/logicmoo_workspace/wiki/OpenCYC]]
83 * [[ResearchCYC>>url:https://github.com/logicmoo/logicmoo_workspace/wiki/ResearchCYC]]
84 * [[ShrdluSystem>>url:https://github.com/logicmoo/logicmoo_workspace/wiki/ShrdluSystem]]
85 * [[DaydreamerSystem>>url:https://github.com/logicmoo/logicmoo_workspace/wiki/DaydreamerSystem]]
86 * [[KnowledgeMachine>>url:https://github.com/logicmoo/logicmoo_workspace/wiki/KnowledgeMachine]]
87
88 ----
89
90 * References:
91
92 notable-chatlogs/incoming/#logicmoo-20190614.txt
93
94 * Project Metadata:
95
96 [[EmacsWikiMarkup>>url:https://github.com/logicmoo/logicmoo_workspace/wiki/EmacsWikiMarkup]]
97
98 * Potential Projects:
99
100 * Be great for instance we had an expert at using JNIL,
101 * or someone that can port ugly AllegroCL to SBCL code,
102 * or someone to take the STELLA-to-CommonLisp and convert it to CycLisp-to-CommonLisp,
103 * or someone to port nice old demos to using CYC's blackboard instead get/set-props,
104 * or someone to finish my CLOS<->BlackboardedCLOS,
105 * BlackboardedCLOS uses a prolog-like backend.
106
107 * Desiderata
108
109 * Need a Lisp, a Java, a Prolog developer at least.
110 * Someone understands Cyc and Schank better.
111 * Email Schank saying we are implementing his SPGU-T, ask if he's interested.
112 * Should invite Kino as well.
113
114 * What we have
115
116 * Actually two, maybe three other people in #logicmoo do know CYC very very well.
117
118
119 )))
120
121
Copywrite © 2020 LOGICMOO (Unless otherwise credited in page)