論文の概要: Parallel Logic Programming: A Sequel
- arxiv url: http://arxiv.org/abs/2111.11218v1
- Date: Mon, 22 Nov 2021 14:05:03 GMT
- ステータス: 処理完了
- システム内更新日: 2021-11-23 17:21:22.815924
- Title: Parallel Logic Programming: A Sequel
- Title（参考訳）: 並列論理プログラミング:続編
- Authors: Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V.
Hermenegildo, Enrico Pontelli, Ricardo Rocha
- Abstract要約: 本調査は2001年以降の並列論理プログラミングの研究を概観するものである。
内容は今日はかなり有効だが、それと同時に、この分野はそれに続く数年間で急速に進化を続けている。
- 参考スコア（独自算出の注目度）: 4.868878464970551
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Multi-core and highly-connected architectures have become ubiquitous, and
this has brought renewed interest in language-based approaches to the
exploitation of parallelism. Since its inception, logic programming has been
recognized as a programming paradigm with great potential for automated
exploitation of parallelism. The comprehensive survey of the first twenty years
of research in parallel logic programming, published in 2001, has served since
as a fundamental reference to researchers and developers. The contents are
quite valid today, but at the same time the field has continued evolving at a
fast pace in the years that have followed. Many of these achievements and
ongoing research have been driven by the rapid pace of technological
innovation, that has led to advances such as very large clusters, the wide
diffusion of multi-core processors, the game-changing role of general-purpose
graphic processing units, and the ubiquitous adoption of cloud computing. This
has been paralleled by significant advances within logic programming, such as
tabling, more powerful static analysis and verification, the rapid growth of
Answer Set Programming, and in general, more mature implementations and
systems. This survey provides a review of the research in parallel logic
programming covering the period since 2001, thus providing a natural
continuation of the previous survey. The goal of the survey is to serve not
only as a reference for researchers and developers of logic programming
systems, but also as engaging reading for anyone interested in logic and as a
useful source for researchers in parallel systems outside logic programming.
Under consideration in Theory and Practice of Logic Programming (TPLP).
- Abstract（参考訳）: マルチコアと高接続アーキテクチャはユビキタスになり、言語ベースのアプローチによる並列処理への関心が高まっている。
その始まり以来、論理プログラミングは並列処理の自動利用の可能性を持つプログラミングパラダイムとして認識されてきた。
2001年に発表された並列論理プログラミングに関する最初の20年間の研究の総合的な調査は、研究者や開発者への基本的な参照として役立った。
内容は今日はかなり有効だが、それと同時に、この分野はそれに続く数年間で急速に進化を続けている。
これらの成果や進行中の研究の多くは、非常に大規模なクラスタ、マルチコアプロセッサの広範な普及、汎用グラフィック処理ユニットのゲームチェンジの役割、クラウドコンピューティングのユビキタスな普及といった、技術革新の急速なペースによって進められている。
これは、タブリング、より強力な静的解析と検証、Answer Set Programmingの急速な成長、そして一般的にはより成熟した実装とシステムなど、ロジックプログラミングにおける重要な進歩と平行している。
本調査は、2001年以降の並列論理プログラミングの研究を概観し、これまでの調査を自然に継続するものである。
この調査の目的は、論理プログラミングシステムの研究者や開発者へのリファレンスとしてだけでなく、論理に興味のある人にとっての読書や、論理プログラミング以外の並列システムの研究者にとって有用な情報源としての役割も果たすことだ。
論理プログラミングの理論と実践(tplp)における考察。
関連論文リスト
- State-Space Modeling in Long Sequence Processing: A Survey on Recurrence in the Transformer Era [59.279784235147254]
このサーベイは、シーケンシャルなデータ処理の反復モデルに基づく最新のアプローチの詳細な概要を提供する。
新たなイメージは、標準のバックプロパゲーション・オブ・タイムから外れた学習アルゴリズムによって構成される、新しいルートを考える余地があることを示唆している。
論文 参考訳（メタデータ） (2024-06-13T12:51:22Z) - Simulating Petri nets with Boolean Matrix Logic Programming [4.762323642506732]
本稿では,ハイレベルなシンボル操作の限界に対処する新しい手法を提案する。
本フレームワークでは,基本ネットとして知られるペトリネットのクラスに対して,2つの新しいBMLPアルゴリズムを提案する。
BMLPアルゴリズムは,表付きB-Prolog,SWI-Prolog,XSB-Prolog,Clingoの40倍の速度でこれらのプログラムを評価できることを示す。
論文 参考訳（メタデータ） (2024-05-18T23:17:00Z) - A Data-to-Product Multimodal Conceptual Framework to Achieve Automated Software Evolution for Context-rich Intelligent Applications [0.0]
本研究では,ソフトウェアの自動進化を実現するための概念的枠組みを提案する。
概念的枠組みに基づいて選択的シーケンススコープモデル(3S)モデルを開発する。
この研究はインテリジェントなアプリケーションに関するものだが、フレームワークと分析方法は、AIが彼らのライフサイクルにより多くのインテリジェンスをもたらすため、他のタイプのソフトウェアに適用される可能性がある。
論文 参考訳（メタデータ） (2024-04-07T06:05:25Z) - A Survey of Neural Code Intelligence: Paradigms, Advances and Beyond [84.95530356322621]
この調査は、コードインテリジェンスの発展に関する体系的なレビューを示す。
50以上の代表モデルとその変種、20以上のタスクのカテゴリ、および680以上の関連する広範な研究をカバーしている。
発達軌道の考察に基づいて、コードインテリジェンスとより広範なマシンインテリジェンスとの間の新たな相乗効果について検討する。
論文 参考訳（メタデータ） (2024-03-21T08:54:56Z) - When Do Program-of-Thoughts Work for Reasoning? [51.2699797837818]
本稿では,コードと推論能力の相関性を測定するために,複雑性に富んだ推論スコア(CIRS)を提案する。
具体的には、抽象構文木を用いて構造情報をエンコードし、論理的複雑性を計算する。
コードはhttps://github.com/zjunlp/EasyInstructのEasyInstructフレームワークに統合される。
論文 参考訳（メタデータ） (2023-08-29T17:22:39Z) - QParallel: Explicit Parallelism for Programming Quantum Computers [62.10004571940546]
並列量子プログラミングのための言語拡張を提案する。
QParallelは、現在の量子プログラミング言語における並列性に関する曖昧さを取り除く。
並列化によって最も利益を上げるサブルーチンを識別し,並列領域の配置にプログラマを誘導するツールを提案する。
論文 参考訳（メタデータ） (2022-10-07T16:35:16Z) - On syntactically similar logic programs and sequential decompositions [0.0]
ルールベースの推論は、論理プログラムを通じて人工知能研究において顕著に形式化された人間の知能の重要な部分である。
複雑な物体を素体の合成として記述することは、コンピュータ科学や科学全般において一般的な戦略である。
一段階の削減によって、異なるドメインにわたるクエリに、どのように類似性を使って答えることができるかを示す。
論文 参考訳（メタデータ） (2021-09-11T15:22:17Z) - Online Learning Probabilistic Event Calculus Theories in Answer Set
Programming [70.06301658267125]
イベント認識(CER)システムは、事前に定義されたイベントパターンを使用して、ストリーミングタイムスタンプデータセットで発生を検出する。
本稿では,複雑なイベントパターンによる確率論的推論を,イベント計算で重み付けされたルールの形で行うことができるAnswer Set Programming(ASP)に基づくシステムを提案する。
その結果, 効率と予測の両面で, 新たなアプローチの優位性が示された。
論文 参考訳（メタデータ） (2021-03-31T23:16:29Z) - iWarded: A System for Benchmarking Datalog+/- Reasoning (technical
report) [0.0]
iWardedは、非常に大きく、複雑で、現実的な推論設定を生成するシステムです。
我々は,iWardedシステムと,有効シナリオを生成するための新しい理論結果のセットを提示する。
論文 参考訳（メタデータ） (2021-03-15T17:56:46Z) - Inductive logic programming at 30 [22.482292439881192]
インダクティブ・ロジック・プログラミング(Inductive logic programming、ILP)は、論理ベースの機械学習の一種である。
我々は, (i) 新しいメタレベル探索法, (ii) 述語化のための新しいアプローチ, (iv) 異なる技術の利用に焦点を当てた。
ILPの現在の限界について論じ、今後の研究の方向性について論じる。
論文 参考訳（メタデータ） (2021-02-21T08:37:17Z) - Multi-Agent Reinforcement Learning with Temporal Logic Specifications [65.79056365594654]
本研究では,時間論理仕様を満たすための学習課題を,未知の環境下でエージェントのグループで検討する。
我々は、時間論理仕様のための最初のマルチエージェント強化学習手法を開発した。
主アルゴリズムの正確性と収束性を保証する。
論文 参考訳（メタデータ） (2021-02-01T01:13:03Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。