Difference between revisions of "Main Page"
From Public Domain Knowledge Bank
DavidWhitten (talk | contribs) |
DavidWhitten (talk | contribs) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 9: | Line 9: | ||
=== Copies of Public Documentation from elseWeb === | === Copies of Public Documentation from elseWeb === | ||
* [[Cyc]] info from [[Cycorp]] of [[SubL]], [[KE-Text]], [[CycL]], [[MELD]] and [[OpenCyc]] | * [[Cyc]] info from [[Cycorp]] of [[SubL]], [[KE-Text]], [[CycL]], [[MELD]] and [[OpenCyc]] | ||
| − | * [[David Whitten]]'s work on | + | * [[David Whitten]]'s work on [[Structural Ontology]] and his [[Cyc/FAQ]] |
* [[Ken Forbus]] and research team's work on [[NextKB]] and [[Qualitative Process Theory]]. | * [[Ken Forbus]] and research team's work on [[NextKB]] and [[Qualitative Process Theory]]. | ||
* [[Adam Pease]]'s work on [[SUMO]], [[SKIF]], [[KIF]] and [[CELT]]. | * [[Adam Pease]]'s work on [[SUMO]], [[SKIF]], [[KIF]] and [[CELT]]. | ||
| Line 18: | Line 18: | ||
* [[The University of Birmingham]]'s work on [[Poplog|Their poplog version of Prolog]], [[Agents]], and [[Pop2]]. | * [[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]] | * [[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]]. | * from The Collectors of [[COLORE]]. | ||
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.
Contents
Welcome to Public Domain Knowledge Bank Wiki
The topics for this wiki include:
Copies of Public Documentation from elseWeb
- Cyc info from Cycorp of SubL, KE-Text, CycL, MELD and OpenCyc
- David Whitten's work on Structural Ontology and his Cyc/FAQ
- Ken Forbus and research team's work on NextKB and Qualitative Process Theory.
- Adam Pease's work on SUMO, SKIF, KIF and CELT.
- Douglas R Miles's work on Logicmoo and Prolog.
- Pat Cassidy's work on COSMO and http://www.micra.com
- Michael Grunninger's work on KIF.
- from Ontolog Forum of Situation, Context, and Explanation.
- The University of Birmingham's work on 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
- Tell Me A Story
- PDKB Enhanced Tale-Spin
- Plotto generated plots
- Plotto2020 - modernize and revamp Plotto2020 from Plotto1928
- Plot Robot also called Plot Genie from 1930s
- Soap Star - generating soap opera summaries
- TV Tropes - using tropes in stories
- Public Source Versu - recreating a conversation generator
- Project/Artie the artificially intelligent cousin of Doctor and Eliza.
- Interlingua Efforts
- Cached copies of interesting essays
- Essays on AI elseweb
- Narrative Science
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
