Reasoning So what is reasoning! In general, it is the formal manipulation of the symbols representing a collection of believed propositions to produce representations of new ones. It is here that we use the fact that symbols are more accessible than the... The Logic of Knowledge Bases - Page 6by Hector J. LevesqueLimited preview
- About this book
Ronald J. Brachman, Hector J. Levesque - Computers - 2004 - 381 pages
...It will be the role of reasoning to bridge the gap between what is represented and what is believed. Reasoning So what is reasoning? In general, it is...to construct representations of new propositions. It is useful here to draw an analogy with arithmetic. We can think of binary addition as being a certain...