Massachusetts Institute of Technology
Mit: The Start Natural Language Question Answering System
This site contains information about and example of a natural language artificial intelligence system.
Other
Boolean Propositional Logic
Introduction to classic, boolean propositional logic. Written in a clear way with little or no technical notation. A great place to start for those beginning to learn about logic.
Other
R. B. Jones: First Order Predicate Logic
Great introduction to basic ideas in predicate logic. Conveys fundamental ideas without using technical notation. A good place to start.
Khan Academy
Khan Academy: Expressing an Algorithm
Check your understanding of expressing simple algorithms in flow charts, natural language, and pseudocode, in this set of free practice questions designed for AP Computer Science Principles students.
Stanford University
Temporal Logic/stanford Encyclopedia of Philosophy
Discusses the temporal logic of Arthur Prior, a type of modal logic. After technical definitions, author addresses related philosophical issues. Also summarizes applications in natural language, computer science, and artificial...