论文信息 - Simplifying assessment complexity with many valued logics

Simplifying assessment complexity with many valued logics

Current tendencies in high education world wide include merging of several existing small and medium small educational institutions in considerably bigger entities. Such processes generate both administrative and pedagogical challenges. In this work we address a question related to how to provide better automated assessment of students' knowledge, obtained skills, and terms understanding if it is possible to use learning materials developed by different educators.

Sylvia Encheva | S. Encheva

[1] Nuel D. Belnap,et al. A Useful Four-Valued Logic , 1977 .

[2] R. Wille. Concept lattices and conceptual knowledge systems , 1992 .

[3] Fred Goldberg,et al. Using Computers to Create Constructivist Learning Environments: Impact on Pedagogy and Achievement , 2003 .

[4] Neil Immerman,et al. The Boundary Between Decidability and Undecidability for Transitive-Closure Logics , 2004, CSL.

[5] Martin Otto,et al. Undecidability Results on Two-Variable Logics , 1997, STACS.

[6] Chanjung Park,et al. Development of a Level-Based Instruction Model in Web-Based Education , 2003, KES.

[7] Fernando Santos Osório,et al. Integrating Intelligent Agents, User Models, and Automatic Content Categorization in a Virtual Environment , 2004, Intelligent Tutoring Systems.

[8] Zachary Kurmas. Improving student performance using automated testing of simulated digital logic circuits , 2008, ITiCSE.

[9] Eduardo Guzmán,et al. A Model for Student Knowledge Diagnosis Through Adaptive Testing , 2004, Intelligent Tutoring Systems.

[10] Brian A. Davey,et al. An Introduction to Lattices and Order , 1989 .

[11] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .

[12] Peter L. Balise,et al. Boolean Algebra and Its Applications , 1995 .

[13] Ulisses Ferreira. A five-valued logic and a system , 2004 .

[14] R. Goodstein. Boolean algebra , 1963 .