learn presentation

8/19/2019 Learn Presentation

1/27

Introdução

Sintaxe

Semântica Formal

Implementação

Implementação Alternativa

LearnUma Linguagem para Descrição de Cursos Online

Hugo Farias

Universidade Federal Fluminense

03/2016

Hugo Farias Learn


2/27

Introdução

Sintaxe

Semântica Formal

Implementação


O que é Learn?

• Linguagem declarativa

• Descrição de cursos

• Abstrata

• Detalhamento da estratégia de ensino

Hugo Farias Learn


3/27

Introdução

Sintaxe

Semântica Formal

Implementação


Por quê?

Problemas:

• Pessoas diferentes assimilam o mesmo conteúdo de

formas diferentes

Hugo Farias Learn


4/27

Introdução

Sintaxe

Semântica Formal

Implementação


Por quê?

Problemas:

• Pessoas diferentes assimilam o mesmo conteúdo de

formas diferentes

• Diversidade tecnológica e especificação multiplataforma

Hugo Farias Learn


5/27

Introdução

Sintaxe

Semântica Formal

Implementação


Como funciona?

Hugo Farias Learn


6/27

Introdução

Sintaxe

Semântica Formal

Implementação


Sintaxe geral

course on ‘ ‘ Linguagens Formais ’ ’ teaches < ’sec2_1 >,

. . . and < ’ex3_2 > with . . .

teaching strategy < ’ex > . . .

learning object < ’ i nt 3 > has t i t l e . . .

Hugo Farias Learn


7/27

Introdução

Sintaxe

Semântica Formal

Implementação


Curso sem estratégia

course on ‘ ‘ Linguagens Formais’ ’

teaches < ’ int 3 >, < ’sec3_2 >, < ’sec3_1 >,

< ’ fig3_2 >, < ’ex3_1 > and < ’ex3_2 >

Hugo Farias Learn

I d ã


8/27

Introdução

Sintaxe

Semântica Formal

Implementação


Estratégiateaching strategy < ’ class >

< ’ int3 > before < ’sec3_1 >,

< ’sec3_1 > before < ’sec3_2 >,< ’sec3_2 > before < ’ fig3_2 >,

< ’ fig3_2 > before < ’sec2_1 >,

< ’sec2_1 > before < ’sec2_2 >,

< ’sec2_2 > before < ’sec3_3 >,

< ’sec3_3 > before < ’sec2_4 >,< ’sec2_4 > before < ’sec3_7 >,

< ’sec3_7 > before < ’ex3_1 >,

< ’ex3_1 > before < ’ex3_2 >

Hugo Farias Learn

I t d ã


9/27

Introdução

Sintaxe

Semântica Formal

Implementação


Estratégia genérica

course on ‘ ‘ Linguagens Formais’ ’

teaches < ’ int 3 >, < ’sec3_2 >, < ’sec3_1 >,< ’ fig3_2 >, < ’ex3_1 > and < ’ex3_2 >

with

exercises < ’ex3_1 > and < ’ex3_2 >

teaching strategy < ’ex >exercises afte r a l l but the exercises

Hugo Farias Learn

Introdução


10/27

Introdução

Sintaxe

Semântica Formal

Implementação


SemânticaDescrição Learn:

L = (C, O,σ)

• C: identificador do curso

• O: conjunto de identificadores de objetos de aprendizagem

• σ: união disjunta de ordens parciais (D,), onde

• cada uma denota uma estratégia de ensino, com D ⊆ O• Uma relação ⊆ D∗ ×D pode ser derivada diretamente de

(D,), denotando o conjunto de predecessores de um

dado objeto de aprendizagem.

Hugo Farias Learn

Introdução


11/27

Introdução

Sintaxe

Semântica Formal

Implementação


Semântica

GL = (V, T, P, S)

• V ⊂ O× 2Opred

• T = O

Hugo Farias Learn

Introdução


12/27

Introdução

Sintaxe

Semântica Formal

Implementação


Semântica

Produções a partir do estado inicial:• S →

• ∀o ∈ O − Osuc• S → o | o (o, {o}), se o ∈ Opred• S → o | o (o, ∅), caso contrário

Hugo Farias Learn

Introdução


13/27

Introdução

Sintaxe

Semântica Formal

Implementação


SemânticaDemais produções:

• ∀o, o ∈ O,∀p ∈ 2Opred

• (o, p) → o

| o

(o, p ∪ o

), se o’ ∈ Opred• (o, p) → o | o (o , p), caso contrário

• ∀e o, e ∈ p;

• ∀π ∈ p,∀e π , e ∈ p;

• o ∈ Opred ↔ o ∈ p;• o = o;

• ∀e o , e ∈ p.

Hugo Farias Learn

Introdução


14/27

t odução

Sintaxe

Semântica Formal

Implementação


Exemplo

Seja um curso para o qual O = {A, B, C} e com a estratégia

onde B C.

S → | A | A (A, ∅) | B | B (B, {B})

(A, ∅) → B | B (B, {B})

(A, {B}) → B | B (B, {B}) | C | C (C, {B})

(B, {B}) → A | A (A, {B}) | C | C (C, {B})(C, {B}) → A | A (A, {B}) | B | B (B, {B})

Hugo Farias Learn

Introdução


15/27

ç

Sintaxe

Semântica Formal

Implementação


Exemplo

Hugo Farias Learn

Introdução


16/27

Sintaxe

Semântica Formal

Implementação


Lógica de Reescrita

Lógica de Reescrita

• Modelo computacional: framework semântico• Modelo lógico: framework lógico

Teoria de Reescrita

• R = (Σ, E, R)

• Σ: coleção de operadores tipados• E: coleção de equações• R: coleção de regras de reescrita

Hugo Farias Learn

Introdução


17/27

Sintaxe

Semântica Formal

Implementação


Maude

• Implementação da Lógica de Reescrita

• Simplificação equacional

• Teorias de Reescrita dadas como Módulos de Sistema

Hugo Farias Learn

Introdução


18/27

Sintaxe

Semântica Formal

Implementação


Maude Learn Toolkit

• Maude

• Analisador Sintático

• Transformadores

• Learn → Gramáticas Regulares• Learn → Teorias de Reescrita

• Teorias de Reescrita → Páginas Web

Hugo Farias Learn

Introdução

Si


19/27

Sintaxe

Semântica Formal

Implementação


Analisador Sintático

op _ _ : CourseDecl LearnObjDecls −> LearnCourse .

op course on_teaches_and_with_ : CourseID SetObj LearnIDCourseSpecs −> CourseDecl .

op teaching strategy_ _ : LearnID SetStr −> TeachStrDecl

[ prec 20] .

op learning object_has t i t l e _ _ : LearnID String

SetLOAttrib −> LearnObjDecl [ prec 50] .

Hugo Farias Learn

Introdução

Si t


20/27

Sintaxe

Semântica Formal

Implementação


Exemplo

CourseDecl

CourseSpecs

CourseSpecs

TeachStrDecl

SetStr

StrDecl

StrExp

StrExp

the exercises

butStrExp

all

afterStrExp

exercises

LearnID

< ‘ex >

teaching strategy

CourseSpecs

ExDecl

LearnID

< ‘ex3_1 >

exercise

withLearnID

< ‘ex3_1 >

andSetObj

SetObj

LearnID

< ‘fig3_2 >

,SetObj

LearnID

< ‘int3 >

teachesCourseID

“LF”

course on

Hugo Farias Learn

Introdução

Sintaxe


21/27

Sintaxe

Semântica Formal

Implementação


Transformador para Gramáticas

• Implementação da formalização em Maude.

• Funções do transformador:

op getGrammar : LearnCourse Qid −> ProductionSet .

op genWord : LearnCourse Qid Nat −> Word .

op hasWord : LearnCourse Qid Word −> Bool .

Hugo Farias Learn

Introdução

Sintaxe


22/27

Sintaxe

Semântica Formal

Implementação


Exemploreduce in TEST : getGrammar(eg0, ’s) .

rewrites : 583 in 0ms cpu (0ms real ) (~ rewrites /second)

re su lt ProductionSet : (S −> ’A)

(S −> ’B)(S −> epsilon)

(S −> ’A [ ’A, { } ] )

(S −> ’B [ ’B,{ ’B} ] )

( [ ’A, { } ] −> ’B)

( [ ’A, { } ] −> ’B [ ’B,{ ’B} ] )( [ ’A, { ’B}] −> ’B)

( [ ’A, { ’B}] −> ’C)

( [ ’A, { ’B}] −> ’B [ ’B, { ’B} ] )

. . .

Hugo Farias Learn

Introdução

Sintaxe


23/27

Sintaxe

Semântica Formal

Implementação


Transformador para Teorias deReescrita

• Implementação anterior

• Compreensão mais simples

• Equivalente

Hugo Farias Learn

Introdução

Sintaxe


24/27

Sintaxe

Semântica Formal

Implementação


Transformador para Páginas Web

• A partir das Teorias de Reescrita geradas pelotransformador anterior

• Prova de conceito

• Executável no ambiente Moodle

Hugo Farias Learn

Introdução

Sintaxe


25/27

Sintaxe

Semântica Formal

Implementação


Exemplo

Hugo Farias Learn

Introdução

Sintaxe


26/27

Semântica Formal

Implementação


Obrigado!

Hugo Farias Learn

Introdução

Sintaxe


27/27

Semântica Formal

Implementação


Créditos

Exemplos das Seções Sintaxe, Implementação e

Implementação Alternativa e definição de Gramática derivados

de "Linguagens Formais e Autômatos", do prof. Paulo Blauth,

editora Bookman.

Conteúdo sobre Lógica de Reescrita e Maude derivados de

"Maude Manual", versão 2.6.

Hugo Farias Learn

learn presentation

Documents