In what seem to be never-ending quests for automation, integration, seamlessness, new genres of applications, and “smart systems”, all of which are fueled in part by technological changes, intellectual maturity (or so one thinks), and out-of-the-box thinking that says “surely, there must be a better way”, one dreams of a future. This paper suggests that logic programs employing recent advances in semantics and in knowledge representation formalisms provide a more robust framework in which to develop very intelligent systems in any domain of knowledge or application. The author has performed work applying this paradigm and these reasoning formalisms in the areas of financial applications, security applications, and enterprise information systems.
Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs
