論文の概要: Reasoning about Study Regulations in Answer Set Programming
- arxiv url: http://arxiv.org/abs/2408.04528v1
- Date: Thu, 8 Aug 2024 15:27:22 GMT
- ステータス: 処理完了
- システム内更新日: 2024-08-09 15:18:18.452628
- Title: Reasoning about Study Regulations in Answer Set Programming
- Title(参考訳): 解答集合プログラミングにおける学習規則に関する考察
- Authors: Susana Hahn, Cedric Martens, Amade Nemes, Henry Otunuya, Javier Romero, Torsten Schaub, Sebastian Schellhorn,
- Abstract要約: 本稿では,対応する学習計画を作成するAnswer Set Programmingにおける学習規則の符号化を提案する。
研究計画の探索のために,このアプローチを汎用ユーザインターフェースに拡張する方法を示す。
- 参考スコア(独自算出の注目度): 1.605808266512203
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We are interested in automating reasoning with and about study regulations, catering to various stakeholders, ranging from administrators, over faculty, to students at different stages. Our work builds on an extensive analysis of various study programs at the University of Potsdam. The conceptualization of the underlying principles provides us with a formal account of study regulations. In particular, the formalization reveals the properties of admissible study plans. With these at end, we propose an encoding of study regulations in Answer Set Programming that produces corresponding study plans. Finally, we show how this approach can be extended to a generic user interface for exploring study plans.
- Abstract(参考訳): 我々は、管理者から教員、さまざまな段階の学生まで、様々な利害関係者を対象に、学習規則による推論と学習に関する自動化に興味を持っている。
我々の研究はポツダム大学の様々な研究プログラムの広範な分析に基づいている。
基礎となる原則の概念化は、研究規則の正式な説明を与えてくれる。
特に、形式化は許容可能な研究計画の特性を明らかにする。
最後に,これに対応する学習計画を作成するAnswer Set Programmingにおける学習規則の符号化を提案する。
最後に,本手法を汎用ユーザインタフェースに拡張して,研究計画の探索を行う方法を示す。
関連論文リスト
- Understanding the planning of LLM agents: A survey [98.82513390811148]
本調査では, LLMをベースとしたエージェント計画の体系的考察を行い, 計画能力の向上を目的とした最近の成果について報告する。
各方向について総合的な分析を行い、研究分野におけるさらなる課題について論じる。
論文 参考訳(メタデータ) (2024-02-05T04:25:24Z) - Towards Goal-oriented Intelligent Tutoring Systems in Online Education [69.06930979754627]
目標指向知能チューニングシステム(GITS)という新しいタスクを提案する。
GITSは,演習や評価のカスタマイズを戦略的に計画することで,学生の指定概念の習得を可能にすることを目的としている。
PAI(Planning-Assessment-Interaction)と呼ばれるグラフに基づく新しい強化学習フレームワークを提案する。
論文 参考訳(メタデータ) (2023-12-03T12:37:16Z) - Extracting Rules from Event Data for Study Planning [5.305245019481161]
我々は,授業の順序が学術的成功に与える影響を調べるために,プロセスとデータマイニング技術を採用している。
RWTH Aachen Universityのコンピュータサイエンス学士課程の学生を対象に評価を行った。
論文 参考訳(メタデータ) (2023-10-04T11:14:51Z) - Hierarchical Programmatic Reinforcement Learning via Learning to Compose
Programs [58.94569213396991]
プログラムポリシーを作成するための階層型プログラム強化学習フレームワークを提案する。
提案するフレームワークは,プログラム作成の学習を通じて,アウト・オブ・ディストリビュータの複雑な動作を記述するプログラムポリシーを作成することができる。
Karel ドメインの実験結果から,提案するフレームワークがベースラインより優れていることが示された。
論文 参考訳(メタデータ) (2023-01-30T14:50:46Z) - A Combined Approach of Process Mining and Rule-based AI for Study
Planning and Monitoring in Higher Education [7.379617772613231]
本稿では,プロセスマイニング手法とルールベース人工知能を用いて,キャンパス管理システムデータと学習プログラムモデルに基づいて,学生の学習経路を分析し,理解する手法を提案する。
プロセスマイニング技術は、成功した研究パスを特徴づけるだけでなく、期待される計画から逸脱を検出し、視覚化するためにも使われる。
これらの知見は、試験規則から抽出した対応する研究プログラムの勧告と要求とを組み合わさったものである。
論文 参考訳(メタデータ) (2022-11-22T11:32:05Z) - Towards Automated Process Planning and Mining [77.34726150561087]
我々は、AIとBPM分野の研究者が共同で働く研究プロジェクトについて紹介する。
プロセスモデルを自動的に導出するための総合的な研究課題、研究の関連分野、および総合的な研究枠組みについて論じる。
論文 参考訳(メタデータ) (2022-08-18T16:41:22Z) - Answer Set Planning: A Survey [6.348684258418859]
効率的でスケーラブルな回答セット解決器の開発は、ASPベースの計画システムの開発を後押しした。
調査では,回答セット計画のメリットとデメリットについて調査している。
また、回答セット計画の典型的な応用についても論じ、今後の研究の課題を提示する。
論文 参考訳(メタデータ) (2022-02-11T17:42:47Z) - A Consciousness-Inspired Planning Agent for Model-Based Reinforcement
Learning [104.3643447579578]
本稿では、その状態の関連部分に動的に対応できるエンドツーエンドのモデルベース深層強化学習エージェントを提案する。
この設計により、エージェントは関連するオブジェクトに参画することで効果的に計画を学ぶことができ、配布外一般化がより良くなる。
論文 参考訳(メタデータ) (2021-06-03T19:35:19Z) - Divide-and-Conquer Monte Carlo Tree Search For Goal-Directed Planning [78.65083326918351]
暗黙的な逐次計画の仮定に代わるものを検討する。
本稿では,最適計画の近似を行うため,Divide-and-Conquer Monte Carlo Tree Search (DC-MCTS)を提案する。
計画順序に対するこのアルゴリズム的柔軟性は,グリッドワールドにおけるナビゲーションタスクの改善に繋がることを示す。
論文 参考訳(メタデータ) (2020-04-23T18:08:58Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。