Automated theorem proving: A logical basis (Fundamental studies in computer science)
Automated theorem proving: A logical basis (Fundamental studies in computer science)
| Hi-index | 0.00 |
The knowledge representation method is introduced to be applied in the ICAI system to teach programming language. Knowledge about syntax and semantios of that language is represented by a set of axioms written in the predicate calculus language. The directed graph of concepts is mentioned as a method to represent an instructional structure of the domain knowledge. The proof procedure to answer student's questions is described.