論文の概要: EZASP -- Facilitating the usage of ASP

• arxiv url: http://arxiv.org/abs/2603.26863v1
• Date: Fri, 27 Mar 2026 16:46:31 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-03-31 23:18:44.671056
• Title: EZASP -- Facilitating the usage of ASP
• Title（参考訳）: EZASP -- ASP.NET の利用を促進する
• Authors: Rafael Martins, Matthias Knorr, Ricardo Gonçalves,
• Abstract要約: EZASPは、Easy ASPメソッドに従ってASPプログラムの開発をサポートするように設計されたVisual Studio Code拡張である。 Easy ASPの言語フラグメントをカバーおよび拡張し、方法論から逸脱した場合に警告を提供する。
• 参考スコア（独自算出の注目度）: 0.38233569758620045
• License: http://creativecommons.org/licenses/by-nc-sa/4.0/
• Abstract: Answer Set Programming (ASP) is a declarative programming language used for modeling and solving complex combinatorial problems. It has been successfully applied to a number of different realworld problems. However, learning its usage can prove challenging as the declarative language, from a conceptual perspective, differs substantially from imperative programming, and programs are not required to adhere to any particular structure, offering arguably almost too much freedom for a beginner. Recently, a new methodology called Easy Answer Set Programming (Easy ASP) has been introduced that aims to aid in this learning process by focussing on a well-defined fragment of the ASP language and introducing additional structure to the programs. However, while this methodology can indeed be employed, to the best of our knowledge, no tool integrates its features currently. In this paper, we present EZASP, a Visual Studio Code extension designed to support the development of ASP programs following the Easy ASP methodology. It covers and extends the language fragment of Easy ASP and provides the user with warnings in the case of deviations from the methodology as well as the possibility to automatically reorder the program. Complementarily, it also adds syntax error highlighting, including detection of non-safe variables directly while editing, and configurability, as all features can be optionally disabled. A small user study in the context of university teaching suggests that these features are benefitial for both new and experienced users.
• Abstract（参考訳）: Answer Set Programming (ASP)は、複雑な組合せ問題のモデリングと解決に使用される宣言型プログラミング言語である。 様々な現実世界の問題にうまく適用されている。 しかし、宣言型言語は概念的には命令型プログラミングとは大きく異なり、プログラムは特定の構造に固執する必要がなく、初心者にとってほぼ多くの自由を提供するため、その使い方を学ぶことは困難である。 最近、ASP言語の明確に定義された断片に集中し、プログラムに付加的な構造を導入することで、この学習プロセスを支援する、Easy Answer Set Programming (Easy ASP)と呼ばれる新しい方法論が導入された。 しかし、私たちの知る限りでは、この方法論は実際に使えるが、現在、その機能を統合するツールは存在しない。 本稿では、EZASPについて述べる。EZASPは、 Easy ASPメソッドに従って、ASPプログラムの開発をサポートするように設計されたVisual Studio Code拡張である。 Easy ASPの言語フラグメントをカバーおよび拡張し、方法論から逸脱した場合の警告と、プログラムを自動的に再注文する可能性を提供する。 補完的に、編集中に非セーフ変数を直接検出することや、すべての機能がオプションで無効にできる構成性など、構文エラーのハイライトも追加されている。 大学教育の文脈における小さなユーザスタディは、これらの特徴が新規ユーザと経験者の双方にとって有益なものであることを示唆している。

関連論文リスト

• ToolCoder: A Systematic Code-Empowered Tool Learning Framework for Large Language Models [81.12673534903979]
  ツール学習は、大規模な言語モデル(LLM)にとって、外部ツールとのインタラクションを通じて、複雑な現実世界のタスクを解決する重要な機能として登場した。 本稿では,ツール学習をコード生成タスクとして再編成する新しいフレームワークであるToolCoderを提案する。
  論文  参考訳（メタデータ） (2025-02-17T03:42:28Z)
• Unit Testing in ASP Revisited: Language and Test-Driven Development Environment [8.110978727364397]
  ASPプログラム内でテストのインライン化を可能にする新しい単体テスト仕様言語を提案する。 テストケースの仕様は従来の評価には透過的だが、特定のテストツールで解釈できる。
  論文  参考訳（メタデータ） (2024-01-04T09:04:54Z)
• CNL2ASP: converting controlled natural language sentences into ASP [4.747324197963404]
  制御された自然言語(CNL)形式で表現された英語文をASP.NETに翻訳する新しいツールCNL2ASPを提案する。
  論文  参考訳（メタデータ） (2023-11-17T13:10:58Z)
• SQL-PaLM: Improved Large Language Model Adaptation for Text-to-SQL (extended) [53.95151604061761]
  本稿では,大規模言語モデル(LLM)を用いたテキスト・ツー・フィルタリングのフレームワークを提案する。 数発のプロンプトで、実行ベースのエラー解析による一貫性復号化の有効性について検討する。 命令の微調整により、チューニングされたLLMの性能に影響を及ぼす重要なパラダイムの理解を深める。
  論文  参考訳（メタデータ） (2023-05-26T21:39:05Z)
• TEMPERA: Test-Time Prompting via Reinforcement Learning [57.48657629588436]
  強化学習(TEMPERA)を用いたテスト時間プロンプト編集を提案する。 従来のプロンプト生成手法とは対照的に、TEMPERAは事前知識を効率的に活用することができる。 本手法は従来の微調整法と比較して試料効率の平均改善率を5.33倍に向上させる。
  論文  参考訳（メタデータ） (2022-11-21T22:38:20Z)
• Tools and Methodologies for Verifying Answer Set Programs [0.0]
  ASP.NETは強力な宣言型プログラミングパラダイムで、検索と最適化の課題を解決するのによく使われます。 知識表現と推論へのアプローチとして、ASPはその単純さ、簡潔さ、厳密に定義されたセマンティクスから恩恵を受ける。 私の研究は、ASPプロガムの検証をサポートする理論とツールの拡張に関するものです。
  論文  参考訳（メタデータ） (2022-08-05T10:50:21Z)
• A Preliminary Data-driven Analysis of Common Errors Encountered by Novice SPARC Programmers [0.0]
  本研究は, ASP.NET を用いた K-12 学生のプログラミングエラーのタイプと難易度に着目した。 このデータセットのエラーメッセージから、エラークラスの集合を特定し、各クラスの発生頻度と解決の難しさを測定します。
  論文  参考訳（メタデータ） (2022-08-05T10:48:25Z)
• LISA: Learning Interpretable Skill Abstractions from Language [85.20587800593293]
  言語条件による実演から多種多様な解釈可能なスキルを学習できる階層型模倣学習フレームワークを提案する。 本手法は, 逐次的意思決定問題において, 言語に対するより自然な条件付け方法を示す。
  論文  参考訳（メタデータ） (2022-02-28T19:43:24Z)
• Leveraging Language to Learn Program Abstractions and Search Heuristics [66.28391181268645]
  LAPS(Language for Abstraction and Program Search)は、自然言語アノテーションを用いて、ライブラリとニューラルネットワークによる合成のための検索モデルの共同学習をガイドする手法である。 最先端のライブラリ学習システム(DreamCoder)に統合されると、LAPSは高品質なライブラリを生成し、検索効率と一般化を改善する。
  論文  参考訳（メタデータ） (2021-06-18T15:08:47Z)
• How to build your own ASP-based system?! [4.171595518241986]
  このチュートリアルは、ユーザが独自のASPベースのシステムを構築することを可能にすることを目的としている。 ASPシステムClingOは、ASPの拡張やカスタマイズされた専用システムの実装にどのように使用できるかを示す。
  論文  参考訳（メタデータ） (2020-08-15T10:08:50Z)
• The ILASP system for Inductive Learning of Answer Set Programs [79.41112438865386]
  我々のシステムは、通常の規則、選択規則、厳しい制約を含むアンサーセットプログラムを学習する。 まず、ILASPの学習フレームワークとその機能の概要を説明します。 続いて、ILASPシステムの進化を概観する。
  論文  参考訳（メタデータ） (2020-05-02T19:04:12Z)

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

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