<?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="7" start_page="13" end_page="13" type="concl">
    <SectionTitle>
CONCLUSIONS
</SectionTitle>
    <Paragraph position="0"> Described above ~1o~le~e representatiom method based on predicate calculus has been applied to the large subset of FORTRAN 1900 \[I\] .</Paragraph>
    <Paragraph position="1"> I% has been sho~n that this method satisfies criteria required in the ICAI system. An application of the predicate calculus language to describe knowledge about the programming language provides the automated answering of student's questions,whlch is the main advantage of this method.</Paragraph>
    <Paragraph position="2"> T~Lis method is applicable to those domains of ~owledge, which can be represented by the set of first or~er logic axioms, with regard to their formalized nature.</Paragraph>
  </Section>
class="xml-element"></Paper>