Resumo Técnico: De Ações a Obrigações: Uma Lógica de Modelo de Ação Deôntica

Declaração do Problema

A lógica deôntica, que estuda conceitos normativos como obrigações e permissões, tradicionalmente lutou para integrar considerações epistêmicas (o que os agentes sabem ou acreditam) com a modelagem dinâmica de ações. Embora extensões como a lógica STIT abordem a agência e a escolha, e as lógicas deônticas dinâmicas avaliem obrigações em relação a ações, essas estruturas frequentemente carecem de mecanismos explícitos para o raciocínio sob incerteza. Por outro lado, a Lógica Epistêmica Dinâmica (DEL) e a Lógica de Modelo de Ação (AML) se destacam na modelagem de atualizações de informação, mas carecem de ferramentas formais para avaliação normativa.

Existe uma lacuna crítica na modelagem de cenários onde os agentes devem selecionar ações sob informação incompleta para satisfazer restrições normativas. Um exemplo primordial é o "Enigma dos Mineiros", onde a ação ótima depende da desejabilidade dos resultados ponderada pela sua probabilidade, um conceito não capturado naturalmente pelas modalidades deônticas padrão. Estruturas existentes frequentemente falham em fornecer uma conta fundamentada de obrigações condicionais e sensíveis ao contexto em sistemas multiagente, onde os agentes devem comparar o valor deôntico esperado de ações alternativas.

Metodologia

O artigo introduz a Lógica de Modelo de Ação Deôntica (DAML), uma estrutura modal dinâmica que sintetiza a Lógica de Modelo de Ação (AML) com uma semântica "bayesiana" para modalidades deônticas, inspirada no trabalho de Lassiter. A metodologia procede através das seguintes etapas:

1. Fundação Semântica:

   • A estrutura utiliza Modelos de Kripke Gradados ($M = \langle W, R_i, V, f \rangle$), onde uma função de desejabilidade $f: W \to \mathbb{N}$ atribui um valor moral ou prático a cada mundo possível.
   • Modelos de Ação ($U = \langle E, Q_i, pre \rangle$) são empregados para simular as consequências epistêmicas e físicas das ações dos agentes através da operação de atualização de produto ($M \otimes U$).
   • Para lidar com a incerteza, a lógica define Submodelos Gerados por Ação Baseados no Agente. Estes são submodelos do modelo de Kripco atualizado construídos a partir da perspectiva de um agente específico $i$ e de uma ação específica $\alpha_i$.

2. Expectativa Deôntica:

   • O mecanismo central é a Função de Expectativa Deôntica ($E_i$), que calcula o valor deôntico esperado de uma ação. Isso é computado como a média dos valores de desejabilidade ($f(w)$) de todos os mundos acessíveis ao agente $i$ dentro do submodelo gerado pela ação, assumindo uma distribuição de probabilidade uniforme sobre os mundos acessíveis.
   • Uma ação é considerada "melhor" se produzir o maior valor deôntico esperado entre as alternativas disponíveis em um ponto de decisão.

3. Linguagem Lógica e Semântica:

   • A linguagem $L_{DAML}$ estende a AML com dois novos elementos:
     • Átomos de Expectativa ($e^{\alpha_i}_i$): Proposições atômicas que são verdadeiras se o valor deôntico esperado da ação $\alpha_i$ for maior ou igual ao de qualquer outra ação disponível.
     • Modalidade de Obrigação ($O_i(U, \alpha_i | \phi)$): Uma modalidade binária que lê "O agente $i$ deve realizar a ação $\alpha_i$ sob a condição $\phi$".
   • Condições de Verdade: $O_i(U, \alpha_i | \phi)$ vale se e somente se:
     1. $\phi$ vale após a execução da ação $\alpha_i$ (condição dinâmica).
     2. O submodelo gerado pela ação resultante de $\alpha_i$ possui o valor deôntico esperado máximo comparado a outras ações (condição normativa).
   • Esta formulação adere ao princípio STIT: o agente "garante que" o resultado esperado melhor seja obtido.

4. Axiomatização:

   • O artigo fornece uma axiomatização completa para a DAML. Inclui axiomas padrão da AML, novos axiomas para átomos de expectativa (E1, E2) e um conjunto de axiomas de redução (R1–R6).
   • Estes axiomas de redução permitem que qualquer fórmula contendo o operador deôntico $O_i$ seja traduzida em uma fórmula equivalente na linguagem da AML (sem operadores deônticos), facilitando provas de correção e completude.

Contribuições Principais

• Integração de Dinâmica e Normas: A DAML é a primeira estrutura a derivar obrigações usando a maquinaria da Lógica de Modelo de Ação, ligando explicitamente as consequências epistêmicas das ações à sua avaliação normativa.
• Semântica Deôntica Escalar: A lógica modela declarações deônticas de maneira escalar, atribuindo valores de desejabilidade a mundos e computando valores esperados, evitando assim as armadilhas binárias "tudo ou nada" da lógica deôntica tradicional em ambientes incertos.
• Tratamento Formal de Obrigações Condicionais: A lógica introduz uma definição rigorosa para obrigações condicionais ($O_i(\alpha_i | \phi)$) que dependem tanto do resultado da ação quanto da maximização do valor deôntico esperado.
• Prova de Correção e Completude: O artigo estabelece que o sistema de prova da DAML é correto e completo em relação à sua semântica. Isso é alcançado reduzindo a linguagem deôntica à linguagem completa conhecida da AML.

Resultados e Aplicações

O artigo demonstra o poder expressivo da DAML através de duas aplicações principais:

1. O Enigma dos Mineiros:

   • A estrutura modela com sucesso o cenário onde um agente deve escolher entre bloquear o poço A, bloquear o poço B ou não bloquear nenhum.
   • Ao calcular os valores deônticos esperados dos submodelos resultantes, a DAML identifica corretamente que "não bloquear nenhum poço" é a ação obrigatória, pois maximiza o número esperado de vidas salvas dada a ignorância do agente sobre a localização dos mineiros. Isso contrasta com ações que poderiam salvar todos os mineiros se a localização fosse conhecida, mas arriscariam matar todos se adivinhadas incorretamente.

2. Obrigação de Informar (Cenário Multiagente):

   • Um cenário complexo envolvendo dois agentes (Alice e Bethany) e um paciente com alergia é modelado.
   • A lógica captura a assimetria de informação: Bethany sabe que o paciente é alérgico, enquanto Alice não sabe.
   • A DAML deriva que Bethany tem a obrigação de informar Alice ($O_b(\delta_b | \dots)$) porque, condicionalmente a Alice saber da alergia, Alice estaria obrigada a administrar o medicamento seguro. A estrutura raciocina com sucesso através da cadeia hipotética de ações e atualizações de informação para determinar o requisito normativo para o agente informado.

Significado e Alegações

O artigo alega que a DAML fornece uma estrutura fundamentada para seleção de ações em sistemas multiagente governados por normas operando sob incerteza epistêmica. Seu significado reside em:

• Raciocínio Unificado: Permite que os agentes avaliem as consequências de ações alternativas antes da execução, considerando tanto a redução da incerteza quanto a desejabilidade normativa dos resultados.
• Tratamento de Casos Intermediários: A estrutura suporta o raciocínio em casos onde a informação é incompleta e nenhum critério único (certeza ou resultado) é totalmente otimizado, uma característica comum na tomada de decisão do mundo real.
• Contribuição Fundamental: Ao fundamentar a lógica deôntica na maquinaria dinâmica da AML, o artigo oferece um método robusto para formalizar como os agentes devem agir quando não conhecem o estado completo do mundo, mas ainda devem aderir a restrições normativas.

Os autores mantêm um escopo modesto, notando que o trabalho atual assume probabilidade uniforme sobre mundos acessíveis e valores de desejabilidade objetivos. Sugere-se trabalho futuro para incluir medidas de probabilidade explícitas, operadores de crença graduada e linguagens de ação mais complexas para lidar com escolhas não determinísticas e obrigações conflitantes.