Process Control Using Paraconsistent Logic Programming

Abstract

In this Master’s thesis the author’s aim is to give model building tools for the temporal paraconsistent logic program called Before-After Extended Vector Annotated Logic Program with Strong Negation (bf-EVALPSN), originally created by Professor Kazumi Nakamatsu of the Prefectural University of Hyogo, Japan. The tools bridge the paraconsistent logic program language with finite state automata.