論文の概要: Efficient Dependency Analysis for Rule-Based Ontologies
- arxiv url: http://arxiv.org/abs/2207.09669v1
- Date: Wed, 20 Jul 2022 05:53:36 GMT
- ステータス: 処理完了
- システム内更新日: 2022-07-21 14:15:14.984896
- Title: Efficient Dependency Analysis for Rule-Based Ontologies
- Title(参考訳): 規則に基づくオントロジーの効率的な依存性解析
- Authors: Larry Gonz\'alez and Alex Ivliev and Markus Kr\"otzsch and Stephan
Mennicke
- Abstract要約: 既存の規則特性の静的解析のために依存関係が提案されている。
私たちは、ポジティブな依存と抑制という、2種類のルール依存に焦点を当てています。
効率的な計算のために最適化アルゴリズムを実装した。
- 参考スコア(独自算出の注目度): 0.2752817022620644
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Several types of dependencies have been proposed for the static analysis of
existential rule ontologies, promising insights about computational properties
and possible practical uses of a given set of rules, e.g., in ontology-based
query answering. Unfortunately, these dependencies are rarely implemented, so
their potential is hardly realised in practice. We focus on two kinds of rule
dependencies -- positive reliances and restraints -- and design and implement
optimised algorithms for their efficient computation. Experiments on real-world
ontologies of up to more than 100,000 rules show the scalability of our
approach, which lets us realise several previously proposed applications as
practical case studies. In particular, we can analyse to what extent rule-based
bottom-up approaches of reasoning can be guaranteed to yield redundancy-free
"lean" knowledge graphs (so-called cores) on practical ontologies.
- Abstract(参考訳): 存在規則オントロジーの静的解析、計算特性に関する有望な洞察、与えられたルールセットの実用的な利用、例えばオントロジーに基づくクエリ応答など、いくつかの種類の依存関係が提案されている。
残念ながら、これらの依存関係はめったに実装されないため、その可能性はほとんど実現されていない。
我々は2種類のルール依存(正の依存と抑制)に注目し、効率的な計算のための最適化アルゴリズムの設計と実装を行う。
10万ルール以上の実世界のオントロジーの実験は、我々のアプローチのスケーラビリティを示しており、既に提案されているいくつかの応用を実践的なケーススタディとして実現することができる。
特に、推論のルールベースのボトムアップアプローチが、実用的オントロジーにおいて冗長性のない「リーン」知識グラフ(いわゆるコア)をいかに保証できるかを分析することができる。
関連論文リスト
- Efficient Reinforcement Learning from Partial Observability [80.11643679551042]
ほとんどの実世界の強化学習アプリケーションでは、状態情報は部分的にしか観測できないため、マルコフ決定プロセスの仮定を破る。
我々は、部分的な観察から実践的な強化学習のためのコヒーレントな枠組みと抽出可能なアルゴリズムアプローチへと導く表現に基づく視点を開発する。
提案アルゴリズムは,様々なベンチマークで部分的な観察を行い,最先端の性能を超えることができることを実証的に実証した。
論文 参考訳(メタデータ) (2023-11-20T23:56:58Z) - Offline Policy Optimization with Eligible Actions [34.4530766779594]
オフラインポリシーの最適化は多くの現実世界の意思決定問題に大きな影響を与える可能性がある。
重要度サンプリングとその変種は、オフラインポリシー評価において一般的に使用されるタイプの推定器である。
そこで本稿では, 州ごとの正規化制約によって過度に適合することを避けるアルゴリズムを提案する。
論文 参考訳(メタデータ) (2022-07-01T19:18:15Z) - Stabilizing Q-learning with Linear Architectures for Provably Efficient
Learning [53.17258888552998]
本研究では,線形関数近似を用いた基本的な$Q$-learningプロトコルの探索変種を提案する。
このアルゴリズムの性能は,新しい近似誤差というより寛容な概念の下で,非常に優雅に低下することを示す。
論文 参考訳(メタデータ) (2022-06-01T23:26:51Z) - Exploring Viable Algorithmic Options for Learning from Demonstration
(LfD): A Parameterized Complexity Approach [0.0]
本稿では,パラメータ化複雑性解析を用いて,アルゴリズムの選択肢を体系的に探索する方法を示す。
環境、実演、ポリシーに対する多くの(しばしば同時に)制限に対して、我々の問題は、一般的にも、あるいは相対的に、効率的に解決できないことを示す。
論文 参考訳(メタデータ) (2022-05-10T15:54:06Z) - Adversarial Robustness with Semi-Infinite Constrained Learning [177.42714838799924]
入力に対する深い学習は、安全クリティカルなドメインでの使用に関して深刻な疑問を提起している。
本稿では,この問題を緩和するために,Langevin Monte Carlo のハイブリッドトレーニング手法を提案する。
当社のアプローチは、最先端のパフォーマンスと堅牢性の間のトレードオフを軽減することができることを示す。
論文 参考訳(メタデータ) (2021-10-29T13:30:42Z) - Off-Policy Imitation Learning from Observations [78.30794935265425]
観察からの学習(lfo)は、多くのアプリケーションが利用できる実用的な強化学習シナリオである。
オフポリシ最適化を原則的に実現するサンプル効率の高いLfOアプローチを提案する。
我々のアプローチは、サンプル効率と性能の両面で最先端のロコモーションに匹敵する。
論文 参考訳(メタデータ) (2021-02-25T21:33:47Z) - Metrics and continuity in reinforcement learning [34.10996560464196]
メトリクスのレンズを通してトポロジを定義するために統一的な定式化を導入する。
我々はこれらの指標の階層を確立し、マルコフ決定過程にその理論的意味を実証する。
考察した指標間の差異を示す実証的な評価で理論結果を補完する。
論文 参考訳(メタデータ) (2021-02-02T14:30:41Z) - Multi-Agent Reinforcement Learning with Temporal Logic Specifications [65.79056365594654]
本研究では,時間論理仕様を満たすための学習課題を,未知の環境下でエージェントのグループで検討する。
我々は、時間論理仕様のための最初のマルチエージェント強化学習手法を開発した。
主アルゴリズムの正確性と収束性を保証する。
論文 参考訳(メタデータ) (2021-02-01T01:13:03Z) - Learning Implicitly with Noisy Data in Linear Arithmetic [94.66549436482306]
PAC-セマンティックスにおける暗黙学習を拡張し、線形算術の言語における間隔としきい値の不確実性を扱う。
最適線形プログラミング対象制約の学習に対する我々の暗黙的アプローチは、実際的な明示的アプローチよりも著しく優れていることを示す。
論文 参考訳(メタデータ) (2020-10-23T19:08:46Z) - Rule-based Bayesian regression [0.90238471756546]
回帰問題に対処する新しいルールベースのアプローチを導入する。
新しい手法は2つの枠組みから成り立っている: (i)ベイズ的推論を用いて利害パラメータの不確実性に関する情報を提供する; (ii)ルールベースのシステムを通じて専門家の知識を組み込むことを可能にする。
論文 参考訳(メタデータ) (2020-08-02T07:20:45Z) - Sparse Methods for Automatic Relevance Determination [0.0]
まず、自動妥当性決定(ARD)について検討し、スパースモデルを実現するために、追加の正規化やしきい値設定の必要性を解析的に実証する。
次に、正規化ベースとしきい値ベースという2つの手法のクラスについて論じる。
論文 参考訳(メタデータ) (2020-05-18T14:08:49Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。