Oi João Marcos, obrigada por levantar a bola para esse assunto interessantíssimo! e muito obrigada Alexandre por falar do meu trabalho com a Katerina e o Dick >A Valeria tem um trabalho inspirado no framework do PARC, https://aclanthology.org/W19-3305/. Acho que tem demo online.
Isso! Tem demo online sim, http://gkrparser.nlitoolkit.de/ onde você pode escrever uma sentença em linguagem natural e ver sua representação logica, usando vários grafos diferentes (pra sintax, pros conceitos em wordnet, pros contextos, pra semântica neo-Davidsoniana). Mas tudo pra inglês, ne'? eu adoraria ter alguém que quisesse fazer a versão do sistema em português! se alguém se candidatar, vou ficar super feliz. O sistema no momento usa Java e BERT pra análise sintáctica. Eduardo, o sistema do Mohan 'e mais pra linguagem natural (somente) para escrever matemática, não pra falar de coisas como "Vovó viu a uva", que os sistemas que o Alexandre descreveu fazem. Me parece que o João Marcos quer quaisquer tipos de sentenças, não somente as matemáticas. o nosso sistema também tem um aspecto legal de não ficar preso ao sistema puramente logico, ele pode usar machine learning totalmente, se a gente preferir. isto e', o sistema e' hibrido, logico-neural. eu falei sobre ele em https://www.youtube.com/watch?v=lhQP-I2EBB4&t=53s. Se alguem se interessar, fique a vontade pra perguntar mais. abracos Valeria On Fri, Nov 17, 2023 at 9:05 AM Alexandre Rademaker <[email protected]> wrote: > > Oi Marcos, > > Este é um exemplo interessante para discutir com alunos: > > % python test.py convert "No one hates everyone.” > > [ TOP: h0 > INDEX: e2 [ e SF: prop TENSE: pres MOOD: indicative PROG: - PERF: - ] > RELS: < [ person<0:6> LBL: h4 ARG0: x3 [ x PERS: 3 NUM: sg ] ] > [ _no_q<0:6> LBL: h5 ARG0: x3 RSTR: h6 BODY: h7 ] > [ _hate_v_1<7:12> LBL: h1 ARG0: e2 ARG1: x3 ARG2: x8 [ x PERS: 3 > NUM: sg ] ] > [ person<13:21> LBL: h9 ARG0: x8 ] > [ every_q<13:21> LBL: h10 ARG0: x8 RSTR: h11 BODY: h12 ] > > HCONS: < h0 qeq h1 h6 qeq h4 h11 qeq h9 > ] > > I have 2 solutions > take_equivs init > take_equivs exausted > > (0/2) (∀ x8, person x8 → (∀ x3, person x3 → ¬(∃ e2, _hate_v_1 e2 x3 x8))) > (1/2) (∀ x3, person x3 → ¬(∀ x8, person x8 → (∃ e2, _hate_v_1 e2 x3 x8))) > > > On 16 Nov 2023, at 10:29, Joao Marcos <[email protected]> wrote: > > > > PessoALL: > > > > Por razões pedagógicas, estive buscando por exercícios de _tradução_ > > entre "a" linguagem natural (qualquer uma que eu seja capaz de ler) e > > linguagens formais de teorias lógicas apropriadas. Também estive > > buscando exercícios na direção oposta, isto é, envolvendo _leituras > > naturais_ de asserções descritas em linguagens formais. Ambas > > categorias de exercícios parecem ser extremamente importantes para os > > estudantes curiosos em saber *pra quê serve tudo isso*. > > > > Agradeço desde já por quaisquer sugestões que vocês puderem > > compartilhar comigo de material (de qualquer nível) para a prática > > destas tarefas. Tenho interesse particular por materiais que *não* > > tratem de teorias matemáticas, mas que, ao invés, envolvam a > > formalização de outros fragmentos interessantes da linguagem natural. > > Materiais envolvendo _erros_ de tradução, numa direção ou na outra, > > são particularmente bem-vindos! > > > > Caso seja de interesse dos colegas, posso ao final compilar aqui as > > referências recebidas, na lista ou fora dela. > > > > Saudações lógico-naturais, > > Joao Marcos > > > > -- > > http://sequiturquodlibet.googlepages.com/ > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <[email protected]> > --- > Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" > dos Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para [email protected]. > Para acessar esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/408935BD-1346-4346-B19C-14B2F261AE1F%40gmail.com > . > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXtpWepgVdJc3RcKwfxn0n-z4%3DFSB%2B1QvPVq8Q4f5Ju7gA%40mail.gmail.com.
