Logic and Information: 1 (Cambridge Tracts in Theoretical Comput

Cambridge University Press

Logic and InformationAuthor(s): Keith Devlin\nFormat: Hardback\nPublisher: Cambridge University Press, United Kingdom\nImprint: Cambridge University Press\nISBN-13: 9780521410304, 978-0521410304\nSynopsis\nIntelligence can be characterised both as the ability to absorb and process information and as the ability to reason. Humans and other animals have both of these abilities to a greater or lesser degree, but the search for artificial intelligence has been hampered by our inability to create a theory that covers both of these characteristics. In this provocative and ground-breaking book, Professor Keith Devlin argues that to obtain a deeper understanding of the nature of intelligence and knowledge acquisition, we must broaden our concept of logic. For these purposes, Devlin introduces the concept of the infon, a quantum of information, and merges it with situations, a mathematical construction generalising the notion of sets developed by Barwise and Perry at Stanford University in or.