Lògica epistèmica

De Viquipèdia
Dreceres ràpides: navegació, cerca

La lògica epistèmica és un camp de la lògica modal que s'ocupa del raonament sobre el coneixement. Mentre que l'epistemologia té una llarga tradició filosòfica que s'origina en la Grècia Antiga, la lògica epistèmica és un desenvolupament molt més recent amb aplicacions en nombrosos camps, com ara filosofia, ciència computacional teòrica, intel·ligència artificial, economia i lingüística. Mentre que els filòsofs a partir de Aristòtil han discutit la lògica modal, i els filòsofs medievals com Guillem d'Occam i Duns Escot van desenvolupar nombroses observacions, va ser Clarence Irving Lewis qui el 1912 va realitzar el primer tractament simbòlic i sistemàtic d'aquest tema. El tema va continuar madurant, arribant a la seva forma moderna a 1963 a partir del treball de Saul Kripke.

Durant la dècada de 1950 es van publicar nombrosos treballs que feia esment en passar una lògica del coneixement, però és acabat el treball de Georg Henrik von Wright titulat «An Essay in Modal Logic» publicat a 1951 el qual és reconegut com el document fundacional. No va ser fins a 1962 que Jaakko Hintikka, escriu «Knowledge and Belief», el primer treball extens que suggereix utilitzar modalitats per capturar la semàntica del coneixement en comptes d'utilitzar les premisses aletes amb què típicament es desenvolupa la lògica modal. Si bé aquest treball va establir les bases del tema, des de llavors s'han realitzat nombroses investigacions i avenços. Per exemple, la lògica epistèmica ha estat recentment combinada amb algunes idees preses de la lògica dinàmica per crear una lògica de les comunicacions públiques i una lògica d'actualització de producte, que intenten modelar les subtileses epistèmiques de les converses. Els treballs fundacionals en aquest camp són els realitzats per Plaza, Johan van Benthem, i Baltag, Moss, i Solecki.

Model estàndard de mons possibles[modifica | modifica el codi]

La majoria dels intents de modelar el coneixement s'han basat en el model dels mons possibles. Per poder procedir, cal dividir el conjunt de mons possibles entre aquells que són compatibles amb el coneixement d'un agent, i aquells que no ho són. Si bé aquesta discussió se centra bàsicament a realitzar aquesta tasca utilitzant l'enfocament basat en la lògica, val la pena esmentar l'altre mètode primari que s'utilitza que és el tractament basat en actes. En aquesta aplicació en particular els esdeveniments són conjunts de mons possibles, i el coneixement és un operador sobre els esdeveniments. Si bé les estratègies estan relacionades, hi ha dos importants diferències entre elles:

  • El model matemàtic subjacent del tractament basat en la lògica són les estructures de Kripke, mentre que el tractament basat en els esdeveniments utilitza les estructures d'Aumann.
  • En el tractament basat en esdeveniments les fórmules lògiques no es fan servir de cap manera, mentre que en el mètode basat en la lògica utilitza el sistema de la lògica modal.

Típicament, el tractament basat en la lògica ha estat utilitzat en els camps de la filosofia, la lògica i la intel·ligència artificial, mentre que el tractament basat en esdeveniments és més comunament utilitzat en camps com la teoria de jocs i economia matemàtica. En el mètode basat en la lògica, s'han construït una sintaxi i una semàntica utilitzant el llenguatge de la lògica modal, que es descriu a continuació.

Sintaxi[modifica | modifica el codi]

El operador modal bàsic de la lògica epistèmica, normalment escrit amb el símbol K, es pot interpretar com significant "se sap que", "és necessari des d'un punt de vista epistèmic que", o "és inconsistent amb el que sabem que no ". Si aquesta representant el coneixement de més d'un agent, llavors s'agreguen subíndexs a l'operador (\mathit{K}_1 , \mathit{K}_2 , etc.) Per indicar quin és l'agent al qual s'està fent referència. De forma tal que \mathit{K}_a\varphi vol dir" l'agent  a sap que \varphi . " El dual de K, que estaria en la mateixa relació amb K que \Diamond és a \Box , no té un símbol específic, però pot ser representat com \neg K_a\neg\varphi , el que es llegeix com " a no sap que no \varphi " o " a és \varphi possible ". " a no sap si \varphi " es pot expressar com \neg K_a\varphi\land\neg K_a\neg\varphi .

De manera tal de poder utilitzar les nocions de coneixement comú i coneixement distribuït, es poden afegir tres operadors modals addicionals al llenguatge. Ells són \mathit{E}_\mathit{G}, que es llegeix "tot agent en el grup G sap"; \mathit{C}_\mathit{G}, que es llegeix "és un coneixement en posició de tot agent a G", i \mathit{D}_\mathit{G}, que es llegeix "és coneixement distribuït a tot agent en G ". Si \varphi és una fórmula del nostre llenguatge, aleshores també ho són \mathit{E}_G\varphi , \mathit{C}_G\varphi , i \mathit{D}_G\varphi . De la mateixa manera en què es pot ometre el subíndex després de \mathit{K} quan hi ha un sol agent, el subíndex després dels operadors modals \mathit{E}, \mathit{C}, i \mathit{D} pot ser omès quan el grup és un conjunt d'agents.


Semàntica[modifica | modifica el codi]

Tal com es va esmentar prèviament, l'enfocament basat en la lògica es construeix a partir del model dels mons possibles, on les semàntiques d'aquests s'expressen en general mitjançant estructures de Kripke, també conegudes com a models de Kripke. Una estructura de Kripke M per n agents sobre \Phi és un tuple  (S,\pi,\mathcal{K}_1, ...,\mathcal{K}_n) , on S és un conjunt no buit de estats o mons possibles, \pi és una interpretació que associa cada estat a S a una assignació de debò les proposicions primitives a \Phi , i \mathcal{K}_1, ...,\mathcal{K}_n són les relacions binàries a S per n agents. és important no confondre  K_i , l'operador modal, i \mathcal{K}_i , la nostra relació d'accessibilitat.

L'assignació de veritat ens indica si una proposició p és vertadera o falsa en un cert estat. D'aquesta manera \pi (s) (p) ens indica si p és veritable en l'estat s en el model \mathcal{M}. La veritat depèn no només de l'estructura, sinó que també del món actual. Només perquè alguna cosa sigui veritable en un món no vol dir que també sigui vertader en un altre món. Per demostrar que una fórmula \varphi és vertadera en un cert món, s'escriu  (M, s)\models\varphi , normalment interpretat com "\varphi és veritable a (M, s), "o" (M, s) compleix amb la relació \varphi ".

És útil pensar la relació binària \mathcal{K}_i com una relació de possibilitat, perquè la mateixa captura en què mons o estats és que l'agent i considera que són possibles. En general té sentit que \mathcal{K}_i sigui una relació d'equivalència, atès que aquesta és la forma més forta i és la més apropiada per a la majoria de les aplicacions. Una relació d'equivalència és una relació binària que és reflexiva, simètrica, i transitiva. La relació d'accessibilitat no posseeix aquestes qualitats; certament hi ha altres opcions possibles, com les que s'utilitzen quan es modelen creences en lloc de coneixement.

Propietats del coneixement[modifica | modifica el codi]

Suposant que \mathcal{K}_i és una relació d'equivalència, i que els agents són raonats perfectes, es poden derivar algunes propietats del coneixement. Les propietats indicades aquí se les sol anomenar "propietats S5," per les raons que s'expliquen més endavant en la secció de Axiomes.

L'axioma de distribució[modifica | modifica el codi]

Aquest axioma és tradicionalment conegut en la lògica epistèmica com a K (tot i que convé no confondre'l amb l'axioma que rep aquest mateix nom en lògica modal). En termes epistèmics, estableix que si un agent i sap o coneix que \varphi i també sap que \varphi implica \psi , aleshores l'agent i sap també que \psi . Pel que,

 (K_i\varphi\land K_i (\varphi\implies\psi))\implies K_i\psi

La regla de generalització del coneixement[modifica | modifica el codi]

Una altra propietat que es pot derivar és que si \varphi és vàlid, llavors ho és  K_i\varphi . La qual cosa no vol dir que si \varphi és veritable, aquest agent i sap/coneix \varphi . El que vol dir és que si \varphi és veritable en tot món que un agent consideri com un món possible, llavors l'agent ha de conèixer/saber \varphi en tots els mons possibles.

Si  M\models\varphi llavors  M\models K_i\varphi

L'axioma de la veritat o coneixement[modifica | modifica el codi]

Aquest axioma és conegut com a axioma T . El mateix estableix que si un agent coneix fets, els fets han de ser veritables. Això ha estat sovint pres com la principal característica que diferencia al coneixement de la creença. Mentre que és possible creure en alguna cosa que és fals, no es pot conèixer/saber una cosa que és fals.

 K_i\varphi\implies\varphi

L'axioma de la introspecció positiva[modifica | modifica el codi]

Aquesta propietat i la següent estableixen que un agent té introspecció sobre el seu propi coneixement, i se'ls coneix tradicionalment sota els noms d'axiomes 4 i 5, respectivament. L'axioma de la introspecció positiva, també conegut com a axioma KK, diu específicament que els agents saben que és el que saben/coneixen . aquest axioma pot semblar menys obvi que els enumerats prèviament, i Timothy Williamson ha argumentat en contra de la seva inclusió en el seu llibre, Knowledge and Its Limits.

 K_i\varphi\implies K_i K_i\varphi

L'axioma de la introspecció negativa[modifica | modifica el codi]

L'axioma de la introspecció negativa diu que els agents saben que és el que no saben/coneixen.

\neg K_i\varphi\implies K_i\neg K_i\varphi

Sistemes d'axiomes[modifica | modifica el codi]

Es poden derivar diferents lògiques modals prenent diferents subconjunts d'aquests axiomes, i aquestes lògiques són normalment anomenades segons els axiomes més importants que s'utilitzin. No obstant això, no sempre és aquest el cas. KT45, la lògica modal que resulta de combinar K, T, 4, 5, i la Regla de Generalització del Coneixement, és coneguda com a S5. Aquesta és la raó per la qual les propietats descrites prèviament són sovint anomenades propietats S5.

La lògica epistèmica també analitza les creences, no només el coneixement. L'operador bàsic modal en general s'escriu com B en comptes de K . No obstant això en aquest cas, l'axioma del coneixement no sembla ser veritable - només de vegades els agents creuen la veritat - per la qual cosa en general se'l reemplaça amb l'axioma de consistència, tradicionalment anomenat D :

\neg B_i\bot

el qual estableix que l'agent no creu una contradicció, o el que és fals. Quan D reemplaça a T a S5, el sistema resultant s'anomena KD45. Això també resulta en un conjunt de propietats diferents per \mathcal{K}_i . Per exemple, en un sistema en el qual un agent "creu" que alguna cosa és veritable, però en realitat no ho és, la relació d'accessibilitat seria no reflexiva. La lògica de les creences es diu lògica doxàstica.

Vegeu també[modifica | modifica el codi]

Bibliografia[modifica | modifica el codi]

  • Fagin, Ronald et al. Reasoning about Knowledge. Cambridge: MIT Press, 2003.
  • Meyer, JJ C., 2001, "Epistemic Logic," in Goble, Lou, ed., The Blackwell Guide to Philosophical Logic. Blackwell.
  • Anderson, A. and N. D. Belnap. Entailment: The Logic of Relevance and Necessity. Princeton: Princeton University Press, 1975.
  • Fagin et al. "A nonstandard approach to the logical omniscience problem." Artificial Intelligence, Volume 79, Number 2, 1995, p. 203-40.
  • Hintikka, J. Knowledge and Belief. Ithaca: Cornell University Press, 1962.
  • Montague, R. "Universal Grammar". Theoretica, Volume 36, 1970, p. 373-398.

Enllaços externs[modifica | modifica el codi]

  • "Logic" - Hendricks, Vincent and John Symons, Stanford Encyclopedia of Philosophy
  • James Garson. "Modal logic" - per Stanford Encyclopedia of Philosophy
  • Vanderschraaf, Peter. "Knowledge" - Stanford Encyclopedia of Philosophy
  • "Epistemic modal logic" - Ho Ngoc Duc. Pàgina inicial: