Towards CSCL Scripting by Example

摘要

Computer Supported Collaborative Learning (CSCL) scripts are important strategies for organizing and conducting collaborative learning. A recent line of research aims at the specification of scripts with tools from formal logic and constraint satisfaction systems. This work proposes a novel inductive method for the automatic generation of formal descriptions of CSCL scripts from examples. The method has been successfully applied in the generation of formal descriptions of well-known scripts from the related literature and educational practice.