About this paper

Appears in:
Pages: 4743-4754
Publication year: 2011
ISBN: 978-84-615-0441-1
ISSN: 2340-1117

Conference name: 3rd International Conference on Education and New Learning Technologies
Dates: 4-6 July, 2011
Location: Barcelona, Spain

REPRESENTATIONS OF COLLECTIVE PROBLEM SOLVING: DYNAMIC MODEL CHECKING TOOLS CONTRASTED WITH EDUCATIONAL MODELING LANGUAGES

A. Benedek

Hungarian Academy of Science (HUNGARY)
The insight that problem-solving can also be analyzed as a multi agent communication process obtained new meaning for the net-generation. While new modeling languages and standards of meta-level e-didactic standards emerge, the domain- and problem-specific representation of the dynamics of actual communicative problem solving activities still lags far behind both the cognitive needs and the technical possibilities.
The widely used Educational-purpose Modeling Languages (EML) represent didactic meta-models in a descriptive, prescriptive and operational manner as the IMS Learning Design (IMS-LD) standard or the Learning Design Language (LDL) supports the formalization of collaborative learning patterns in various e-learning frameworks. These representations usually describe pre-designed learning scenarios, specify roles, acts and actors, express given relations of learning objects, orchestrate the scenario execution and are normally used to show static relations between Learning Objects. Representation of the methods are to provide means to prescribe the sequencing of the activities and is in most of the cases the learning processes are sequential, even though proposals based on Workflow Management Systems technology promoted parallel, conditional and iterative routing.
Collective problem solving and serious games require that we consider the knowledge of other participants and reason about the possibilities of the problem space in light of information exchange. We need representations of the temporal properties of the information flow, of the development of common knowledge, of the consequences of announcements and other communicative acts for the knowledge states of the problem-solvers.
Recent developments in Dynamic Epistemic Logic provide tools to represent the changing knowledge state of the participants of a communicative situation who obtain factual and shared information and perform various epistemic actions. We are able to trace group knowledge, and simulate various protocols for information exchange and iterated revisions of individual doxastic states in problem specific learning scenarios.
Dynamic Epistemic MOdeling (DEMO) and other Model Checking Sytems (eg. MCK) describe the environment in which the learners or game players act and communicate, rules and protocols and how the epistemic actions affect individual and collective knowledge states. After giving some examples of simple but representative scenarios in DEMO and MCK the advantages of these systems for e-didactics will be spelled out as compared with the capabilities of standard IMS-LD, EML, or LDL. Uses of visualizations will be compared with case based simulations of rule-systems in legal contexts such as the textual method of Neopolitis, utilizing the PROLOG based ALL-EX system.
The paper comes to conclusion that didactic meta-models should be supplemented with representations and simulations of domain level problem-solving scenarios, with the analysis of communication protocols and the changing knowledge states of the actors. The virtual presentation provides access to online sources.
References:
van Benthem, J. 2010, Logical Dynamics of Information and Interaction, Cambridge U. P.
DEMO at http://www.cwi.nl/~jve/demo/
Futó Ivan, Várkonyi József, 1993, Legal Expert Systems as Simulation Tools, Winter Simulation Conference, Los Angeles.
Gammie P. van der Meyden R. 2004, MCK: Model Checking the Logic of Knowledge. Lect. Notes Comp. Sci., v.3114, p.479-483
@InProceedings{BENEDEK2011REP,
author = {Benedek, A.},
title = {REPRESENTATIONS OF COLLECTIVE PROBLEM SOLVING: DYNAMIC MODEL CHECKING TOOLS CONTRASTED WITH EDUCATIONAL MODELING LANGUAGES},
series = {3rd International Conference on Education and New Learning Technologies},
booktitle = {EDULEARN11 Proceedings},
isbn = {978-84-615-0441-1},
issn = {2340-1117},
publisher = {IATED},
location = {Barcelona, Spain},
month = {4-6 July, 2011},
year = {2011},
pages = {4743-4754}}
TY - CONF
AU - A. Benedek
TI - REPRESENTATIONS OF COLLECTIVE PROBLEM SOLVING: DYNAMIC MODEL CHECKING TOOLS CONTRASTED WITH EDUCATIONAL MODELING LANGUAGES
SN - 978-84-615-0441-1/2340-1117
PY - 2011
Y1 - 4-6 July, 2011
CI - Barcelona, Spain
JO - 3rd International Conference on Education and New Learning Technologies
JA - EDULEARN11 Proceedings
SP - 4743
EP - 4754
ER -
A. Benedek (2011) REPRESENTATIONS OF COLLECTIVE PROBLEM SOLVING: DYNAMIC MODEL CHECKING TOOLS CONTRASTED WITH EDUCATIONAL MODELING LANGUAGES, EDULEARN11 Proceedings, pp. 4743-4754.
User:
Pass: