<?xml version="1.0" standalone="yes"?>
<Paper uid="C82-1003">
  <Title>KNOWLEDGE REPRESENTATION METHOD BASED ON pREDICATE CALCULUS IN AN INTELLIGENT CAI SYSTEM</Title>
  <Section position="2" start_page="0" end_page="13" type="intro">
    <SectionTitle>
INTRODUCTION
</SectionTitle>
    <Paragraph position="0"> The early 70S have brouF~at the Intelligent CAI /ICAI/ systems \[3~4~o In these systems all course material is represented independently of teachin~ procedures. The goal of ICAI research is to obtain an individualization of inst1~aotion by providin~ an ability of answerln~ studentts questions as well as genel~atin~ remedial oomments~problems and advioes~ aeco1~Lin~ly to current studentPs respormos and his abilities and preferences in general.</Paragraph>
    <Paragraph position="1"> ICAI researchers have firstly focused their investigations on representation of the subject matter. Mostly semantic nets have been used as representation of static \[~J and procedural \[~p~\] domain knowled-Ge. Database of an instz~ctlo~Ll system includes also a representation of currlculumto or~nlze an instz~uotlon of new knowledge \[~pY~ It is helpful in seleotln~ material to be presented to the student.</Paragraph>
    <Paragraph position="2"> ThPSs paper presents the knowledge representation method based on predicate calculus in an intelligent C AT system~ which is applied to teach the programmi~ language \[J\]o The prototype of the presented approach w~s an application of predloate calculus to describe pro~ramsp written in ALGOL~ to l~ove their oozTe(c)tness~ introduced by ~stall \[2\]. The ~aowledge about syntu and semantlos of&amp;quot; the progrmmni~ lan6~a~e has been represented in the form of a set of first oz~er logic axloms~ Them are given some notes how to construct the predicate calculus lan~age and axioms desor~bin~ the subject matter. The directed graph of concepts as a method to represent an instx~ctiona~ structure of tile domain knowledge has been introduced aXong with the runner of ~enemtin~ instructional te~ts to the studentdeg Then the procedure answeri~ studGnt~s queat~ons has been desoribedo</Paragraph>
  </Section>
class="xml-element"></Paper>