Proceedings of the Fuzzy System Symposium
22nd Fuzzy System Symposium
Session ID : 8B3-3
Conference information

An Axiomatization for the formal system of subjective epistemic reasoning
*osamu MORIKAWA
Author information
CONFERENCE PROCEEDINGS FREE ACCESS

Details
Abstract
D.G.Schwartz introduced the formal system of subjective epistemic reasoning in which belief was measured along a series of linguistic degrees, e.g., unequivocally believes, strongly believes, fairly confidently believes, somewhat believes, neither believes nor disbelieves, somewhat disbelieves, fairly confidently disbelieves, strongly disbelieves, unequivocally disbelieves. The purpose of this paper is to present an axiomatization of D.G.Schwartz system, by using the matrix of many-valued logic. Then we prove the completeness theorem as well as the soundness theorem.
Content from these authors
© 2006 Japan Society for Fuzzy Theory and Intelligent Informatics
Previous article Next article
feedback
Top