Goal-Directed Methods for Łukasiewicz Logic
In this paper we present goal-directed deduction methods for Łukasiewicz infinite-valued logic Ł giving logic programming style algorithms which both have a logical interpretation and provide a suitable basis for implementation. We begin by considering a basic version with connections to calculi for other logics, then make refinements to obtain greater efficiency and termination properties, and to deal with further connectives and truth constants. We finish by considering applications of these algorithms to fuzzy logic programming.
KeywordsŁukasiewicz Logics Fuzzy Logics Goal-Directed Methods
Unable to display preview. Download preview PDF.