E por falar em CSPs (https://en.wikipedia.org/wiki/Constraint_satisfaction_problem), aproveito para perguntar se alguém teria referências a oferecer aqui sobre procedimentos de tradução automática entre soluções para estes tipos de problemas e derivações em cálculo de sequentes ou outros formalismos dedutivos "parecidos" (método de resolução ou tableaux analíticos não valem como resposta à minha pergunta!).
[]s, Joao Marcos On Wed, Jan 31, 2024 at 8:48 AM Walter Carnielli <walte...@unicamp.br> wrote: > > Em tempo: > > Eu escrevi K PROLOG mas o correto é Constraint Logicc Pograming. > > Obviamente o puzzle tem o propósito de fazer raciocinar sobre o clima, e > parece que o sol tem um papel importante: > > https://judithcurry.com/2023/11/04/solving-the-climate-puzzle-the-suns-surprising-role/ > > > Abs > W. > > > > > Em qua., 31 de jan. de 2024 08:39, Walter Carnielli <walte...@unicamp.br> > escreveu: >> >> Este puzzle é analogo ao famoso "Zebra Puzzle" ou "Enstein's Puzzle", e se >> resolve facilmente com Prolog: >> >> https://github.com/pjpjq/zebra-puzzle >> >> Escrevi uma vez um programinha numa versao de K-Prolog, mas não me lembro >> mais. Com paciência talvez o encontre, se alguém se interessar... >> >> No fundo é lógica proposicional, tratando-se de encontrar o único modelo >> que resolve, com informações minimas mas suficientes- a mesma coisa que o >> Sudoku. >> >> É um daqueles problemas que a inteligência artificial simbólica resolve, mas >> a estocástica não- vida longa a lógica!! >> >> Abs >> Walter >> >> >> >> Em ter., 30 de jan. de 2024 21:44, Joao Marcos <botoc...@gmail.com> escreveu: >>> >>> Five persons make separate journeys within Europe using different >>> modes of transport. Match the travelers with their respective >>> journey and mode of transport and calculate the amount of CO2 >>> emissions that they cause in the process! >>> https://www.vcla.at/wp-content/uploads/2024/01/VCLA_Raetsel_A5.pdf >>> >>> This puzzle was created by Anouk Michelle Oudshoorn, doctoral student >>> in the program LogiCS@TUWien. >>> >>> (the solution may be found online, if you search for it) >>> >>> >>> JM >>> >>> -- >>> LOGICA-L >>> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica >>> <logica-l@dimap.ufrn.br> >>> --- >>> 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 logica-l+unsubscr...@dimap.ufrn.br. >>> Para acessar esta discussão na web, acesse >>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lhm4p2hCqZs%3DZS-OhegcTtfOpEujLn84qbTXTmzj-OzTQ%40mail.gmail.com. -- https://sites.google.com/site/sequiturquodlibet/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- 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 logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Li6Zd5urs%3DvG4oKJwa%2BwXP%3D3KZZA471ikNjnqc6Qkdakg%40mail.gmail.com.