when thinking about logical agents, we imagine that the agent has a knowledge base (KB for short) that contains logical sentences that describe the state of the world you could think of a KB as a ...
An excellent introduction to logic (in all possible worlds), September 24, 2002, by Dr. Lee D. Carlson (Baltimore, Maryland USA) [Amazon.com] It is too bad this book is out of print, for the authors ...