Mas q boa notícia! Parabéns, Claudia! Obrigado, JM, por nos participar, só a noite é q amanhece. cass.
On Tuesday, November 9, 2021 at 6:52:53 PM UTC-3 Joao Marcos wrote: > Alegra-me divulgar a informação de que Cláudia Nalon foi eleita membro > do board of trustees do CADE: > http://aarinc.org/Newsletters/136-2021-11.html > > Também nesta edição da AAR Newsletter há uma coluna bastante > interessante de co-autoria da Cláudia, sobre a sessão que ela > co-organizou no CADE-28 sobre a automação do raciocínio em lógicas > não-clássicas. Segundo a coluna, algumas das conclusões a que > chegaram os participantes foram: > > - Empirical evaluation is difficult or impossible (either no > competitors or few to no benchmarks). > - Meaningful benchmarks are tricky and expensive to generate (partly > hand-crafted from topical applications). > - Artificially/automatically generated benchmarks seem not to be > representative (yet this is often done). > - There is a very large number of different logics (and it is > constantly growing). > - Very large inputs are often difficult to handle for reasoning systems. > - There is a lack of common syntax, no simple exchange of information > between systems (this hampers inclusion of reasoning tools in the > context of AI applications). > - The effort needed to communicate proofs or other certificates > between provers, even when considering closely related systems, is > significant. > > []s, Joao Marcos > > -- > http://sequiturquodlibet.googlepages.com/ > -- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/c0844405-387e-4585-b803-434ad4b1c13en%40dimap.ufrn.br.
