Inference Machine for Modal Logics Based on Lukasiewicz Multivalued Calculi
ZHOU Juan
LI Chao
Abstract：Modal logic is widely used in artificial intelligence,but there is not a practically efficient infer-ence machine in the modal logic.In this paper an inference approach to making inferences in modal sys-tems is studied.The approach is to convert modal logic into Lukasiewicz multi-valued logic, then into Boolean logic with a necessary formalization technique.The main advantages of the approach are univer-sality, computational simplicity and non-restrictions on application of the inference rules.
Keywords：multi-valued Lukasiewicz calculusmodal logicinference machine
Publication Date：2015-01-01
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：5( 285-289 )