[Logica-l] Special Issue: Rejection Logic - Logica Universalis. Volume 17, Issue 4 is now available online.

[Logica-l] The Astonishing Behavior of Recursive Sequences | Quanta Magazine

-astonishing-behavior-of-recursive-sequences-20231116/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receb

Re: [Logica-l] tradução entre linguagem natural e linguagem formal

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,

Re: [Logica-l] tradução entre linguagem natural e linguagem formal

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

Re: [Logica-l] tradução entre linguagem natural e linguagem formal

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

Re: [Logica-l] tradução entre linguagem natural e linguagem formal

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

Re: [Logica-l] tradução entre linguagem natural e linguagem formal

[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

Re: [Logica-l] tradução entre linguagem natural e linguagem formal

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

Re: [Logica-l] tradução entre linguagem natural e linguagem formal

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

Re: [Logica-l] tradução entre linguagem natural e linguagem formal

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

Re: [Logica-l] tradução entre linguagem natural e linguagem formal

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

Re: [Logica-l] tradução entre linguagem natural e linguagem formal

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

[Logica-l] tradução entre linguagem natural e linguagem formal

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 as