Logic puzzle: CLIMATE JOURNEY

[Joao Marcos]

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

[Walter Carnielli]

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

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@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+u...@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.

[Walter Carnielli]

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.

[Joao Marcos]

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

--
https://sites.google.com/site/sequiturquodlibet/