[mod.ai] Student Diagnosis for ICAI Systems

oded@wisdom.BITNET.UUCP (05/14/86)

I'm interested in student diagnosis for ICAI systems. I'm looking for
references to papers and reports that contain the following:

1) A definition of a formalism for knowledge representation for educational
purpose. (A "FORMAL" formalism).

2) Implementation of real-world knowledge-bases in various domains using
such a formalism.

3) An argument for the psychological validity of the formalism in
general and of its specific applications in particular.


        Thanks

        Oded Maler
        Dept. of Applied Math.,
        Weizmann Institute,
        Rehovot 76100, Israel.

        (oded@wisdom.bitnet)