D.G.Schwartzの主観的信念推論の公理化

抄録

　D.G.Schwartzは「明白に信じる」、「強く信じる」、「自信をもって信じる」、「どちらとも言えない」、「自信をもって信じない」、「強く信じない」及び「明白に信じない」等を取り扱う主観的信念論理を提案した。しかし、公理化問題は未解決問題とした。本論文は、ファジイ論理及び有限多値論理を使って公理化を与え、健全性定理及び完全性定理を証明する。