Lógicas condicionais são lógicas que aumentam a implicação lógica tradicional com operadores modais correspondentes a outras noções de condição (por exemplo, a condicional causal indica " A causa" B ", ou condicionamento probabilístico" A | B ", que lê" A dado B ").
Normalmente, essas lógicas são estudadas teoricamente em modelos, mas eu me perguntei sobre suas aplicações no design de linguagens de programação (por exemplo, para digitar ações imperativas).
Eu apreciaria referências à teoria da prova (ou seja, cálculo sequencial / dedução natural) ou a linguagens de programação com tipos baseados nesses tipos de operadores modais.
Obrigado!
EDIT: The Stanford Encyclopedia of Philosophy tem uma boa introdução ao assunto .
reference-request
lo.logic
pl.programming-languages
type-theory
proof-theory
Neel Krishnaswami
fonte
fonte
Respostas:
Verifique estas referências:
Linguagens de programação CondLP e CondLP +:
Gabbay, Giordano, Martelli, Olivetti, Sapino, Raciocínio condicional na programação lógica, Journal of Logic Programming, Volume 44, Edições 1-3, 1 de julho de 2000, Páginas 37-74
Claudia, Oliveira, A implementação do CondLP, Notas de Aula em Ciência da Computação, 1996, Volume 1085/1996, 713-715
Gabbay, Giordano, Martelli, Olivetti, Programação lógica condicional, Proc. 11ª Int. Conf. on Logic Programming, Santa Margherita Ligure, páginas 272–289, 1994.
Referências à teoria da prova:
Olivetti, Pozzato, Schwind, Um cálculo seqüencial e um provador de teoremas para lógicas condicionais padrão, Journal ACM Transactions on Computational Logic (TOCL), Volume 8 Edição 4, agosto de 2007
fonte
Igreja pode ser o tipo de coisa que você está procurando - é funcional (derivada de esquema), mas é projetada com uma semântica probabilística e implementa probabilidades condicionais usando "consulta" para fazer inferência bayesiana. Discussão sobre condicionamento na Igreja . Esta é (como eu a entendo) mais ou menos a principal operação na maioria dos programas da Igreja.
Para Matteo Mio: você também pode estar interessado no livro de Graham Priest, "Uma introdução à lógica não clássica", que se concentra na definição de diferentes tipos de condicionais.
fonte