2024-03-29T10:28:26Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000510882023-04-27T10:00:04Z01164:04402:04487:04493
確率論理の意味論と演繹推論A Semantics and Deductive System for Probabilistic Logicjpnhttp://id.nii.ac.jp/1001/00051088/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=51088&item_no=1&attribute_id=1&file_no=1Copyright (c) 1992 by the Information Processing Society of Japan日本電気(株)C&C情報研究所友納, 正裕従来の確率論理の定式化の方法として、確率分布を領城(個体の集合)に張る方法と可能世界に張る方法の2つがある。前者は「鳥が飛ぶ確率は0.9」のように不特定の個体の確率を表わすのに適し、後者は「Tweetyが飛ぶ確率は0.7」のように特定の個体に関する確率を表わすのに適している。しかし、両者の関係は明確でなく、また、前者では確率的推論の健全性が成り立たないという問題がある。本稿では、一階言語の意味論的構造の複雑さのために個体定数の意味づけが不明確になることがこの問題の原因と考え、言語の内部と外部を分離することにより意味論的構造および個体定数の意味づけを明確にする。これにより、上記2つの意味論の関係を明らかにし、健全性を満たす確率的推論の枠組みを提案する。この枠組みは非単調推論を自然に表現できるという特長がある。Two approaches have been proposed for giving semantics to probabilistic logic's in the literature. One places a probability distribution on the domain, and the other places a distribution on a set of possible worlds. The first is appropriate for expressing probabilities that a general statement holds for unspecified individuals, for example "A randomly chosen bird flies with probability 0.9". The second is appropriate for expressing probabilities that a statement holds for specific individuals, for example "Tweety (a specific bird) flies with probability 0.7". However, the relation between the two approaches has not been made clear and probabilistic reasoning based on the first approach is not sound. This paper clarifies the relation by separating the inside and the outside of the language. It also develops a new semantics which admits a sound probabilistic reasoning with non-monotonic properties.AA11135936情報処理学会研究報告知能と複雑系(ICS)19923(1991-ICS-080)1101992-01-162009-06-30