Reasoning about Study Regulations in Answer Set Programming

要約

私たちは、管理者、教員、さまざまな段階の学生に至るまで、さまざまな関係者に対応して、学習規則に関する推論を自動化することに興味を持っています。
私たちの研究は、ポツダム大学のさまざまな学習プログラムの広範な分析に基づいています。
基礎となる原則を概念化することで、研究規制の正式な説明が得られます。
特に、形式化により、許容可能な研究計画の特性が明らかになります。
これらを最後に、対応する学習計画を作成する解答セット プログラミングにおける学習規則のエンコードを提案します。
最後に、このアプローチを学習計画を検討するための汎用ユーザー インターフェイスに拡張する方法を示します。

要約(オリジナル)

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.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google