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/CAO6j_Lis39Hbt1G7ZTTD0K1n5j03EgCAnDCvxLSivWXDYa36LA%40mail.gmail.com.
