notes-abstract-categorizations-catChOnto
= Ontologies = note: the medieval idea of the Great Chain of Being was an ontological one, but we cover . . .
50K - last updated 2018-05-19 10:12 UTC by BayleShanks
notes-abstract-categorizations-classificationsList
comment on this: I still like some aspects of this stuff, especially tarot and qblh -- I think these . . .
42K - last updated 2015-08-24 01:00 UTC by BayleShanks
notes-abstract-classificationsList
comment on this: I still like some aspects of this stuff, especially tarot and qblh -- I think these . . .
196K - last updated 2015-06-15 04:00 UTC by BayleShanks
notes-cog-ai
* [Self:notes-cog-ai-workingMemoryAsCacheCoherency workingMemoryAsCacheCoherency] * [Self:notes-cog-ai-aiNotes . . .
3K - last updated 2021-02-27 20:02 UTC by BayleShanks
notes-cog-ai--index
* [Self:notes-cog-ai-workingMemoryAsCacheCoherency workingMemoryAsCacheCoherency] * [Self:notes-cog-ai-aiNotes . . .
3K - last updated 2021-02-27 20:02 UTC by BayleShanks
notes-cog-ai-reasoning
* [Self:notes-cog-ai-reasoning-myOntology myOntology] * [Self:notes-cog-ai-reasoning-ambiguousReasoning . . .
1K - last updated 2022-02-12 18:04 UTC by BayleShanks
notes-cog-ai-reasoning--index
* [Self:notes-cog-ai-reasoning-myOntology myOntology] * [Self:notes-cog-ai-reasoning-ambiguousReasoning . . .
1K - last updated 2022-02-12 18:04 UTC by BayleShanks
notes-cog-ai-reasoning-aiReasoningNotes
See also [[notes-philosophy-logic]]. . . .
1K - last updated 2016-01-22 20:09 UTC by BayleShanks
notes-cog-ai-reasoning-ambiguousReasoning
todo: move most of the related links from inheritanceNetworks to here ---- == Provenance for contradiction . . .
4K - last updated 2015-07-11 01:07 UTC by BayleShanks
notes-cog-ai-reasoning-bayesNets
"The universality of this intuition ((the Sure-Thing principle)) suggests that a structure like causal . . .
1K - last updated 2016-07-07 20:24 UTC by BayleShanks
notes-cog-ai-reasoning-commonsense
* http://techcrunch.com/2014/08/09/guide-to-common-sense-reasoning-whos-doing-it-and-why-it-matters/ . . .
14K - last updated 2022-12-08 23:11 UTC by BayleShanks
notes-cog-ai-reasoning-descriptionLogics
my summary: for applications in which polytime inference is desired, use https://www.w3.org/TR/owl2-profiles/#OWL_2_EL . . .
26K - last updated 2022-02-12 17:33 UTC by BayleShanks
notes-cog-ai-reasoning-inheritanceNetworks
defeasible inheritance networks are for reasoning about concept hierarchies (taxonomies) that give typical . . .
9K - last updated 2014-07-12 05:15 UTC by BayleShanks
notes-cog-ai-reasoning-knowledgeRepresentation
toread: https://en.wikipedia.org/wiki/Knowledge_representation_and_reasoning https://en.wikipedia.org/wiki/Ontology_language . . .
4K - last updated 2022-02-12 17:33 UTC by BayleShanks
notes-cog-ai-reasoning-modularParaconsistent
i guess i'll call this idea 'modular paraconsistent logic'. Dunno if that name is already being used . . .
3K - last updated 2016-06-27 22:39 UTC by BayleShanks
notes-cog-ai-reasoning-myOntology
this isn't (yet) an ontology, but just some notes on parts i like/dislike from others' ontologies. See . . .
12K - last updated 2015-07-06 01:11 UTC by BayleShanks
notes-cog-ai-reasoning-sneps
* https://en.wikipedia.org/wiki/Semantic_network * and inheritance networks: http://www.cse.buffalo.edu/~rapaport/663/F06/inher-nets.html . . .
1K - last updated 2014-07-12 05:15 UTC by BayleShanks
notes-cog-ai-reasoning-watson
https://developer.ibm.com/watson/docs/developing-watson-apis/examples-qapi/1207-2/ https://news.ycombinator.com/item?id=8360299 . . .
1K - last updated 2014-09-25 04:16 UTC by BayleShanks
notes-philosophy-logic-logicNotes
* http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.1787 Jingde Cheng. Entailment Calculus as . . .
1K - last updated 2016-01-22 20:12 UTC by BayleShanks
notes-someStuffYouMightLikeToKnow-stuffChLogic
= Formal logic = Links: * http://matt.might.net/articles/logical-literacy/ First let's cover what's . . .
29K - last updated 2022-02-12 17:20 UTC by BayleShanks
proj-jasper-jasperSyntaxNotes1
"Even Herb Sutter, of C++ fame agrees: > One of the things Go does that I would love C++ to do is . . .
43K - last updated 2014-10-08 08:27 UTC by BayleShanks
proj-oot-old-150618-ootSemanticVocabulary
Perhaps a programming language should also be a language. Towards this, Oot defines words to represent . . .
2K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootSyntaxNotes1
"Even Herb Sutter, of C++ fame agrees: > One of the things Go does that I would love C++ to do is . . .
43K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-ootSemanticVocabulary
Perhaps a programming language should also be a language. Towards this, Oot defines words to represent . . .
2K - last updated 2015-04-01 20:57 UTC by BayleShanks
proj-oot-ootSyntaxNotes1
"Even Herb Sutter, of C++ fame agrees: > One of the things Go does that I would love C++ to do is . . .
43K - last updated 2014-10-30 22:19 UTC by BayleShanks
proj-plbook-plPartNaturalLanguage
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Natural languages, . . .
53K - last updated 2020-05-21 09:25 UTC by BayleShanks
26 pages found.