lógica subjetiva
La lógica subjetiva es un tipo de lógica probabilística que toma en cuenta explícitamente la incertidumbre epistémica y la confianza en la fuente. En general, la lógica subjetiva es adecuada para modelar y analizar situaciones que involucran incertidumbre y fuentes relativamente poco confiables. [1] [2] [3] Por ejemplo, se puede utilizar para modelar y analizar redes de confianza y redes bayesianas .
Los argumentos en lógica subjetiva son opiniones subjetivas sobre variables de estado que pueden tomar valores de un dominio (también conocido como espacio de estado), donde un valor de estado puede considerarse como una proposición que puede ser verdadera o falsa. Una opinión binomial se aplica a una variable de estado binaria y se puede representar como una PDF Beta (función de densidad de probabilidad). Una opinión multinomial se aplica a una variable de estado de múltiples valores posibles y se puede representar como una PDF de Dirichlet (función de densidad de probabilidad). A través de la correspondencia entre las opiniones y las distribuciones Beta/Dirichlet, la lógica subjetiva proporciona un álgebra para estas funciones. Las opiniones también están relacionadas con la representación de creencias en la teoría de creencias de Dempster-Shafer .
Un aspecto fundamental de la condición humana es que nadie puede jamás determinar con absoluta certeza si una proposición sobre el mundo es verdadera o falsa. Además, siempre que se expresa la verdad de una proposición, siempre lo hace un individuo, y nunca puede considerarse que representa una creencia general y objetiva. Estas ideas filosóficas se reflejan directamente en el formalismo matemático de la lógica subjetiva.
Las opiniones subjetivas expresan creencias subjetivas sobre la verdad de los valores/proposiciones estatales con grados de incertidumbre epistémica y pueden indicar explícitamente la fuente de la creencia cuando sea necesario. Una opinión generalmente se denota como dónde está la fuente de la opinión y es la variable de estado a la que se aplica la opinión. La variable puede tomar valores de un dominio (también llamado espacio de estado), por ejemplo, indicado como . Se supone que los valores de un dominio son exhaustivos y mutuamente disjuntos, y se supone que las fuentes tienen una interpretación semántica común de un dominio. La fuente y la variable son atributos de una opinión. La indicación de la fuente puede omitirse cuando sea irrelevante.
Sea un valor de estado en un dominio binario. Una opinión binomial sobre el valor de verdad de estado es el cuádruple ordenado donde:
