|
Boole, George, An Investigation of the Laws of Thought,[1859, posthumously 1865] Prometheus Books. (2003) ISBN 978-1-59102-089-9. (Traditional deductive reasoning, differs from inductive reasoning where facts are determined by repeated observations. Syllogism is presumed superseded by first-order predicate logic and Intelligence is a data component. The power of belief is in the ability for volition. Compare, Kowalski, Robert, Predicate Logic as a Programming Language, Memo to Department of Artificial Intelligence, Edinburgh University. 1973. Also in Proceedings IFIP Congress, Stockholm, North Holland Publishing Co., 1974. -+-
|