- go over syllogisms
- understand speech acts
- http://boole.stanford.edu/pub/lingol75.html
- planning and winograd's http://hci.stanford.edu/winograd/shrdlu/
- planner programming language https://en.wikipedia.org/wiki/Planner_(programming_language)
- euclidian and tarki's axioms of geometry
Last active
November 26, 2019 05:08
-
-
Save samuelgoto/068bc8c28b6c59874e388163f3ad9954 to your computer and use it in GitHub Desktop.
https://github.com/ChalmersGU-AI-course/shrdlite-course-project
http://chalmersgu-ai-course.github.io/shrdlite.html
http://chalmersgu-ai-course.github.io/demo/shrdlite.html?world=small&speech=true