Existential rigidity and many modalities in order-sorted logic
スポンサーリンク
概要
- 論文の詳細を見る
Order-sorted logic is a useful tool for knowledge representation and reasoning because it enables representation of sorted terms and formulas along with partially ordered sorts (called sort-hierarchy). However, this logic cannot represent more complex sorted expressions when they are true in any possible world (as rigid) or some possible worlds (as modality) such as time, space, belief, or situation. In this study, we extend order-sorted logic by introducing existential rigidity and many modalities. In the extended logic, sorted modal formulas are interpreted over the Cartesian product of sets of possible worlds. We present a new labeled tableau calculus to check the (un)satisfiability and validity of sorted modal formulas.http://www.elsevier.com/wps/find/journaldescription.cws_home/525448/description#description
論文 | ランダム
- 漢方治療が奏効した酒〓の10症例
- 使ってみよう!! こどもの漢方(不思議な漢方ワールドへ)
- 認知症に対する応用:認知症に対する漢方治療 (第61回日本東洋医学会学術総会 伝統医学臨床セミナー 抑肝散の応用)
- 総合討論 (第61回日本東洋医学会学術総会 学会シンポジウム アトピー性皮膚炎の漢方治療)
- 2I1045 スギ花粉アレルギーの増加とディーゼル排気微粒子との関連性を裏付ける臨床疫学調査