- 著者
-
月本 洋
- 出版者
- 社団法人人工知能学会
- 雑誌
- 人工知能学会誌 (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.