Self in nars, an agi system robotics and ai frontiers. Nars nonaxiomatic reasoning system is an agidesigned framework of a reasoning system. Nonaxiomatic logic nal is designed for intelligent rea. Axiomatic reasoning system, nars for short, has been chosen as the name for the. A model of intelligent reasoning pei wang on amazon. Nal nonaxiomatic logic is the logic part of nars nonaxiomatic reasoning system, an agi project aimed at a thinking machine that is fully based on aikr assumption of insufficient knowledge. Nonaxiomatic logic nal is designed for intelligent reasoning, and can be used in a system that has insu cient knowledge and resources with respect to the problems to be solved. Nonaxiomatic logic is designed to provide a uniform logical foundation for artificial intelligence, as well as an abstract description of the laws of thought followed by the human mind. This book provides a systematic and comprehensive description of nonaxiomatic logic, which is the result of the authors.
Nonaxiomatic logic ebook by pei wang 9789814440295. Nonaxiomatic reasoning system nars is an intelligent reasoning system, where intelligence means working and adapting with insufficient knowledge and resources. This paper reports the result of a case study that applies nal in medical diagnostics, and the logic is compared with binary logic and probability theory. Probability theory and statistics have also been used in ai as a model of reasoning, as in. Nars uses a new form of term logic, or an extended syllogism, in which several types of uncertainties can be represented and processed. A model of intelligent reasoning this book provides a systematic and comprehensive description of nonaxiomatic logic.
212 406 1181 1170 1138 14 877 1313 580 593 376 34 1212 329 77 602 1290 1253 965 1405 839 227 246 1488 797 433 457 1138 1389 505 624 272 1055 879 116 924 139 147 809 534 1236 899 266 293 588 894