lógicas & química

[Alexandre Rademaker]

Prezados,

Estou procurando referências sobre uso de métodos formais (lógicas, provas, axiomatizações etc) na química. Neste momento, meu escopo é bem amplo e motivado por uma recente conversa na maillings do Isabelle.

https://lists.cam.ac.uk/sympa/arc/cl-isabelle-users/2024-02/msg00036.html

A mensagem inicial, citou o livro

The Logic of Chemical Synthesis
https://ia601303.us.archive.org/25/items/Logic_of_Chemical_Synthesis_Corey_1989/Logic_of_Chemical_Synthesis_Corey_1989_text.pdf

Eu fiz referência ao artigo https://arxiv.org/abs/2210.12150, e estou procurando possiveis trabalhos com outros provadores de teoremas (ATP/ITP). O desafio é entender o domínio da química, como ela é organizada e a relevância dos trabalhos existentes.

Ab.,
Alexandre

[Julio Stern]

Caro Alexandre: 

Nos artigos seguintes expresso algumas ideias sobre como caracterizar a ontologia e a metafisica de uma disciplina cientifica, utilizando a Quimica como exemplo. 

Se for de seu interesse, boa leitura. 

Note que o caminho que exploro segue uma direcao bem diferente da que voce investigou, estando muito mais proximo da quimica feita pelos quimicos, o que pode ser bom ou ruim, dependendo dos seus interesses.  

Se voce gostar, podemos depois continuar a conversa. 

Tudo de bom, ---Julio Stern 

 

Julio Michael Stern (2017). Continuous Versions of Haack’s Puzzles: Equilibria, Eigen-States and Ontologies.  Logic Journal of the IGPL, 25, 4, 604-631.  doi:10.1093/jigpal/jzx017

Julio Michael Stern (2014). Jacob’s Ladder and Scientific Ontologies. Cybernetics & Human Knowing, 21, 3, 9-43.  arXiv:1308.4015 

Julio Michael Stern, Fabio Nakano (2014). Optimization Models for Reaction Networks: Information Divergence, Quadratic Programming and Kirchhoff’s Laws. Axioms, 3, 109-118.   doi:10.3390/axioms3010109  

  

**********************************

---

From: logi...@dimap.ufrn.br <logi...@dimap.ufrn.br> on behalf of Alexandre Rademaker <arade...@gmail.com>
Sent: Thursday, March 14, 2024 5:40 PM
To: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA <logi...@dimap.ufrn.br>
Subject: [Logica-l] lógicas & química

 

--
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/D1926065-420A-4560-BE73-4F2C59CBB5FF%40gmail.com.

[Marcelo Finger]

Oi Alexandre.

Eu tenho diversos resultados de projetos de análise de dados industriais de natureza química, física e mineralógica do cimento.  Estamos escrevendo um artigo e dissertação sobre resultados recentes.  Mas já temos dados da análise de uma única planta 

Nota: a análise é feita com vários métodos, inclusive redes neurais (os melhores resultados).  Não tem muita lógica nessa análise. 

O artigo é o seguinte:

LIRA, T. ; Finger, Marcelo . Bayesian Neural Models for Time-Series Prediction of CS28 Compressive Strength in Cement Manufacturing. In: ENCONTRO NACIONAL DE INTELIGÊNCIA ARTIFICIAL E COMPUTACIONAL (ENIAC), 2022, Campinas. ANAIS DO ENCONTRO NACIONAL DE INTELIGÊNCIA ARTIFICIAL E COMPUTACIONAL (ENIAC). Porto Alegre: Sociedade Brasileira de Computação, 2022. p. 660-669.

A tese é a seguinte:

Thiago Ildeu Albuquerque Lira. Modelos Neurais para Regressão em Séries Temporais. 2020. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Marcelo Finger.

[]s

--
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/D1926065-420A-4560-BE73-4F2C59CBB5FF%40gmail.com.

--

Marcelo Finger
 Departament of Computer Science, IME-USP   
 http://www.ime.usp.br/~mfinger

 ORCID: https://orcid.org/0000-0002-1391-1175
 ResearcherID: A-4670-2009

Instituto de Matemática e Estatística,

Universidade de São Paulo

Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP