On using logic to represent belief
Rolf Nossum · 1994
Abstract The overall goal of this chapter is to convey knowledge of some techniques for representing and reasoning about intentional concepts in non-classical logics. Such logics are of central importance in representing and reasoning about belief and knowledge, intention and obligation, planning and acting, and other concepts. Philosophers aptly call them logics of Practical Reasoning. These logics are gaining wide acceptance as representational vehicles for advanced applications in databases, artificial intelligence, intelligent tutoring, and other fields. These logics are gaining wide acceptance as representational vehicles for advanced applications in databases, artificial intelligence, intelligent tutoring, and other fields.