著者

月本 洋

出版者

社団法人人工知能学会

雑誌

人工知能学会誌 (ISSN:09128085)

巻号頁・発行日

vol.11, no.2, pp.273-279, 1996-03-01

---

Several studies have been carried out with the objective of introducing partial orders into probability distributions. However, there has been no study that introduces such a partial order into probability distributions as can be reasoned by a logic. This paper shows that discrete probability distributions can be reasoned by intuitionistic logic. The space of multi-linear functions, which is an extension of Boolean algebra, can be made into a Euclidean space. The space is Heyting algebra, which is the model of intuitionistic logic. Therefore, multi-linear functions can be reasoned by intuitionistic logic. Discrete probability distributions can be corresponded to multi-linear functions using the principle of indifference. So discrete probability distributions can be reasoned by intuitionistic logic.