Add draft on language grounding

bib/bibliography.bib

@@ -0,0 +1,49 @@
+@book{awodeyCategoryTheory2010,
+  location = {{Oxford ; New York}},
+  title = {Category Theory},
+  edition = {2nd ed},
+  isbn = {978-0-19-958736-0 978-0-19-923718-0},
+  pagetotal = {311},
+  number = {52},
+  series = {Oxford Logic Guides},
+  publisher = {{Oxford University Press}},
+  date = {2010},
+  keywords = {Categories (Mathematics)},
+  author = {Awodey, Steve},
+}
+
+@book{gowersPrincetonCompanionMathematics2010,
+  title = {The {{Princeton}} Companion to Mathematics},
+  publisher = {{Princeton University Press}},
+  date = {2010},
+  author = {Gowers, Timothy and Barrow-Green, June and Leader, Imre},
+}
+
+@inbook{wignerUnreasonableEffectivenessMathematics1990,
+  langid = {english},
+  title = {The {{Unreasonable Effectiveness}} of {{Mathematics}} in the {{Natural Sciences}}},
+  isbn = {978-981-02-0233-0 978-981-4503-48-8},
+  url = {http://www.worldscientific.com/doi/abs/10.1142/9789814503488_0018},
+  booktitle = {Mathematics and {{Science}}},
+  publisher = {{WORLD SCIENTIFIC}},
+  urldate = {2019-03-03},
+  date = {1990-08},
+  pages = {291-306},
+  author = {Wigner, Eugene P.},
+  bookauthor = {Mickens, Ronald E},
+  doi = {10.1142/9789814503488_0018}
+}
+
+@article{harnad1990_symbol_groun_probl,
+  author =	 {Stevan Harnad},
+  title =	 {The Symbol Grounding Problem},
+  journal =	 {Physica D: Nonlinear Phenomena},
+  volume =	 {42},
+  number =	 {1-3},
+  pages =	 {335-346},
+  year =	 {1990},
+  doi =		 {10.1016/0167-2789(90)90087-6},
+  url =		 {https://doi.org/10.1016/0167-2789(90)90087-6},
+  DATE_ADDED =	 {Thu Nov 7 14:36:52 2019},
+}
+

posts/symbol-grounding.org

@@ -0,0 +1,51 @@
+---
+title: "Reading Notes: \"The Symbol Grounding Problem\", Stevan Harnad"
+date: 2020-02-02
+---
+
+cite:harnad1990_symbol_groun_probl defined the /symbol grounding
+problem/, which is one of the most influential issues in natural
+language problems since the 1980s. The issue is to determine how a
+formal language system, consisting in simple symbols, can be imbued
+with any /meaning/.
+
+From the abstract:
+#+begin_quote
+How can the semantic interpretation of a formal symbol system can be
+made /intrinsic/ to the system, rather than just parasitic on the
+meanings in our heads? How can the meanings of the meaningless symbol
+tokens, manipulated solely on the basis of their (arbitrary) shapes,
+can be grounded in anything but other meaningless symbols?
+#+end_quote
+
+In this landmark paper, Harnad makes the issue explicit, in its
+context of cognitivism and competing theories of mind and
+intelligence. He then proposes an original solution based on a
+combination of symbolic and connectionist properties. The problem
+itself is still highly relevant to today's NLP advances, where the
+issue of extracting /meaning/ is still not solved.
+
+# cf Gary Marcus, /Rebooting AI/, and post on /The Gradient/
+
+* What is the symbol grounding problem?
+
+** Context: cognitivism, symbolism, connectionism
+
+/Cognitivism/ is the general framework in which all experimental
+psychology takes place. It replaced old-fashioned /behaviorism/,
+replacing it by an empirical science allowing to question the inner
+workings of brains and minds.
+
+Behaviorism restrained scientific inquiries to external behavior,
+explicitly forbidding to make theories about what goes on inside the
+mind. Cognitivism allowed the scientist to make hypotheses about
+unobservable phenomenons, provided they made predictions testable in
+an experimental setting.
+
+"Meaning" is one such unobservable phenomenon.
+
+** Exposing the issue: thought experiments
+
+* What the human mind does, and what AIs could do
+
+* References

site.hs

@@ -128,7 +128,7 @@ customPandocCompiler =
       readerOptions = defaultHakyllReaderOptions
   in do
     csl <- load $ fromFilePath "csl/chicago-author-date.csl"
-    bib <- load $ fromFilePath "bib/all.bib"
+    bib <- load $ fromFilePath "bib/bibliography.bib"
     writePandocWith writerOptions <$>
      (getResourceBody >>= readPandocBiblio readerOptions csl bib)