Oi Alexandre.
>> o problema é como caracterizar para ele que queríamos uma leitura não
literal, mas uma interpretação da fórmula.
Exatamente! Ele não tem senso comum pra saber que era isso que se desejava.
[]s
Em qui., 16 de nov. de 2023 às 18:38, Alexandre Rademaker <
aradema...@gmail.com> e
Não é só isso, né? Mesmo a "leitura em voz alta", pouco _natural', pode
ser corrigida pelo próprio ChatGPT se o usuário assim o pedir. Mas nada
justifica ele escrever "para todo cisne x, se x é um cisne..."
[]s, JM
On Fri, Nov 17, 2023, 08:27 Marcelo Finger wrote:
> Oi Alexandre.
>
> >> o pr
Verdade João, não prestei a devida atenção. Bem mais sério, mostra como o
modelo não sabe nada sobre a semântica da linguagem formal.
Alexandre
On Fri, 17 Nov 2023 at 08:46 Joao Marcos wrote:
> Não é só isso, né? Mesmo a "leitura em voz alta", pouco _natural', pode
> ser corrigida pelo próprio
Suspeito que ele possa ter se confundido com textos que apresentem a
formalização com quantificadores generalizados. Então juntou tudo e fez uma
grande confusão.
Alexandre
On Fri, 17 Nov 2023 at 09:23 Alexandre Rademaker
wrote:
>
> Verdade João, não prestei a devida atenção. Bem mais sério, mos
[Please distribute. Apologies for multiple postings]
SECOND CALL FOR PAPERS
WoLLIC 2024
30th Workshop on Logic, Language, Information and Computation
10-13 June 2024
Bern, Switzerland
https://wollic2024.inf.unibe.ch/
ORGANISATION
Mathematical Institute and Institute for Computer Science
Univers
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: h
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 onl