ures, a number of "single formal- ism/algorithm focused" AGI approaches have been outlined, some of which will be reviewed in Chapter 4. For example Pei Wang's NARS ("Non-Axiomatic Reasoning System") approach is based on a specific logic which he argues to be the "logic of general intelligence" - so, while