OCLC Research Library Partners, Works in Progress Series, 12 August 2015 Looking inside the Library Knowledge Vault Bruce Washburn Consulting Software.
Symbolic reactive high level task
Logic
Logic. Unsolvability results also imply unprovability in logics Logics we will look at (all very briefly) –Aristotelian logic –Euclidean geometry –Propositional.
Perception & Truth Is it true that: “Beauty is truth, truth beauty,” --that is all Ye know on earth, and all ye need to know. (Keats, “Ode on a Grecian.
Semantic Networks and Frames
Gordon H. Clark - The Bible As Truth