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
* [Self:notes-cog-linguistics linguistics] * [Self:notes-cog-dictionary dictionary] * [Self:notes-cog-animalCognition . . .
2K - last updated 2020-05-21 11:49 UTC by BayleShanks
notes-cog--index
* [Self:notes-cog-linguistics linguistics] * [Self:notes-cog-dictionary dictionary] * [Self:notes-cog-animalCognition . . .
2K - last updated 2020-05-21 11:49 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-advancesDescendedFromAi
“As soon as it works, no one calls it AI any more.” -- John McCarthy advances in lambda calculus . . .
1K - last updated 2014-07-12 05:15 UTC by BayleShanks
notes-cog-ai-ai
See http://purl.net/net/bshanks/work/ai.html for more. particularly interested in doing something involving . . .
2K - last updated 2014-09-23 23:15 UTC by BayleShanks
notes-cog-ai-ai2
== various online todos for me == === scholarpedia === === various anns === http://web.archive.org/web/20110208011537/http://neural-networks-at-your-fingertips.com/ . . .
1K - last updated 2014-07-20 18:59 UTC by BayleShanks
notes-cog-ai-aiAsAdvancedComputerScience
Awhile ago i heard that historically, there were some research topics that used to be called 'A.I.' but . . .
3K - last updated 2014-07-12 05:15 UTC by BayleShanks
notes-cog-ai-aiBook
some heuristics: * for search: computational tractability matters. general logical reasoning is intractable. . . .
1K - last updated 2014-07-12 05:15 UTC by BayleShanks
notes-cog-ai-aiMisc
This guy analyzes AI papers on arxiv to detect upcoming trends. https://www.technologyreview.com/s/612768/we-analyzed-16625-papers-to-figure-out-where-ai-is-headed-next/ . . .
3K - last updated 2021-07-27 03:05 UTC by BayleShanks
notes-cog-ai-aiNotes
== Links and books == * General ** http://www.amazon.com/Artificial-Intelligence-Elaine-Rich/dp/0070522634/ref=sr_1_9?s=books&ie=UTF8&qid=1359272210&sr=1-9&keywords=knight+artificial+intelligence . . .
18K - last updated 2022-12-08 23:11 UTC by BayleShanks
notes-cog-ai-applications
* [Self:notes-cog-ai-applications-aiForMath aiForMath] . . .
1K - last updated 2016-01-24 22:49 UTC by BayleShanks
notes-cog-ai-applications--index
* [Self:notes-cog-ai-applications-aiForMath aiForMath] . . .
1K - last updated 2016-01-24 22:49 UTC by BayleShanks
notes-cog-ai-applications-aiForMath
== Automated theorem discovery == Random ideas: It would be neat if there were tools that allow individual . . .
4K - last updated 2016-03-23 23:57 UTC by BayleShanks
notes-cog-ai-automatedProgramming
and another, related type of task: take this algorithm, rewrite it using e.g. recursion and lazy loading . . .
1K - last updated 2015-01-09 22:59 UTC by BayleShanks
notes-cog-ai-cogArch
* [Self:notes-cog-ai-cogArch-cogArchNotes cogArchNotes] * [Self:notes-cog-ai-cogArch-cogArchIdeas cogArchIdeas] . . .
1K - last updated 2022-12-08 23:48 UTC by BayleShanks
notes-cog-ai-cogArch--index
* [Self:notes-cog-ai-cogArch-cogArchNotes cogArchNotes] * [Self:notes-cog-ai-cogArch-cogArchIdeas cogArchIdeas] . . .
1K - last updated 2022-12-08 23:48 UTC by BayleShanks
notes-cog-ai-cogArch-cogArchIdeas
an autoassociative memory structure in which the pattern being associated is an 'animation', similar . . .
11K - last updated 2022-12-08 23:11 UTC by BayleShanks
notes-cog-ai-cogArch-cogArchNotes
links: The Common Model of Cognition Project * [https://link.springer.com/article/10.1007/s10462-018-9646-y . . .
1K - last updated 2022-12-08 23:11 UTC by BayleShanks
notes-cog-ai-combiningSkillsAndSemanticKnowledge
https://www.academia.edu/9156729/How_Computational_Neuroscience_revealed_that_the_Pragmatists_were_Right . . .
3K - last updated 2015-02-09 04:55 UTC by BayleShanks
notes-cog-ai-compressionIdeas
http://en.wikipedia.org/wiki/Hutter_Prize Have a very short token that means 'your first guess is correct', . . .
6K - last updated 2021-07-06 09:43 UTC by BayleShanks
notes-cog-ai-dnc
* http://www.nature.com/articles/nature20101.epdf?author_access_token=ImTXBI8aWbYxYQ51Plys8NRgN0jAjWel9jnR3ZoTv0MggmpDmwljGswxVdeocYSurJ3hxupzWuRNeGvvXnoO8o4jTJcnAyhGuZzXJ1GEaD-Z7E6X_a9R-xqJ9TfJWBqz . . .
1K - last updated 2016-10-20 22:46 UTC by BayleShanks
notes-cog-ai-explorationExploitation
http://en.wikipedia.org/wiki/Multi-armed_bandit#Approximate_solutions http://en.wikipedia.org/wiki/Thompson_sampling . . .
1K - last updated 2016-11-19 00:51 UTC by BayleShanks
notes-cog-ai-faultyMemoryGoalStack
(from the book "Kluge"): an agent with a low-level goal stack is incapable of forgetting to buy milk . . .
1K - last updated 2014-07-12 05:15 UTC by BayleShanks
notes-cog-ai-friendlyAi
http://lesswrong.com/lw/cbs/thoughts_on_the_singularity_institute_si/ provides an argument (in objections . . .
2K - last updated 2015-01-09 22:59 UTC by BayleShanks
notes-cog-ai-fristonFreeEneregy
" Friston s free energy principle says that all life...is driven by the same universal imperative.... . . .
6K - last updated 2019-05-03 19:13 UTC by BayleShanks
notes-cog-ai-games
* [Self:notes-cog-ai-games-chunkingForGames chunkingForGames] * [Self:notes-cog-ai-games-go go] * [Self:notes-cog-ai-games-aiGamesMisc . . .
1K - last updated 2020-05-21 11:49 UTC by BayleShanks
notes-cog-ai-games--index
* [Self:notes-cog-ai-games-chunkingForGames chunkingForGames] * [Self:notes-cog-ai-games-go go] * [Self:notes-cog-ai-games-aiGamesMisc . . .
1K - last updated 2020-05-21 11:49 UTC by BayleShanks
notes-cog-ai-games-aiGamesMisc
the famous 'deepmind' deep learning Atari paper: [https://www.cs.toronto.edu/~vmnih/docs/dqn.pdf Playing . . .
1K - last updated 2018-08-15 10:14 UTC by BayleShanks
notes-cog-ai-games-chunkingForGames
Perhaps a good feature for a game-playing AI would be a chunking/theorem-proving module. For example, . . .
2K - last updated 2014-11-04 00:27 UTC by BayleShanks
notes-cog-ai-games-go
[http://jeffbradberry.com/posts/2015/09/intro-to-monte-carlo-tree-search/ Blog post explaining Monte . . .
3K - last updated 2015-09-15 19:47 UTC by BayleShanks
notes-cog-ai-games-misc
the famous 'deepmind' deep learning Atari paper: [https://www.cs.toronto.edu/~vmnih/docs/dqn.pdf Playing . . .
1K - last updated 2015-09-15 19:47 UTC by BayleShanks
notes-cog-ai-geneticProgramming
for DNA, use a hierarchical dict mapping function symbols to functions. operations: * compose * wrap . . .
1K - last updated 2014-07-12 05:15 UTC by BayleShanks
notes-cog-ai-indirectAddressing
For some reason, i find the ISA/Assembly language concept of 'indirect addressing modes' to be helpful . . .
1K - last updated 2014-07-12 05:15 UTC by BayleShanks
notes-cog-ai-isTheStockMarketACognitiveSystem
the stock market may be bridging the symbolicist/connectionist gap. notice how sometimes, the market . . .
1K - last updated 2014-07-12 05:15 UTC by BayleShanks
notes-cog-ai-knowledge
Let's use machine learning to discover semantic knowledge. This is close to the original vision that . . .
1K - last updated 2019-05-03 19:13 UTC by BayleShanks
notes-cog-ai-ladderOfInference
Argyris's Ladder of Inference * select some incoming data out of all of it * interpret this data, investing . . .
1K - last updated 2016-10-20 22:46 UTC by BayleShanks
notes-cog-ai-machineLearning
* [Self:notes-cog-ai-machineLearning-machineLearningNotes machineLearningNotes] * [Self:notes-cog-ai-machineLearning-timeSeries . . .
1K - last updated 2021-06-29 05:23 UTC by BayleShanks
notes-cog-ai-machineLearning--index
* [Self:notes-cog-ai-machineLearning-machineLearningNotes machineLearningNotes] * [Self:notes-cog-ai-machineLearning-timeSeries . . .
1K - last updated 2021-06-29 05:23 UTC by BayleShanks
notes-cog-ai-machineLearning-dataScience
== Tips == See [Self:notes-computer-dataScience]. == Links == * http://www.quora.com/Data-Science/What-are-some-software-and-skills-that-every-Data-Scientist-should-know . . .
1K - last updated 2014-07-12 05:15 UTC by BayleShanks
notes-cog-ai-machineLearning-dimensionalityReduction
example of dimensionality reduction improving classification accuracy (not just computational efficiency): . . .
2K - last updated 2016-10-20 22:46 UTC by BayleShanks
notes-cog-ai-machineLearning-generativeModels
http://forestdb.org/ . . .
1K - last updated 2014-09-23 23:15 UTC by BayleShanks
notes-cog-ai-machineLearning-longTailLatentDirichlet
i'm not too clear on this, but apparently when used for unsupervised clustering https://en.wikipedia.org/wiki/Latent_Dirichlet_allocation . . .
1K - last updated 2015-07-11 01:07 UTC by BayleShanks
notes-cog-ai-machineLearning-machineLearningNotes
== Intro == * very introductory: [https://ml.berkeley.edu/blog/2016/11/06/tutorial-1/ https://news.ycombinator.com/item?id=13278211] . . .
48K - last updated 2023-12-11 04:26 UTC by BayleShanks
notes-cog-ai-machineLearning-mlConferences
= Machine Learning conferences = * KDD (practical) * UAI (general uncertainty in AI) * AAAI (general . . .
1K - last updated 2014-08-06 23:15 UTC by BayleShanks
notes-cog-ai-machineLearning-mlNotes
* https://en.wikipedia.org/wiki/Granular_computing . . .
1K - last updated 2015-03-15 03:16 UTC by BayleShanks
notes-cog-ai-machineLearning-neuralNets
== intro == * http://iamtrask.github.io/2015/07/12/basic-python-network/? * https://scrimba.com/g/gneuralnetworks . . .
13K - last updated 2023-12-11 04:26 UTC by BayleShanks
notes-cog-ai-machineLearning-theoremProving
Generative Language Modeling for Automated Theorem Proving GPT-f https://arxiv.org/abs/2009.03393 . . .
1K - last updated 2021-06-29 05:02 UTC by BayleShanks
notes-cog-ai-machineLearning-timeSeries
* https://machinelearningmastery.com/arima-for-time-series-forecasting-with-python/ * https://machinelearningmastery.com/time-series-forecasting-methods-in-python-cheat-sheet/ . . .
1K - last updated 2019-05-03 19:13 UTC by BayleShanks
notes-cog-ai-miscAi
"Have you read about Model of Hierarchical Complexity (http://metamoderna.org/what-is-the-mhc?lang=en)? . . .
2K - last updated 2018-06-14 07:08 UTC by BayleShanks
notes-cog-ai-miscTips
* section "What Lessons are in PAIP" of http://norvig.com/Lisp-retro.html . . .
1K - last updated 2014-10-09 23:34 UTC by BayleShanks
notes-cog-ai-onGpt
on GPT-3: I can see how this sort of thing might be a useful component of an AGI. One function could . . .
1K - last updated 2020-08-17 23:14 UTC by BayleShanks
notes-cog-ai-patternRouters
think stock market . . .
1K - last updated 2014-07-12 05:15 UTC by BayleShanks
notes-cog-ai-pragmatics
"Bobby ate his dinner before i finished making it" taken literally is impossible (if you had not finished . . .
1K - last updated 2016-07-07 20:24 UTC by BayleShanks
notes-cog-ai-principals
(where are the other ones that i wrote down?) marr and poggio's "principal of least committment" during . . .
2K - last updated 2014-07-12 05:15 UTC by BayleShanks
notes-cog-ai-probabalisticPrograms
talk by Noah Goodman about “Uncertainty in language and thought” "I’ll describe how probabilistic . . .
1K - last updated 2014-07-12 05:15 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-cog-ai-restrictedDefeasibleInheritanceNetworks
todo: explore the problems with HTT approach and the Stein approach; and see if these go away if we restrict . . .
1K - last updated 2014-07-12 05:15 UTC by BayleShanks
notes-cog-ai-snn
= Spiking Neural Nets = == Leaky integrate-and-fire (integrate, then leak, then (maybe) fire) == Why . . .
2K - last updated 2015-08-18 00:32 UTC by BayleShanks
notes-cog-ai-stochasticLocalSearch
Mb instead of having a fixed annealing schedule, take random step (or jump/reset) in inverse proportion . . .
1K - last updated 2014-07-12 05:15 UTC by BayleShanks
notes-cog-ai-stockMarketAsModelForParaconsistentLogic
E.g. currently (May 24 2012) there is uncertainty regarding whether Greece will leave the EU and if so, . . .
2K - last updated 2014-07-12 05:15 UTC by BayleShanks
notes-cog-ai-stuffAiSays
https://github.com/minimaxir/gpt-3-experiments/tree/master/examples/gpt-3 https://github.com/minimaxir/gpt-3-experiments/blob/master/examples/gpt-3/output_1_2.md . . .
1K - last updated 2021-02-27 19:37 UTC by BayleShanks
notes-cog-ai-thrashing
synonyms: thrash/thrashing/vascillate/dither/waffle/indecision eg when there was that reinforcement learning . . .
1K - last updated 2018-01-18 21:51 UTC by BayleShanks
notes-cog-ai-whyComputersCrash
One issue in AI is, why do computer programs 'crash' when humans do not? Computers crash because we want . . .
5K - last updated 2015-04-20 09:12 UTC by BayleShanks
notes-cog-ai-workingMemoryAsCacheCoherency
Short-term working memory can only hold 7 +- 2 items. This is very small. It contrast both with the massive . . .
8K - last updated 2014-07-12 05:15 UTC by BayleShanks
notes-computer-ai
#REDIRECT notes-cog-ai . . .
1K - last updated 2014-07-12 05:30 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
89 pages found.