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.

Responder a