Non-Axiomatic Reasoning System -- Exploring the Essence of Intelligence
Logic and artificial intelligence