推論技術

2021.07.25

機械学習技術 関係データ学習 Clojure デジタルトランスフォーメーション技術 人工知能技術 自然言語処理技術 セマンティックウェブ技術 オントロジー技術 確率的生成モデル アルゴリズム 本ブログのナビ

推論技術

概要

以前述べたように、推論手法には、ある文や命題の集まりから別の命題を導く演繹法と、演繹方以外の推論手法として、帰納法、投射法、類比法、アブダクション法の4つの非演繹法がある。推論とは基本的には様々な事実の関係性をたどる手法だと定義することができる。

それらを見つけるアルゴリズムとして、古典的なアプローチとしては、前向き推論と後ろ向き推論がある。また機械学習的なものとしては、関係性を求める関係学習、決定木を用いたルール推論、シーケンシャルパターンマイニング、あるいは確率的生成手法等様々なアプローチがある。

推論技術は、そのような様々な手法、アルゴリズムを組み合わせてユーザーの望む推論結果を得る技術であり、本ブログではそれらについて以下のように述べている。

実装

ケースベース推論の概要と適用事例と実装

ケースベース推論の概要と適用事例と実装。ケースベース推論は、過去の問題解決の経験や事例を参照し、類似の問題に対して適切な解決策を見つける手法となる。ここでは、このケース推論技術の概要と課題及び様々な実装について述べている。

ナレッジグラフの自動生成と様々な実装例

ナレッジグラフの自動生成と様々な実装例。ナレッジグラフは、情報を関連性のあるノード(頂点)とエッジ(つながり)の集合として表現するグラフ構造であり、異なる主題やドメインの情報を結び付け、その関連性を可視化するために使用されるデータ構造となる。ここではこのナレッジグラフの自動生成に関して様々な手法での概要とpythonによる具体的な実装について述べている。

ナレッジグラフの様々な活用と実装例

ナレッジグラフの様々な活用と実装例。ナレッジグラフは、情報を関連性のあるノード(頂点)とエッジ(つながり)の集合として表現するグラフ構造であり、異なる主題やドメインの情報を結び付け、その関連性を可視化するために使用されるデータ構造となる。ここではこのナレッジグラフの様々な活用事例とpythonによる具体的な実装例について述べる。

一般問題解決器と適用事例、LISPとPythonによる実装例

一般問題解決器と適用事例、LISPとPythonによる実装例。一般問題解決器は、具体的には、問題の記述や制約条件を入力として受け取り、最適な解や有効な解を見つけるためのアルゴリズムを実行する動作をとる。これらのアルゴリズムは、問題の性質や制約に応じて異なり、一般的な問題解決手法では、数値最適化、制約充足、機械学習、探索アルゴリズムなど様々なものがある。ここでは、このGPSに関して、LISPとPythonによる実装例について述べている。

エキスパートシステムとCLIPS

エキスパートシステムとCLIPS。chatbotの進化系の一つであるエキスパートシステムについて述べている。エキスパートシステムはルール知識と呼ばれるデータを組み合わせることで、フレキシブルなif/thenルールシステムを構築するシステムとなる。基本的にはAI言語の一つであるPrologやLispをベースに構築されていたが、ここではJavaで構築されたCLIPSについて実際にツールをダウンロードして利用するまでを紹介している。

自然言語処理によるユーザーにカスタマイズされた学習支援

自然言語処理によるユーザーにカスタマイズされた学習支援。教育分野やオンライン学習プラットフォームなどのさまざまな領域で、自然言語処理（NLP）を活用したユーザーにカスタマイズされた学習支援が提供されている。ここでは、それらに用いられる様々なアルゴリズムと具体的な実装について述べている。

Clojureでのエキスパートシステム Clara RuleとRete4Frame

Clojureでのエキスパートシステム Clara RuleとRete4Frame

Clara Ruleによるエキスパートシステム(1) 基本的な使い方

Clara Ruleによるエキスパートシステム(1) 基本的な使い方

Clara Ruleによるエキスパートシステム(2) 応用

Clara Ruleによるエキスパートシステム(2) 応用

命題論理の充足可能性判定問題(SAT:Boolean SAtisfiability)の概要と実装

命題論理の充足可能性判定問題(SAT:Boolean SAtisfiability)の概要と実装。命題論理の充足可能性判定問題 (SAT: Boolean Satisfiability) とは、与えられた命題論理式が真となる変数の割り当てが存在するかどうかを判定する問題となる。例えば、「A かつ (B または C) かつ (D または E または F) が真であるような A, B, C, D, E, F の割り当てが存在するかどうか」という問題があった場合、これを命題論理式に変換し、その式が充足可能かどうかを判定するものとなる。

このような問題設定は、例えば、回路設計やプログラム解析、人工知能分野の問題、暗号理論など、多くの応用分野で重要な役割を果たしている。理論的な側面で見ると、SAT問題が解けるアルゴリズムは、「NP完全問題」であることが知られており、現在のコンピュータでは大規模な問題に対しては効率的な解法が見つかっていない。そのため、高速化や、ヒューリスティック探索アルゴリズムの開発などアルゴリズム効率化の為の研究が現在も行われている分野の技術となる。

製品設計と陳腐化管理におけるデータ統合と意思決定のためのオントロジー開発と最適化

製品設計と陳腐化管理におけるデータ統合と意思決定のためのオントロジー開発と最適化。オントロジーを用いたプロダクトデザインとオブソールセンスマネジメントにおけるデータ統合と意思決定のシステムの実装は、複雑な情報を効率的に管理し、意思決定をサポートするための方法となる。

推論技術概要

推論のパターン

推論のパターン

数理統計学と確率的手法の観点からの推論

数理統計学と確率的手法の観点からの推論

その理屈証明できますか?

その理屈証明できますか?

Rule Based Reasoning , Programming and Applications

Rule Based Reasoning , Programming and Applications。本書は、2011年7月にスペインのバルセロナで開催された第5回ルールに関する国際シンポジウム「RuleML 2011 – Europe」の査読付きプロシーディングスである。これは、2011年に開催される2つのRuleMLイベントのうちの最初のもので、2回目のRuleMLシンポジウム – RuleML 2011 – America は、2011年11月に米国フロリダ州フォートローダーデールで開催されている。今回発表された18編のフルペーパー、8編のショートペーパー、3編の招待論文、および2編の基調講演のアブストラクトは、58編の応募の中から厳選されたものです。論文は、ルールベースの分散／マルチエージェントシステム、ルール、エージェント、規範、ルールベースのイベント処理と反応ルール、ファジィルールと不確実性、ルールとセマンティックWeb、ルールの学習と抽出、ルールと推論、ルールベースのアプリケーションというテーマ別に構成されている。

Web Reasoning and Rule Systems

Web Reasoning and Rule Systems。本書は、2011年8月にアイルランドのゴールウェイで開催された第5回Web Reasoning and Rule Systems国際会議RR 2011の査読付きプロシーディングスである。本書は、2011年8月にアイルランドのゴールウェイで開催された第5回Web Reasoning and Rule Systems国際会議RR 2011の査読付きプロシーディングスであり、フルペーパー13編、ショートペーパー12編、招待講演2編を収録している。論文では、セマンティックWebの最新のトピック、RDFやOWLなどのよく確立されたWeb言語と古典的な推論アプローチの間の相互作用、推論言語、クエリと最適化、ルールとオントロジーを扱っている。

古典的推論(エキスパートシステム)

エキスパートシステムとCLIPS

エキスパートシステムとCLIPS。chatbotの進化系の一つであるエキスパートシステムについて述べている。エキスパートシステムはルール知識と呼ばれるデータを組み合わせることで、フレキシブルなif/thenルールシステムを構築するシステムとなる。基本的にはAI言語の一つであるPrologやLispをベースに構築されていたが、ここではJavaで構築されたCLIPSについて実際にツールをダウンロードして利用するまでを紹介している。

後ろ向き推論と前向き推論 概要

後ろ向き推論と前向き推論 概要

Clojureでのエキスパートシステム Clara RuleとRete4Frame

Clojureでのエキスパートシステム Clara RuleとRete4Frame

Clara Ruleによるエキスパートシステム(1) 基本的な使い方

Clara Ruleによるエキスパートシステム(1) 基本的な使い方

Clara Ruleによるエキスパートシステム(2) 応用

Clara Ruleによるエキスパートシステム(2) 応用

充足可能性問題(SAT)

命題論理の充足可能性判定問題(SAT:Boolean SAtisfiability)の概要と実装

命題論理の充足可能性判定問題(SAT:Boolean SAtisfiability)の概要と実装。命題論理の充足可能性判定問題 (SAT: Boolean Satisfiability) とは、与えられた命題論理式が真となる変数の割り当てが存在するかどうかを判定する問題となる。例えば、「A かつ (B または C) かつ (D または E または F) が真であるような A, B, C, D, E, F の割り当てが存在するかどうか」という問題があった場合、これを命題論理式に変換し、その式が充足可能かどうかを判定するものとなる。

このような問題設定は、例えば、回路設計やプログラム解析、人工知能分野の問題、暗号理論など、多くの応用分野で重要な役割を果たしている。理論的な側面で見ると、SAT問題が解けるアルゴリズムは、「NP完全問題」であることが知られており、現在のコンピュータでは大規模な問題に対しては効率的な解法が見つかっていない。そのため、高速化や、ヒューリスティック探索アルゴリズムの開発などアルゴリズム効率化の為の研究が現在も行われている分野の技術となる。

高度なグラフアルゴリズム(強連結成分分解、DAG、2-SAT、LCA)

高度なグラフアルゴリズム(強連結成分分解、DAG、2-SAT、LCA)。有効グラフの頂点の部分集合Sが「任意の2頂点u,vをとったとき、uからvに到達できる」という条件を満たしている時、Sは強連結であると言う。頂点の強連結な集合Sに、他のどの頂点集合を付け加えても強連結にできないとき、Sを強連結成分(SCC:Strongly Connected Component)と言う。どんな有向グラフもいくつかの強連結成分の、共通部分をもたない和集合に分解することができる。これを強連結成分分解と呼ぶ。強連結成分を一つの頂点につぶすことで、DAG(閉路を持たない有向グラフ)となる。

論理式が与えられた時に、その論理変数に適切に真偽値を割り振ることによって、全体の真偽値を真とすることができるかを判定する問題を充足可能性問題(SAT)という。SATを解くことは一般にはNP完全だが論理式の形に制約がある場合には効率的に解くことも可能となる。

根付き木に対し、その頂点u,vの共通の祖先で最も近いところにあるものをuとvのLCA(Lowest Common Ancestor)と言う。LCAを効率的に求める手法にはさまざまなものがあるが、ここでは2種類の方法について述べる。

制約プログラミング入門

制約プログラミング入門

SATソルバーの最新動向と利用技術

SATソルバーの最新動向と利用技術

TheArt of  Computer  Programming Volume 4, Fascicle 6: Satisfiability

TheArt of  Computer  Programming Volume 4, Fascicle 6: Satisfiability

不確実性の推論

Building A Fuzzy Knowledge Body for Integrating Domain Ontologies

Building A Fuzzy Knowledge Body for Integrating Domain Ontologies。この論文では、共通のものを作るという問題を扱います。ドメインオントロジーの知識体系を構築することで、ドメインオントロジーの を共有し、協調的なフレームワークで統合する。我々は、新しい 概念ファジー集合表現のための階層的アルゴリズム 参照オントロジー 本来の概念表現とは対照的にインスタンスに基づくファジィ論理推論の手法を適用し、その程度を特徴づけ、測定することが可能となる。異なるオントロジーの概念間に存在する関係性。本論文では、マルチメディア領域における本アプローチの応用例を紹介する。

Estimating Uncertainty of Categorical Web Data

Estimating Uncertainty of Categorical Web Data。ウェブデータは不確実性が高いことが多い。我々はカテゴリカルなウェブデータに注目し、これらの不確実性のレベルを1次または2次の不確実性として表現する。具体的な例として、ベータ二項モデルやディリクレ多項モデルを用いて、これらの不確実性をどのように定量化し、扱うか、また サンプルに含まれる未知のカテゴリーを考慮するために、ディリクレ 処理します。

An Evidential Approach for Modeling and Reasoning on Uncertainty in Semantic Applications

An Evidential Approach for Modeling and Reasoning on Uncertainty in Semantic Applications。標準的なセマンティック技術は、知識表現のための強力な手段であると同時に、現代のアプリケーションに強化された推論能力を提供する。しかし、実世界に内在する不確実性をどのように扱うかという問題は、依然として大きな欠点と考えられている。そのため、これらの技術を不確実な世界の表現に適応させることが必要である。ここでは、この問題を、オントロジーのアサーション知識における不確実性をモデル化し、推論するために、証拠理論を通して検討する。デンプスター・シェーファー理論としても知られる証拠理論は、確率の拡張であり、特定の仮説の集合に質量を割り当てることを提案するものである。さらに、仮説に関連するセマンティクス（階層構造、制約公理、オントロジーで定義された特性）のおかげで、この数学的理論が提供する情報と決定プロセスの古典的な組み合わせを適用するために、この理論の一貫したフレームが自動的に作成される。

Representing Sampling Distributions In P-SROIQ

Representing Sampling Distributions In P-SROIQ。我々は、確率的記述論理P-SROIQで記述された乳癌オントロジー（の一部）を設計し、多様な方法で記述された統計的実験結果の整合性を判定することを支援する。主な貢献は、近似の無矛盾性が統計的無矛盾性を意味するようなサンプリング分布の近似方法である。連続分布

Finite Lattices Do Not Make Reasoning In ALCI Harder

Finite Lattices Do Not Make Reasoning In ALCI Harder。有限残差格子に基づく意味論を持つファジィ論理ALCIを考察する。この論理における概念の充足性と包含の問題は、一般的なTBoxに関してはExpTime-complete、非周期的なTBoxに関してはPSpace-completeであることが示された。これはクリスプALCIにおける推論の既知の複雑さの境界と一致する。

Learning Terminological Na¨ıve Bayesian Classifiers Under Different Assumptions on Missing Knowledge

Learning Terminological Na¨ıve Bayesian Classifiers Under Different Assumptions on Missing Knowledge。セマンティックウェブ標準によって得られる知識は、一般にオープンワールド仮定（すなわち、アサーションの真理値は必ずしも知られていない）を採用しているため、容易に欠落することがある。しかし、オントロジーの特徴である豊富な関係構造を利用することで、このような知識の欠落を明示的に扱うことができる。本論文では、記述ロジックの概念集合に含まれる一般的な個体が対象概念に属する確率を推定する、統計的関係学習システム（ベイズ型分類器）を紹介する。学習過程では、オープンワールド仮定を採用することによって生じる知識の不足を、その性質の違いによって一貫して処理する。を、その知識自体が欠落しているのです。

A Distribution Semantics for Probabilistic Ontologies

A Distribution Semantics for Probabilistic Ontologies。本論文では、確率論的論理プログラムの分布意味論に基づく確率論的オントロジーの意味論DISPONTEを提案する。DISPONTEでは、確率的オントロジーの各公理は確率で注釈される。このように確率論は、ある公理をアノテーションで与えられた確率でワールドに 含めることによって得られる通常の理論（ワールドと呼ぶ）に対する分布を定義してい る。クエリの確率は、この分布からマージナル化によって計算される。また、DISPONTEセマンティクスに基づく確率論的OWL DLオントロジーを推論するシステムBUNDLEを紹介する。BUNDLEはPelletをベースにしており、クエリに対する説明を返すというPelletの機能を利用している。説明文はバイナリ決定図で表現され、そこから の確率が計算される。

Semantic Link Prediction through Probabilistic Description Logics

Semantic Link Prediction through Probabilistic Description Logics。ネットワークにおけるノード間の潜在的なリンクを予測することは、実用上非常に関心の高い問題である。リンク予測はグラフベースの特徴量に基づくものがほとんどであり、最近ではドメインのセマンティクスを考慮したアプローチもある。しかし、これらの予測には不確実性が存在する。これをモデル化することで、予測結果を改善することができる。本論文では、確率的記述論理crALCで記述された確率的オントロジーを用いたリンク予測アルゴリズムを提案する。

Distributed Imprecise Design Knowledge on the Semantic Web

Distributed Imprecise Design Knowledge on the Semantic Web。本論文では、RDFに基づく共有知識表現について概説する。これは、分散型マルチテナント環境において、設計知識を保存するために使用することができる。これらのRDF-グラフは、特定の問題解決ケースのベイジアンネットワーク表現をインスタンス化するために必要なすべての情報を含んでおり、リードの認定中に営業担当者が行う概念設計タスクをサポートするために使用される。

Reasoning under Uncertainty with Log-Linear Description Logics

Reasoning under Uncertainty with Log-Linear Description Logics。このポジションペーパーでは、対数線形記述論理とその応用について簡単にまとめている。また、確率的記述論理が実際に有用であるために必要な5つの要件をまとめた。我々は、対数線形記述論理がどのような 記述論理はこれらの要件に答えるものである。

Handling uncertainty in information extraction

Handling uncertainty in information extraction。本ポジションペーパーでは、オントロジー定義プロセスに基づき、アノテーションの可能性（不正確さ）に関する知識を用いて情報抽出器を開発するための対話的アプローチを提案する。また、確率的な依存関係を管理・操作する問題についても議論する。

その他論文

Uncertain reasoning for the semantic web

Uncertain reasoning for the semantic web Ⅰ

Uncertain reasoning for the semantic web Ⅰ。本書は、2005年、2006年、2007年にISWCで開催されたUncertainty Reasoning for the Semantic Web (URSW)の最初の3ワークショップの議事録である。ここでは、ワークショップで発表された論文の改訂版および大幅な拡張版に加え、この分野および関連分野の第一人者による招待論文を収録している。

本書は、セマンティックWebの文脈における不確実性推論への最先端の研究アプローチを初めて包括的にまとめたものであり、不確実性の異なるモデルや、不確実な形式知を用いた演繹的推論および帰納的推論へのアプローチを捉えている。

Uncertain reasoning for the semantic web Ⅱ

Uncertain reasoning for the semantic web Ⅱ。本書は「Uncertainty Reasoning for the Semantic Web」に関する第2巻であり、2008年、2009年、2010年にInternational Semantic Web Conference (ISWC) で開催されたUncertainty Reasoning for the Semantic Web (URSW) に関するワークショップ、あるいは2010年のFirst International Workshop on Un- certainty in Description Logics (UniDL) で提示されたパスの改訂および大幅な拡張版である。

この2冊は、セマンティックWebの文脈における不確実性推論への最先端の研究アプローチを包括的にまとめたもので、不確実性の異なるモデルや、不確実な形式知による帰納的推論と同様に帰納的推論へのアプローチを捉えている

Uncertainty Reasoning for the Semantic Web 3論文集より

Uncertainty Reasoning for the Semantic Web 3論文集より。今回はUncertainty Reasoning for the Semantic Webの第3巻について述べる。今回はそれら不確実性へのアプローチとして以下のように分類している。(1)確率論的モデルおよびデンプスター・シェイファーモデル、(2)ファジィモデル、可能性モデル、(3)帰納的推論と機械学習、(4)ハイブリッド・アプローチ

解集合プログラミング

解集合プログラミング(Answer Set Programming)-論理プログラミングの歴史とASP概要

解集合プログラミング(Answer Set Programming)-論理プログラミングの歴史とASP概要。1970年代初頭に開発された論理型プログラミング言語Prologは、述語論理に基づく宣言的記述と定理証明に基づく計算手続きを併せ持つ新しい人工知能言語として注目され、1980年代にはエキスパートシステム、自然言語処理、演算データベースなどに幅広く有用されている。

Prologはチューリング完全で高い計算能力を持つ一方で、そのベースとなるホーン節論理プログラムは構文上の制約や推論能力の不足により、現実の知識表現や問題解決への適用は限定的であることも明らかになっている。

こうした問題を解決するために、論理プログラミングの表現能力を拡張し、推論機能を強化するための試みが1980年代後半から数多く提案されている。その結果1990年代後半から、論理プログラミングと制約プログラミングの概念を融合した解集合プログラミング(answer set programming)の概念が確立され、現在では論理プログラミングの中心的な言語の一つになっている。

Inductive Logic Programming

Inductive logic Programming 2008論文集より

Inductive logic Programming 2008論文集より。2008年9月10日から12日にかけて、プラハで第18回帰納論理プログラミング国際会議が開催された。ILPコミュニティは明らかに、愛着のある一階論理表現のフレームワークを大切にし続けているが、ILP2008で発表された研究は、逆包含関係などの確立されたILPアプローチの拡張と、ブレイブ誘導などの新しい論理誘導フレームワークの探求の両方にまだ余地があることを示し、さらに統計的関係学習、グラフマイニング、セマンティックウェブ、バイオインフォマティクス、認知科学の領域にまで広がっている。

Inductive logic Programming 2009論文集より

Inductive logic Programming 2009論文集より。ILPカンファレンスシリーズは、ほぼ20年にわたり、論理ベースの機械学習へのアプローチに関する研究の第一級のフォーラムとして開催されてきました。2009年7月2日から4日にかけてルーヴェンで開催された第19回帰納論理プログラミング国際会議もこの伝統を受け継ぎ、 SRL-2009 – International Workshop on Statistical Relational Learning、 MLG-2009 – 7th International Workshop on Mining and Learning with Graphsと併催され、他のコミュニティにも開かれた会議となりました。これら3つのイベントは、それぞれ独自の焦点、強調点、伝統を持っていますが、基本的には、グラフ、関係記述、論理の形で構造化されたデータについての学習という問題を研究対象として共有しています。このように、3つのコミュニティ間の交流を深めるために、イベントの同時開催が行われました。

Inductive logic Programming 2010論文集より

Inductive logic Programming 2010論文集より。今回は、2010年6月27日から30日にかけてイタリアのフィレンツェで開催された第20回帰納論理プログラミング国際会議（ILP2010）の改訂論文について述べている。

ILPカンファレンスシリーズは1991年に始まり、論理ベースの機械学習へのアプローチに関する国際的な一大イベントとなる。近年では、統計的学習や他の確率的アプローチとの融合が模索され、研究の幅が大きく広がっている。

Inductive logic Programming 2011論文集より

Inductive logic Programming 2011論文集より。2011年7月31日から8月3日まで、英国のCumberland Lodgeにて、Imperial College LondonのDepartment of Computingの後援のもと開催された。ILP2011について述べる。

31件のプロシーディングスの論文は、ILPの理論、実装、確率的ILP、生物学的応用、部分群発見、文法推論、関係カーネル、ペトリネット学習、空間学習、グラフベース学習、行動モデルの学習など、現在のILP研究の多様性と活力を象徴しているものとなっている。

Inductive logic Programming 2012論文集より

Inductive logic Programming 2012論文集より。2012年9月17日から19日にドブロヴニクで開催された第22回帰納論理プログラミング国際会議ILP 2012について述べてる。ILPカンファレンスシリーズは1991年に始まり、構造化されたデータからの学習に関する主要な国際フォーラムである。当初は論理プログラムの帰納に焦点を当てたものだったが、近年はその範囲を広げ、多くの注目と関心を集めている。現在では、論理学習、多枝関係学習、データマイニング、統計的関係学習、グラフ・木構造マイニング、関係強化学習など、構造化データからの学習に関するあらゆる側面に焦点を当てている。

ILP2012の論文では、命題化、論理的基礎、実装、確率的ILP、ロボット工学・生物学への応用、文法推論、空間学習、グラフベース学習など、現在のILP研究の幅広さをよく表している。

Inductive logic Programming 2016論文集より

Inductive logic Programming 2016論文集より。ILP 2016は、2016年9月4日から6日の間、ロンドンのWarren House Conference Centreで開催された。1991年の第1回以来、毎年開催されるILPカンファレンスは、構造化された関係データからの学習に関する第一級の国際フォーラムとして機能してきた。当初は論理プログラムの帰納に焦点を当てていたが、長年にわたり研究の視野を大きく広げ、論理における学習、多関係データマイニング、統計的関係学習、グラフと木のマイニング、他の（非命題）論理ベースの知識表現の枠組みにおける学習、統計学習との交差の探求、他の確率的アプローチなどのあらゆる側面に関する貢献している。これらの分野での理論的な進歩は、バイオインフォマティクス、医学、テキストマイニングなどの分野における重要な問題へのこれらの技術の挑戦的な応用も伴っている。

Inductive logic Programming 2017論文集より

Inductive logic Programming 2017論文集より。2017年9月にフランスのオルレアンで開催された第27回帰納論理プログラミング国際会議ILP2017について述べる。内容としては、ロボット制御、知識ベースと医療、画像認識における統計的機械学習、関係学習、ロジックベースのイベント認識システム、リレーショナルデータからボルツマンマシン分類器を学習する問題、並列帰納論理プログラミング、解釈遷移（LFIT）からの学習、Lifted Relational Neural Networks (LRNN) 、WOrd2Vecの改善について述べる。

Inductive logic Programming 2018論文集より

Inductive logic Programming 2018論文集より。帰納論理プログラミング（ILP）は機械学習のサブフィールドであり、例、背景知識、仮説を表現するための統一された表現言語として論理プログラミングに依存している。一階述語論理に基づくその強力な表現形式により、ILPは多関係学習とデータマイニングのための優れた手段を提供する。

1991年に開始されたILP会議シリーズは、構造化または半構造化されたリレーショナルデータから学習するための最高の国際フォーラムとなる。もともとは論理プログラムの導入に焦点を当てていたが、長年にわたって研究範囲を大幅に拡大し、論理、多関係データマイニング、統計的関係学習、グラフおよびツリーマイニング、その他の学習（非-提案）論理ベースの知識表現フレームワーク、統計的学習およびその他の確率論的アプローチに対する研究が報告されている。

Inductive logic Programming 2019論文集より

Inductive logic Programming 2019論文集より。今回は2019年9月3-5日にブルガリアのプロブディフで開催た第29回帰納論理プログラミング国際会議について述べる。

帰納論理プログラミング（ILP）は機械学習のサブフィールドであり、例、背景知識、仮説を表現するための統一された表現言語として論理プログラミングに依存する。一階述語論理に基づくその強力な表現形式により、ILPは多関係学習とデータマイニングのための優れた手段を提供する。

1991年に開始されたILP会議シリーズは、構造化または半構造化されたリレーショナルデータから学習するための最高の国際フォーラムとなる。もともとは論理プログラムの導入に焦点を当てていたが、長年にわたって研究範囲を大幅に拡大し、論理、多関係データマイニング、統計的関係学習、グラフおよびツリーマイニング、その他の学習（非-提案）論理ベースの知識表現フレームワーク、統計的学習およびその他の確率論的アプローチとの交差点を調査している。

Inductive logic Programming 2020-21論文集より

Inductive logic Programming 2020-21論文集より。今回はコロナパンデミックの影響で一年スキップされたILP2021について述べる。帰納論理プログラミング（ILP）は、機械学習の一分野であり、関係データから論理表現を学習することに重点を置いている。ILPカンファレンスシリーズは1991年に開始され、構造化または半構造化された関係データからの学習、多関係学習、データマイニングに関する主要な国際フォーラムである。当初は論理プログラムの帰納に焦点をあてていたが、長年にわたり研究の視野を大きく広げ、論理学習、統計的関係学習、グラフと木のマイニング、他の（非命題）論理ベースの知識表現フレームワークの学習、統計学習や他の確率的アプローチとの交差の探求など、あらゆる側面からの研究となる。

Reasoning Web

    Reasoning Web 2005論文集より

    Reasoning Web 2005論文集より。今回は、2005年7月25日から29日にかけて開催されたサマースクール「Reasoning Web」(http://reasoningweb.org)のチュートリアルペーパーを収録している。このスクールの目的は、World Wide Web Consortium W3Cが重要な役割を果たしている、現在のWeb研究の主要な試みであるセマンティックWebの手法と問題点について紹介することとなる。

    セマンティックウェブの主な考え方は、データの「意味」を伝えるメタデータでウェブデータを豊かにし、ウェブベースのシステムがデータ（とメタデータ）について推論できるようにすることとなる。セマンティックウェブアプリケーションで使用されるメタデータは、通常、異なるアプリケーションで共有されるアプリケーションドメインの概念にリンクされている。このような概念化はオントロジーと呼ばれ、オブジェクトのクラスとそれらの間の関係を規定する。オントロジーは、論理学に基づき、形式的な推論をサポートするオントロジー言語によって定義される。現在のウェブがデータフォーマットとデータセマンティクスにおいて本質的に異質であるように、セマンティックウェブはその推論形態において本質的に異質となる。つまり、セマンティックウェブでは単一の推論形式では不十分であることが判明している。例えば、一般にオントロジー推論は単調な否定に依存するが、データベース、ウェブデータベース、ウェブベースの情報システムは非単調な推論を要求している。時間を扱うには制約推論が必要である（時間間隔が扱われるため）。トポロジーを用いた推論、例えば、モバイルコンピューティングのアプリケーションでは、計画法が必要となる。一方、（前方および後方）連鎖は、データベースのようなビューを扱う推論である（ビュー、すなわち、仮想データは、結合や投影などの操作によって、実際のデータから導出することができるため）。

    Reasoning Web 2006論文集について

    Reasoning Web 2006論文集について。今回は、2006年9月4日から6日にかけてリスボンで開催されたリスボン新大学（Universidade Nova de Lisboa）主催のサマースクール「Reasoning Web 2006」（http://reasoningweb.org）について述べる。推論はセマンティックウェブの研究開発において中心的な課題の一つである。実際、セマンティックウェブは、セマンティクスを運ぶ「メタデータ」と推論手法によって、今日のウェブを強化することを目的としている。セマンティックウェブは、学術界と産業界の両方が関与する非常に活発な研究開発分野である。

    サマースクール「推論Web2006」のプログラムでは、以下のような問題を扱います。(1)セマンティックウェブ問合せ言語、(2)セマンティックウェブのルールとオントロジー、(3)バイオインフォマティクスと医療オントロジー – 産業的側面

    Reasoning Web 2007論文集より

    Reasoning Web 2007論文集より。Reasoning Webは、Web of Semanticsにおける推論の理論的基礎、最新のアプローチ、および実用的な解決策に焦点を当てたサマースクールシリーズとなる。今回は2007年9月にドイツ・ドレスデンで開催されたReasoning Web summer school 2007のチュートリアルノートとなる。

    2007年版の第1部は「推論と推論言語の基礎」で、ルールベースの問合せ言語の概念と方法について調査している。さらに、記述論理とその利用法についても包括的に紹介されている。第2部の “Rules and Policies “では、リアクティブルールとルールベースのポリシー表現が扱われている。Webにおけるルール交換の重要性と有望な解決策について、現在のW3Cの取り組みに関する概要とともに、徹底的な議論が行われている。第3部「セマンティックWeb推論の応用」では、セマンティックWeb推論の実用的な使用方法を示す。学術的な視点は、セマンティックウィキにおける推論に関する寄稿によって提示される。また、産業界の視点として、セマンティック技術の重要性を、企業向け検索ソリューション、セマンティックWiki表現による企業内知識ベースの構築、B2BシナリオにおけるセマンティックWebサービスの発見と選択、などの寄稿で紹介している。

    Reasoning Web 2008論文集より

    Reasoning Web 2008論文集より。Reasoning Webサマースクールは、セマンティックWebの基礎的・応用的側面に関心を持つ学術界・産業界の専門家や博士課程の学生が参加する、定評のあるイベントである。今回は、2008年9月にイタリアのベニスで開催された第4回サマースクールの講義録である。最初の3つの章は、(1)セマンティック情報をエンコードするために採用された言語、形式、および標準、(2)マルチメディアやソーシャルネットワークアプリケーションなどのコンテキストで有用な “ソフト “拡張機能、(3)オントロジーのオーサリングをエンドユーザーに近づけるための制御された自然言語技術と入門的な内容となっており、残りの章では、ソーシャルネットワーク、セマンティックマルチメディアの索引付けと検索、バイオインフォマティクス、セマンティックウェブサービスなどの主要な応用分野を取り上げている。

    Reasoning Web 2009論文集より

    Reasoning Web 2009論文集より。セマンティックウェブは、応用計算機科学における現在の主要な試みの一つである。セマンティックウェブの目的は、既存のウェブをメタデータと処理方法で強化し、ウェブベースのシステムに高度な（いわゆる知的）機能、特にコンテキスト認識と意思決定サポートを提供することである。

    セマンティックウェブアプリケーションのシナリオで必要とされる高度な能力は、主に推論を必要とする。推論機能は、現在開発中のセマンティックWeb言語によって提供される。しかし、これらの言語の多くは、機能中心（例：オントロジー推論、アクセス検証）またはアプリケーション中心（例：Webサービス検索、合成）の観点から開発されている。セマンティックウェブシステムとアプリケーションには、上記の活動を補完する推論技術を中心とした視点が望ましい。

    Reasoning Web 2010論文集より

    Reasoning Web 2010論文集より。今回は、ドレスデンで開催されたReasoning Web 2010について述べる。Reasoning Webは、Web of Semanticsにおける推論の理論的基礎、現代的アプローチ、および実用的なソリューションに関するサマースクールシリーズで、本書は、2010年8月30日から9月3日にかけて開催された第6回スクー ルのチュートリアルノートとなる。

    今回は、セマンティック技術のソフトウェア工学への応用と、それに適した推論技術に焦点を当てる。ソフトウェア工学における意味技術の応用はそう簡単ではなく、ソフトウェアモデリングに推論を適用するためには、いくつかの課題を解決しなければならない。

    Reasoning Web 2011論文集より

    Reasoning Web 2011論文集より。今回は、2011年8月23日～27日にアイルランドのゴールウェイで開催された第7回Reasoning Web Summer School 2011について述べる。Reasoning Web Summer Schoolは、Web上での推論技術の応用の分野で確立されたイベントであり、既存の研究者の科学的な議論を対象とし、この新しい分野に若い研究者を引きつけるものである。

    2011年のサマースクールでは、「Web of Data」に対する推論の応用を中心に、12の講義を行った。最初の4章では、RDF（Resource Description Framework）とLinked Dataの原理（1章）、OWL（Web Ontology Language）の基礎となる記述論理（2章）、問い合わせ言語SPARQLとOWLとの併用（3章）、効率的でスケーラブルなRDF処理に関連するデータベース基盤（4章）を紹介し、第5章ではLinked Data上でスケーラブルなOWL推論を行うためのアプローチ、続く6章ではWeb推論に関連するルールと論理プログラミング技術、7章では特にルールベース推論とOWLの組み合わせについて述べた。

    Reasoning Web 2012論文集より

    Reasoning Web 2012論文集より。今回は、2012年9月3日から8日にかけてオーストリアのウィーンで開催された第8回Reasoning Web Summer School 2012について述べる。Reasoning Web Summer Schoolシリーズは、Webにおける推論技術の活発な分野における主要な教育イベントとなっており、若手から熟練した研究者までが参加している。

    2012年のサマースクールでは、「Webにおける高度なクエリ応答」という一般的なモチーフのもと、プログラムが組まれた。また、セマンティックWebに関連した、クエリ応答が重要な役割を果たすアプリケーション分野や、その性質上、クエリ応答に新たな課題や問題をもたらす分野にも焦点を当てている。

    Reasoning Web 2013論文集より

    Reasoning Web 2013論文集より。今回は、2013年7月30日から8月2日までドイツのマンハイムで開催された第9回Reasoning Web Summer School 2013について述べる。

    2013年のサマースクールでは、RDFのような拡張性のある軽量な形式から、記述論理に基づくより表現力の高い論理言語まで、Web推論のさまざまな側面を取り上げられ、また、アンサーセットプログラミングやオントロジーに基づくデータアクセスで用いられる基礎的な推論技術や、地理空間情報の取り扱いや推論駆動型情報抽出・統合などの新しいトピックも取り上げられている。

    Reasoning Web 2014論文集より

    Reasoning Web 2014論文集より。今回は、2014年9月8日から13日にかけてギリシャのアテネで開催された第10回Reasoning Web Sum- mer School (RW 2014)について述べる。

    今回のテーマは“ビッグデータ時代のWeb上の推論 “となる。センサー、ソーシャルネットワークプラットフォーム、スマートフォンなどの新しい技術の発明により、組織は従来利用できなかった膨大な量のデータを利用し、社内の独自データと組み合わせることができるようになった。同時に、テラバイト、ペタバイト級のデータを扱うデータマネジメントや知識発見技術の実現を可能にする基盤技術（弾力的なクラウドコンピューティング基盤など）も大きく進展している。このような産業界の現実を反映し、セマンティックWebやLinked Dataなどのビッグデータの側面における最近の進歩や、ビッグデータ応用に取り組むための推論技術の基礎を紹介している。

    Reasoning Web 2015論文集より

    Reasoning Web 2015論文集より。今回は、2015年7月31日から8月4日までドイツ・ベルリンで開催された第11回Reasoning Webサマースクール（RW 2015）のために作成されたチュートリアル論文について述べる。2015年版のスクールは、ドイツ・ベルリン自由大学コンピューターサイエンス研究所と英国・ハダスフィールド大学コンピューター工学部主催で開催された。2015年は、”Web Logic Rules “(Semantic Web、Linked Data、オントロジー、ルール、ロジックに関する知見)がテーマとなる。

    Reasoning Web 2016論文集より

    Reasoning Web 2016論文集より。今回は2016年9月5日から9日まで英国アバディーンで開かれた第12回Reasoning Webサマースクール(RW2016)について述べる。内容としては知識グラフ、リンクデータ、セマンティクス、ファジーRDF、OWL知識ベースの構築とクエリのための論理的基礎をカバーしている。

    Reasoning Web 2017論文集より

    Reasoning Web 2017論文集より。今回は、2017年7月に英国ロンドンで開催された第13回Reasoning Webについて述べる。今回のテーマは「Web上のセマンティック相互運用性」であり、データ統合、オープンデータ管理、リンクデータ上の推論、データベースとオントロジーのマッピング、オントロジー上のクエリー回答、ルールとオントロジーによるハイブリッド推論、オントロジーに基づく動的システムといったテーマを包含している。今回は、これらのトピックを中心に、アンサーセットプログラミングやオントロジーで用いられる推論の基礎的な技術も取り上げている。

    Reasoning Web 2018論文集より

    Reasoning Web 2018論文集より。今回は2018年9月にルクセンブルグEsch-sur-Alzetteで開催された第14回Reasoning Webについて述べる。具体的な内容としては、規範推論、テキストコーパスと知識ベースを組み合わせた効率的な検索に関するクイックサーベイ、大規模な確率論的知識ベース、条件付き確率場（Conditional Random Fields）を知識ベースの生成タスクに適用する方法、DBpediaやWikidataのような大規模なクロスドメイン知識グラフ、大規模な知識グラフ（KG）の自動的な構築と知識グラフからルールの学習、巨大なRDFグラフの処理、Web環境でのストリーム処理アプリケーションの開発、非常に大規模な知識ベースに対する推論について述べる。

    Reasoning Web 2019論文集より

    Reasoning Web 2019論文集より。今回は2019年9月にイタリアBolzanoで開催された第15回Reasoning Webについて述べる。今回はExplainable AIの話題を中心に、記述論理を使ったオントロジーに対する主な推論・説明手法であるタブロー手続きと公理ピンポイントアルゴリズムについて、詳細な説明と分析、知識ベースに対する意味的問合せ応答、データ・プロベナンシング、エンティティ中心の知識ベース応用、格子理論によってデータを説明するアプローチである形式的概念分析、データから解釈の可能なモデルの学習、命題の充足可能性のような論理問題、制約充足のような離散問題、そして、本格的な数学的最適化課題の学習、分散コンピューティングシステム、説明可能なAIプランニングについて述べる。

    Reasoning Web 2020論文集より

    Reasoning Web 2020論文集より。今回は2020年6月にコロナの影響を受けてバーチャルでの開催となった第16回Reasoning Webつにいて述べる。メインのテーマは“Declarative Artificial Intelligence”(宣言型人工知能)となる。具体的な内容としては、軽量記述論理（DL）オントロジー説明可能なAI（XAI）、ストリーム推論、解集合プログラミング(ASP)、データ解析のための最近の宣言型問合せ言語であるリミット・データログ、知識グラフに関連するハイレベルな研究の方向性と未解決の問題の概要について述べる。

    Reasoning Web 2021論文集より

    Reasoning Web 2021論文集より。今回は20219月にベルギーのLeuvenで開催された第17回Reasoning Webについて述べる。具体的な内容としては、グラフ構造データの問い合わせに関する基礎、記述論理に基づくオントロジー言語と非単調ルール言語を用いた推論、記号的推論と深層学習の融合、セマンティックウェブとナレッジグラフと機械学習、ビルディング・インフォメーション・モデリング（BIM）、地理空間リンクされたオープンデータ、オントロジー評価技術、計画エージェント、クラウドベースの電子カルテ（EHR）システム、COVIDのパンデミック管理、Belief Revisionと記述論理への応用とOntology Repair、時間均衡論理（TEL）とその解集合プログラミング（ASP）への応用、RDFデータ検証のためのW3C勧告言語であるShapes Constraint Language (SHACL)の紹介とレビュー、データベースにおけるクエリの回答や機械学習における分類モデルからの結果に対するスコアベースの説明について述べる。

    その他論文

    Incremental Reasoning in OWL EL without Bookkeeping

    Incremental Reasoning in OWL EL without Bookkeeping

    Type Inference on Noisy RDF Data

    Type Inference on Noisy RDF Data

     

    タイトルとURLをコピーしました