Lgica epistmica

La lgica epistmica es un campo de la lgica modal que se ocupa del razonamiento sobre
el conocimiento. Mientras que la epistemologa posee una larga tradicin filosfica que se
origina en laGrecia Antigua, la lgica epistmica es un desarrollo mucho ms reciente con
aplicaciones en numerosos campos, tales como filosofa, ciencia computacional
terica, inteligencia artificial, economa ylingstica. Mientras que los filsofos a partir
de Aristteles han discutido la lgica modal, y los filsofos medievales tales
como Ockham y Duns Scotus desarrollaron numerosas observaciones, fue C.I. Lewis quin en
1912 realiz el primer tratamiento simblico y sistemtico de este tema. El tema continu
madurando, alcanzando su forma moderna en 1963 a partir del trabajo de Kripke.
Durante la dcada de 1950 se publicaron numerosos trabajos que mencionaban al pasar una
lgica del conocimiento, pero es recin el trabajo de von Wright titulado An Essay in Modal
Logic publicado en 1951 el que es reconocido como el documento fundacional. No fue sino
hasta 1962 en que Hintikka, escribe Knowledge and Belief, el primer trabajo extenso en que
sugiere utilizar modalidades para capturar la semntica del conocimiento en vez de utilizar las
premisas alticas con que tpicamente se desarrolla la lgica modal. Si bien este trabajo sent
las bases del tema, desde entonces se han realizado numerosas investigaciones y avances.
Por ejemplo, la lgica epistmica ha sido recientemente combinada con algunas ideas
tomadas de la lgica dinmica para crear una lgica de las comunicaciones pblicas y
una lgica de actualizacin de producto, que intentan modelar las sutilezas epistmicas de las
conversaciones. Los trabajos fundacionales en este campo son los realizados por Plaza, van
Benthem, y Baltag, Moss, y Solecki.
ndice
[ocultar]

1Modelo estndar de mundos posibles

o

1.1Sintaxis

1.2Semntica

2Propiedades del conocimiento

o

2.1El axioma de distribucin

2.2La regla de generalizacin del conocimiento

2.3El axioma de la verdad o conocimiento

2.4El axioma de la introspeccin positiva

2.5El axioma de la introspeccin negativa

2.6Sistemas de axiomas

3Bibliografa

4Vase tambin

5Enlaces externos

Modelo estndar de mundos posibles[editar]

La mayora de los intentos de modelar el conocimiento se han basado en el modelo de
los mundos posibles. Para poder proceder, se debe dividir el conjunto de mundos posibles
entre aquellos que son compatibles con el conocimiento de un agente, y aquellos que no lo
son. Si bien esta discusin se centra bsicamente en realizar esta tarea utilizando el enfoque
basado en la lgica, vale la pena mencionar el otro mtodo primario que se utiliza que es el
tratamiento basado en eventos. En esta aplicacin en particular los eventos son conjuntos de
mundos posibles, y el conocimiento es un operador sobre los eventos. Si bien las estrategias
estn relacionadas, existen dos importantes diferencias entre ellas:

El modelo matemtico subyacente del tratamiento basado en la lgica son

las estructuras de Kripke, mientras que el tratamiento basado en los eventos utiliza
las estructuras de Aumann.

En el tratamiento basado en eventos las frmulas lgicas no se utilizan de ninguna

forma, mientras que en el mtodo basado en la lgica utiliza el sistema de la lgica modal.

Tpicamente, el tratamiento basado en la lgica ha sido utilizado en los campos de la filosofa,

la lgica y la inteligencia artificial, mientras que el tratamiento basado en eventos es ms
comnmente utilizado en campos como la teora de juegos y economa matemtica. En el
mtodo basado en la lgica, se han construido una sintaxis y una semntica utilizando el
lenguaje de la lgica modal, que se describe a continuacin.

Sintaxis[editar]
El operador modal bsico de la lgica epistmica, normalmente escrito con el smbolo K, se
puede interpretar como significando "se sabe que", "es necesario desde un punto de vista
epistmico que", o "es inconsistente con lo que sabemos que no". Si est representando el
conocimiento de ms de un agente, entonces se agregan subndices al operador (

etc.) para indicar cul es el agente al que se est haciendo referencia. De forma tal que
significa "el agente sabe que ." El dual de K, que estara en la misma relacin
con K que
como
si

es a

, no posee un smbolo especfico, pero puede ser representado

, lo que se lee como "

" puede ser expresado como

no sabe que no

"o"

es

posible". "

no sabe

De forma tal de poder utilizar las nociones de conocimiento comn y conocimiento distribuido,
se pueden agregar tres operadores modales adicionales al lenguaje. Ellos son
, que se lee
"todo agente en el grupo G sabe";
, que se lee "es un conocimiento en posicin de todo
agente en G"; y
, que se lee "es conocimiento distribuido a todo agente en G". Si es una
frmula de nuestro lenguaje, entonces tambin lo son
,
,y
. De la misma
manera en que se puede omitir el subndice luego de
cuando hay un solo agente, el
subindice luego de los operadores modales , , y
puede ser omitido cuando el grupo es
un conjunto de agentes.

Semntica[editar]
Tal como se mencion previamente, el enfoque basado en la lgica se construye a partir del
modelo de los mundos posibles, donde las semnticas de los mismos se expresan en general
mediante estructuras de Kripke, tambin conocidas como modelos de Kripke. Una estructura

de Kripke M para n agentes sobre es un tuple

conjunto no vaco de estados omundos posibles,

, donde S es un
es una interpretacin que asocia cada

estado en S a una asignacin de verdad a las proposiciones primitivas en , y

son las relaciones binarias en S para n agentes. es importante no confundir
, el operador
modal, y
, nuestra relacin de accesibilidad.
La asignacin de verdad nos indica si una proposicin p es verdadera o falsa en un cierto
estado. De esta forma
nos indica si p es verdadero en el estado s en el modelo
.
La verdad depende no solo de la estructura, sino que tambin del mundo actual. Solo porque
algo sea verdadero en un mundo no quiere decir que tambin sea verdadero en otro mundo.
Para demostrar que una frmula es verdadera en un cierto mundo, se
escribe
, normalmente interpretado como "
cumple con la relacin ".

es verdadero en (M,s)," o "(M,s)

Es til pensar la relacin binaria

como una relacin de posibilidad, porque la misma
captura en que mundos o estados es que el agente i considera que son posibles. Por lo
general tiene sentido que
sea una relacin de equivalencia, dado que esta es la forma ms
fuerte y es la ms apropiada para la mayora de las aplicaciones. Una relacin de equivalencia
es una relacin binaria que esreflexiva, simtrica, y transitiva. La relacin de accesibilidad no
posee estas cualidades; ciertamente existen otras opciones posibles, tales como aquellas que
se utilizan cuando se modelan creencias en lugar de conocimiento.

Propiedades del conocimiento[editar]

Suponiendo que
es una relacin de equivalencia, y que los agentes son razonadores
perfectos, se pueden derivar algunas propiedades del conocimiento. Las propiedades
indicadas aqu se las suele llamar "propiedades S5," por las razones que se explican ms
adelante en la seccin de Axiomas.
El axioma de distribucin[editar]
Este axioma es conocido dentro de la lgica epistmica como K (no confundir con el
axioma K de la lgica modal). En trminos epistmicos, establece que si un agente
sabe/conoce
Por lo que,

y sabe que

, entonces el agente debe tambin saber/conocer

La regla de generalizacin del conocimiento[editar]

Otra propiedad que se puede derivar es que si es vlido, entonces lo es
. Lo cual
no quiere decir que si es verdadero, dicho agente i sabe/conoce . Lo que quiere decir
es que si es verdadero en todo mundo que un agente considere como un mundo
posible, entonces el agente debe conocer/saber en todos los mundos posibles.
si

entonces

El axioma de la verdad o conocimiento[editar]

Este axioma es conocido como axioma T. El mismo establece que si un agente
conoce hechos, los hechos deben ser verdaderos. Esto ha sido a menudo tomado
como la principal caracterstica que diferencia al conocimiento de la creencia. Mientras
que es posible creer en algo que es falso, no se puede conocer/saber algo que es
falso.

El axioma de la introspeccin positiva[editar]

Esta propiedad y la siguiente establecen que un agente posee introspeccin
acerca de su propio conocimiento, y se los conoce tradicionalmente bajo los
nombres de axiomas 4 y 5, respectivamente. El axioma de la introspeccin
positiva, tambin conocido como axioma KK, dice especficamente que los
agentes saben que es lo que saben/conocen. este axioma puede parecer menos
obvio que los enumerados previamente, y Timothy Williamson ha argumentado en
contra de su inclusin en su libro, Knowledge and Its Limits.
El axioma de la introspeccin negativa[editar]
El axioma de la introspeccin negativa dice que los agentes saben que es lo
que no saben/conocen.

Sistemas de axiomas[editar]
Se pueden derivar diferentes lgicas modales tomando distintos
subconjuntos de estos axiomas, y estas lgicas son normalmente
llamadas segn los axiomas ms importantes que se utilicen. Sin
embargo, no siempre es este el caso. KT45, la lgica modal que resulta
de combinar K, T, 4, 5, y la Regla de Generalizacin del Conocimiento, es
conocida como S5. Esta es la razn por la cual las propiedades
descriptas previamente son a menudo llamadas propiedades S5.
La lgica epistmica tambin analiza las creencias, no solo el
conocimiento. El operador bsico modal por lo general se escribe
como B en vez de K. Sin embargo en este caso, el axioma del
conocimiento no parece ser verdadero -- solo a veces los agentes creen
la verdad -- por lo que por lo general se lo remplaza con al axioma de
consistencia, tradicionalmente llamado D:
el cual establece que el agente no cree una contradiccin, o lo que es
falso. Cuando D remplaza a T en S5, el sistema resultante se llama
KD45. Esto tambin resulta en un conjunto de propiedades distintas
para
. Por ejemplo, en un sistema en el cual un agente "cree" que
algo es verdadero, pero en realidad no lo es, la relacin de
accesibilidad sera no reflexiva. La lgica de las creencias se
llama lgica doxstica.