ELBOW ROOM
This is where I collect and write things, mostly on academe and artificial intelligence. Established in 2010, by Vaishak Belle.
-
What makes symbolic / logical languages attractive for knowledge representation and artificial intelligence? Why not use Turing machines? The point is that we need a language to talk about the world, the information believed and to be observed, and speaking in terms of operations on a tape is just not insightful for this. See screenshot above from Lin and Levesque, AIJ 1998.