Co-Authored by: Yang, K.H. and Kim, J.
To be published

The aim of this paper is to compare first order predicate logic and fuzzy logic as knowledge representation methods. First, we define the five properties of the knowledge; conceptualization, transfer, modification, compromise and decomposition. We also evaluate first order predicate logic (FOPL) and fuzzy logic for the above properties, in the view of accuracy and complexity. We then prove that the complexities of both methods are NP-complete. We use this information to design a heuristic algorithm tested on probabilistic input to evaluate accuracy and compare weaknesses and strengths of each method.