Difference between revisions of "Main Page"

From Public Domain Knowledge Bank
Jump to: navigation, search
 
(6 intermediate revisions by the same user not shown)
Line 8: Line 8:
  
 
=== Copies of Public Documentation from elseWeb ===
 
=== Copies of Public Documentation from elseWeb ===
* from [[Cycorp]] of [[SubL]], [[KE-Text]], [[CycL]], [[MELD]]  and [[OpenCyc]]
+
* [[Cyc]] info from [[Cycorp]] of [[SubL]], [[KE-Text]], [[CycL]], [[MELD]]  and [[OpenCyc]]
* from Adam Pease of [[SUMO]], [[KIF]] and [[CELT]].
+
* [[David Whitten]]'s work on [[Structural Ontology]] and his [[Cyc/FAQ]]
* from [[DouglasRMiles | Douglas R Miles]] of [[Logicmoo]] and [[Prolog]].
+
* [[Ken Forbus]] and research team's work on [[NextKB]] and [[Qualitative Process Theory]].
* from [[Pat Cassidy]] of [[COSMO]] and http://www.micra.com
+
* [[Adam Pease]]'s work on [[SUMO]], [[SKIF]], [[KIF]] and [[CELT]].
* from [[Ontolog Forum]] of Situations, Context, and Explanations.
+
* [[DouglasRMiles | Douglas R Miles]]'s work on [[Logicmoo]] and [[Prolog]].
* from [[The University of Birmingham]] of [[Poplog]]
+
* [[Pat Cassidy]]'s work on [[COSMO]] and http://www.micra.com
* from [[www.altheim.com]] of specs from [[Common Logic]]
+
* [[Michael Grunninger]]'s work on [[KIF]].
 +
* from [[Ontolog Forum]] of [[Situation]], [[Context]], and [[Explanation]].
 +
* [[The University of Birmingham]]'s work on [[Poplog|Their poplog version of Prolog]], [[Agents]], and [[Pop2]].
 +
* [[Murray Alteim]]'s site [[www.altheim.com]] with specs from [[Common Logic]]
 +
* work from [[IHMS]] on [[Simplified Common Logic]] ([[SCL]]) and [[IKRIS]]
 +
* from The Collectors of [[COLORE]].
 +
 
 +
=== Interesting Research ===
 +
* [[Research/Image Schemas]]
 +
* [[Research/Root Metaphors]]
 +
* [[Research/Programming]]
 +
* [[Research/Narrative Science]]
 +
* [[Research/Natural_Language_Understanding]]
  
 
=== Projects ===
 
=== Projects ===
Line 26: Line 38:
 
** Public Source [[Versu]] - recreating a [[Project/NLG|conversation generator]]
 
** Public Source [[Versu]] - recreating a [[Project/NLG|conversation generator]]
 
** [[Project/Artie]] the artificially intelligent cousin of [[Doctor]] and [[Eliza]].
 
** [[Project/Artie]] the artificially intelligent cousin of [[Doctor]] and [[Eliza]].
* [[Project/Semoji|Semoji]]
+
* [[Interlingua Efforts]]
 +
** [[Project/Semoji|Semoji]]
 +
** Pat Cassidy's [[COSMO]]
 +
* [[Cached copies of interesting essays]]
 
* [[Project/Essays on AI|Essays on AI]] elseweb
 
* [[Project/Essays on AI|Essays on AI]] elseweb
 
** [https://backchannel.com/computational-law-symbolic-discourse-and-the-ai-constitution-d8528ee27bf0 Stephen Wolfram on Computational Law, Symbolic Discourse, and the AI Constitution]
 
** [https://backchannel.com/computational-law-symbolic-discourse-and-the-ai-constitution-d8528ee27bf0 Stephen Wolfram on Computational Law, Symbolic Discourse, and the AI Constitution]
 
* [[Project/Narrative Science|Narrative Science]]
 
* [[Project/Narrative Science|Narrative Science]]
** [http://www.cas.mcmaster.ca/~Carette/publications/DesignFoundationsForEmotionalCharacters.pdf Design Foundations For Emotional Characters]
+
** [[Research/Narrative Science]]
  
 
== Info ==
 
== Info ==
 
This wiki is a workspace provided by [[DavidWhitten]] for those interested in these subjects. If you would like an account, please send e-mail to whitten@netcom.com or call by phone 713-870-3834
 
This wiki is a workspace provided by [[DavidWhitten]] for those interested in these subjects. If you would like an account, please send e-mail to whitten@netcom.com or call by phone 713-870-3834

Latest revision as of 15:32, 26 March 2021

MediaWiki has been successfully installed.

Consult the User's Guide for information on using the wiki software.

Welcome to Public Domain Knowledge Bank Wiki

The topics for this wiki include:

Copies of Public Documentation from elseWeb

Interesting Research

Projects

Info

This wiki is a workspace provided by DavidWhitten for those interested in these subjects. If you would like an account, please send e-mail to whitten@netcom.com or call by phone 713-870-3834