یک سیستم برای مقررات آموزشی که وجود دارد که باید آنرا توسعه دهیم و بایستی در قالب قوانین منطقی باشد یعنی گزاره های منطقی در رابطه با مقررات دانشگاه که نیاز به تحلیل آن دارد.مثلا دانشجویی که فارغ التحصیل می شود باید گذاره اول که شرط معدل بالای 14 است را بگذراند و بعد گزاره دوم ما تعداد واحدهای پاس شده است که باید مثلا بالای 30 باشد.و نهایتا در گزاره سوم منجر به فارغ التحصیلی شود.که AND گزاره اول (معدل) و گزاره دوم (تعداد واحدهای پاس شده)است.
هدف این است که ابهامات و کمبودهایی که در قوانین وجود دارد را بهبود دهیم.
ابتدا گزارش قوانین آموزشیار نیاز است.