論文の概要: How to build your own ASP-based system?!

• arxiv url: http://arxiv.org/abs/2008.06692v3
• Date: Fri, 5 Nov 2021 09:44:03 GMT
• ステータス: 処理完了
• システム内更新日: 2022-10-28 21:12:15.831743
• Title: How to build your own ASP-based system?!
• Title（参考訳）: 独自のASPベースのシステムを構築するには?
• Authors: Roland Kaminski and Javier Romero and Torsten Schaub and Philipp Wanko
• Abstract要約: このチュートリアルは、ユーザが独自のASPベースのシステムを構築することを可能にすることを目的としている。 ASPシステムClingOは、ASPの拡張やカスタマイズされた専用システムの実装にどのように使用できるかを示す。
• 参考スコア（独自算出の注目度）: 4.171595518241986
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Answer Set Programming (ASP) has become a popular and quite sophisticated approach to declarative problem solving. This is arguably due to its attractive modeling-grounding-solving workflow that provides an easy approach to problem solving, even for laypersons outside computer science. Unlike this, the high degree of sophistication of the underlying technology makes it increasingly hard for ASP experts to put ideas into practice. For addressing this issue, this tutorial aims at enabling users to build their own ASP-based systems. More precisely, we show how the ASP system CLINGO can be used for extending ASP and for implementing customized special-purpose systems. To this end, we propose two alternatives. We begin with a traditional AI technique and show how meta programming can be used for extending ASP. This is a rather light approach that relies on CLINGO's reification feature to use ASP itself for expressing new functionalities. Unlike this, the major part of this tutorial uses traditional programming (in PYTHON) for manipulating CLINGO via its application programming interface. This approach allows for changing and controlling the entire model-ground-solve workflow of ASP. Central to this is CLINGO's new Application class that allows us to draw on CLINGO's infrastructure by customizing processes similar to the one in CLINGO. For instance, we may engage manipulations to programs' abstract syntax trees, control various forms of multi-shot solving, and set up theory propagators for foreign inferences. Another cross-sectional structure, spanning meta as well as application programming, is CLINGO's intermediate format, ASPIF, that specifies the interface among the underlying grounder and solver. We illustrate the aforementioned concepts and techniques throughout this tutorial by means of examples and several non-trivial case-studies.
• Abstract（参考訳）: Answer Set Programming (ASP)は宣言的問題解決に人気があり、非常に洗練されたアプローチになっている。 これは、コンピュータサイエンス以外でも容易に問題解決できる、魅力的なモデリング・グラウンド・解決ワークフローが原因だろう。 これとは異なり、基盤となる技術の高度な技術は、ASPの専門家がアイデアを実践することをますます困難にします。 この問題に対処するために、このチュートリアルは、ユーザが独自のASPベースのシステムを構築することを目的としている。 より正確には、ASP システム ClingO が ASP の拡張やカスタマイズされた専用システムの実装にどのように使用できるかを示す。 この目的のために2つの選択肢を提案する。 従来のAI技術から始まり、ASP.NETアプリケーションを拡張するためにメタプログラミングをどのように使えるかを示す。 これは、ASP自体を新しい機能を表現するために使用するClingOの強化機能に依存する、かなり軽いアプローチである。 これとは異なり、このチュートリアルの主要な部分は、アプリケーションプログラミングインターフェイスを介してClingOを操作するために(PYTHONで)伝統的なプログラミングを使用する。 このアプローチにより、ASP.NETのモデル-解決ワークフロー全体を変更および制御できる。 中心となるのはClingOの新しいアプリケーションクラスで、ClingOのそれに似たプロセスをカスタマイズすることで、ClingOのインフラストラクチャを描画できる。 例えば、プログラムの抽象構文木を操作したり、様々な形式のマルチショット解決を制御したり、外部推論のための理論プロパゲータをセットアップしたりすることができる。 メタとアプリケーションプログラミングにまたがる別の横断的な構造として、clingoの中間フォーマットであるaspifがあり、基礎となるグルーダとソルバ間のインターフェースを規定している。 本稿では,本チュートリアルにおける概念と技法について,例といくつかの非自明なケーススタディを用いて解説する。

関連論文リスト

• Glider: Global and Local Instruction-Driven Expert Router [83.785832410832]
  モデルMoErging」手法は、保持タスクのパフォーマンスを犠牲にして、未確認タスクへの一般化を優先する。 マルチスケールルーティング機構を統合したGLIDER(Global and Local Instruction Driven Expert Router)を提案する。 GLIDERは、ホールドアウトタスクの強い一般化を維持しながら、ホールドイン性能を大幅に改善する。
  論文  参考訳（メタデータ） (2024-10-09T17:59:14Z)
• Few-Shot Class Incremental Learning with Attention-Aware Self-Adaptive Prompt [58.880105981772324]
  ASP(Attention-Aware Self-Adaptive Prompt)という新しいフレームワークを提案する。 ASP.NETはタスク不変のプロンプトを奨励し、注意点から特定の情報を減らすことで共有知識をキャプチャする。 要約すると、ASPはベースタスクの過度な適合を防ぎ、数秒のインクリメンタルタスクで膨大なデータを必要としない。
  論文  参考訳（メタデータ） (2024-03-14T20:34:53Z)
• Instruct2Act: Mapping Multi-modality Instructions to Robotic Actions with Large Language Model [63.66204449776262]
  Instruct2Actは、ロボット操作タスクのシーケンシャルアクションにマルチモーダル命令をマッピングするフレームワークである。 我々のアプローチは、様々な命令のモダリティや入力タイプを調節する上で、調整可能で柔軟なものである。 我々のゼロショット法は、いくつかのタスクにおいて、最先端の学習ベースのポリシーよりも優れていた。
  論文  参考訳（メタデータ） (2023-05-18T17:59:49Z)
• Tools and Methodologies for Verifying Answer Set Programs [0.0]
  ASP.NETは強力な宣言型プログラミングパラダイムで、検索と最適化の課題を解決するのによく使われます。 知識表現と推論へのアプローチとして、ASPはその単純さ、簡潔さ、厳密に定義されたセマンティクスから恩恵を受ける。 私の研究は、ASPプロガムの検証をサポートする理論とツールの拡張に関するものです。
  論文  参考訳（メタデータ） (2022-08-05T10:50:21Z)
• Composing Complex and Hybrid AI Solutions [52.00820391621739]
  一般的なAIアプリケーションで上記の機能を実現するためのAcumosシステムの拡張について述べる。 当社の拡張機能には、gRPC/Protobufインターフェースによるより汎用的なコンポーネントのサポートが含まれています。 デプロイ可能なソリューションとそのインターフェースの例を提供する。
  論文  参考訳（メタデータ） (2022-02-25T08:57:06Z)
• OpenPrompt: An Open-source Framework for Prompt-learning [59.17869696803559]
  PLM上でのプロンプト学習を行うための統一的な使いやすさツールキットであるOpenPromptを提案する。 OpenPromptは、効率性、モジュール性、拡張性を備えた、リサーチフレンドリーなフレームワークである。
  論文  参考訳（メタデータ） (2021-11-03T03:31:14Z)
• Learning Multi-Objective Curricula for Deep Reinforcement Learning [55.27879754113767]
  深部強化学習(DRL)のサンプル効率と最終性能を向上させるために,各種自動カリキュラム学習(ACL)手法が提案されている。 本稿では,多目的だがコヒーレントなカリキュラムを作成するための統合された自動カリキュラム学習フレームワークを提案する。 既存の手設計のカリキュラムパラダイムに加えて,抽象カリキュラムを学習するためのフレキシブルなメモリ機構を設計する。
  論文  参考訳（メタデータ） (2021-10-06T19:30:25Z)
• FOLASP: FO(.) as Input Language for Answer Ser Solvers [0.8946655323517091]
  本稿では, FO(.) 仕様を ASP-Core-2 に変換するツールを提案する。 FO()で定式化された問題の解法として,我々の翻訳と既製のASPソルバの組み合わせがIDPシステムと競合することを示す実験結果を示す。
  論文  参考訳（メタデータ） (2021-08-09T13:20:26Z)
• Towards a Semantics for Hybrid ASP systems [9.143661393612927]
  我々は抽象理論と構造化理論の概念を導入し、ASP.NETと統合することを正式に詳細化します。 次に、この概念を用いて、Clingoの理論推論フレームワークのセマンティックキャラクタリゼーションを正確に評価し、制約付きHere-and-thereの論理と対応性を確立する。
  論文  参考訳（メタデータ） (2021-08-06T11:21:50Z)
• A Machine Learning guided Rewriting Approach for ASP Logic Programs [0.0]
  機械学習(ML)に基づいて、書き換えるかどうかを自動決定するアプローチについて説明する。 特に、ASPプログラムと入力事実のセットが与えられた場合、我々のアプローチは、それらの構造特性とドメイン情報を測定する一連の機能に基づいて、入力ルールを書き換えるかどうかと方法を選択する。
  論文  参考訳（メタデータ） (2020-09-22T00:51:13Z)
• selp: A Single-Shot Epistemic Logic Program Solver [19.562205966997947]
  Epistemic Logic Programs (ELP) は Answer Set Programming (ASP) の拡張である また, 有界アリティを持つ非地上ASPへの ELP からの直接変換が存在することを示す。 次に、この符号化手法を、最近提案された大規模かつ非地上的なASPルールを扱う手法を用いて、プロトタイプのELP解決システム「セルプ」に実装する。
  論文  参考訳（メタデータ） (2020-01-04T15:36:31Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。