Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!decvax!decwrl!ucbvax!wisdom.BITNET!oded
From: oded@wisdom.BITNET.UUCP
Newsgroups: mod.ai
Subject: Student Diagnosis for ICAI Systems
Message-ID: <8605141736.AA17723@ucbvax.Berkeley.EDU>
Date: Wed, 14-May-86 14:29:11 EDT
Article-I.D.: ucbvax.8605141736.AA17723
Posted: Wed May 14 14:29:11 1986
Date-Received: Fri, 16-May-86 01:36:23 EDT
Sender: jason@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 22
Approved: ailist@sri-ai.arpa


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)