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.
