Olá João Marcos, tudo bem?
São exemplos para alunos de filosofia? Há alguns anos eu formalizem em FOL,
também para fins pedagógicos, a teoria do tempo de Russell encontrada no
capítulo VI do manuscrito *Theory of Knowledge* de 1913. É provável que
contenha alguns erros, mas vou compartilhar, po
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
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
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
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
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
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
Mas porque acha isso Marcelo? A tradução foi literal, o chatGPT ‘leu’ a
fórmula. Não está ruim, o problema é como caracterizar para ele que queríamos
uma leitura não literal, mas uma interpretação da fórmula.
[]s
Alexandre
> On 16 Nov 2023, at 17:52, Marcelo Finger wrote:
>
> Engraçado que,
Em Calculus of Constructions seriam… onde não temos a distinção de termos e
fórmulas. Um predicado é uma função com domínio em Prop. Mas dúvido que o
chatGPT iria responder com esta argumentação se o Marcelo criticar a resposta
recebida.
Marcelo, dá uma olhada no artigo do Geoff
https://aari
Função?
On Thu, 16 Nov, 2023, 2:35 pm Marcelo Finger, wrote:
> [image: image.png]
>
> Em qui., 16 de nov. de 2023 às 10:29, Joao Marcos
> escreveu:
>
>> PessoALL:
>>
>> Por razões pedagógicas, estive buscando por exercícios de _tradução_
>> entre "a" linguagem natural (qualquer uma que eu seja
Olá João,
Eu poderia escrever muito sobre o tema aqui… Vou tentar arriscar alguns
ponteiros e se te interessar conversamos mais depois.
Na área de linguistica computacional e NLP (bem, NLP hoje é apenas LLM
infelizmente) temos vários nomes para esta tradução: semantic parsing, semantic
analysi
[image: image.png]
Em qui., 16 de nov. de 2023 às 10:29, Joao Marcos
escreveu:
> 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
Oi Joao,
Se for para engenheiros, vc pode se inspirar no EARS para a escrita de
requisitos.
É basicamente uma linguagem controlada que pode ser traduzida para LTL e
usada para a verificação formal e síntese de sistemas.
Achei a seguinte referência, mas existem muitas outras.
https://www.research
Eduardo,
Na verdade estou aprendendo Lean ainda. Meu objetivo é ver Lean como uma
ferramenta para a escrita de programas mesmo. Por isso não vi nada ainda
nesta direção.
João,
Eu uso o texto A Estrutura de um Argumento com meus alunos.
Não é nada muito avançado.
O link está no Guia de Estudos
Oi João,
acho que 1) o que você está procurando tem muito a ver com o livro do
Ganesalingam, que é de 2013, 2) o pessoal do Lean tem trabalhado muito
pra implementar sintaxes que pareçam com certos modos de organizar
definições e provas em linguagem natural, 3) quem entende mesmo de
Lean aqui é o
Oi, João!
Ótima iniciativa!!
Se depois você quiser divulgar os seus achados na página da SBL seria super
bem vindo!
Abraços,
Elaine.
On Thu, Nov 16, 2023, 13:29 Joao Marcos wrote:
> PessoALL:
>
> Por razões pedagógicas, estive buscando por exercícios de _tradução_
> entre "a" linguagem natur
Caro João,
O livro do Kleene, “Mathematical Logic” (John Wiley) nas sessões 14 e 15 do
capítulo I tem exemplos e exercícios que achei pertinentes (Applications to
ordinary language, p. 58ff e 67ff.) Mas talvez eu esteja chovendo no
molhado.
Abraços,
Chico Miraglia
On Thu, 16 Nov 2023 at 10:29 J
17 matches
Mail list logo
