ıllı Portal de Psicología y NeuroCiencias

Portal wikinfo sobre psicología y neurociencias.

 !Selecciona tu Idioma!

Enciclopedia/Diccionario de Psicología y Neurociencias:

ıllı Lógica no monotónica wiki: info, libros pdf y vídeos

psicologia y neurociencias

salud  Lógica no monotónica 


Una lógica no monotónica, o bien lógica no monótona, es un sistema lógico cuya relación de consecuencia lógica es no monotónica. La mayor parte de los sistemas lógicos tienen una relación de consecuencia monotónica, lo que desea decir que el añadir una fórmula a una teoría jamás se genera una reducción de su conjunto de consecuencias. De manera intuitiva, la monotonicidad señala que el añadir nuevos conocimientos no reduce el conjunto de las cosas conocidas. Simbólicamente:

Si G?A, entonces G???A

Donde A es una fórmula cualquiera y G y ? son conjuntos de fórmulas cualquiera.


Una lógica monotónica no puede manejar múltiples géneros de argumento como el argumento por defecto (los hechos pueden ser conocidos solamente por la inseguridad o bien falta de patentiza en caso contrario), el argumento abductivo (los hechos solo se deducen en calidad de explicaciones probables), el argumento sobre el conocimiento (la ignorancia de un hecho ha de ser desdicha cuando el hecho sea conocido), y la revisión de opiniones (nuevo conocimiento puede contrariar opiniones precedentes, forzando a repasarlas). Estas restricciones son un inconveniente en gran cantidad de inconvenientes que se presentan en inteligencia artificial, que tienen un carácter no monótono.



Razonamiento por defecto


El argumento de los pies en el suelo en muchas ocasiones establece conclusiones desde información parcial, que entonces se examinan o bien se desechan cuando se consigue nueva información relevante. Por servirnos de un ejemplo, si de un determinado animal se sabe que es un ave, y no se conoce solamente, se puede aceptar que es capaz de volar. Sin embargo, este hecho ha de ser desdicho si después se sabe que ese determinado animal es un pingüino. Este caso muestra que una lógica que modele el argumento por defecto no ha de ser monotónica. Las lógicas que formalizan argumento por defecto pueden ser divididas rotundamente en 2 categorías: lógicas capaces de manejar suposiciones arbitrarias por defecto (lógica por defecto, lógica retractable, y answer set programming) y lógicas que formalizan la concreta suposición por defecto de que los hechos que no se saben verdaderos pueden ser asumidos como falsos por defecto (closed world assumption y circunscripción).


Las lógicas por defecto dejan representar proposiciones como "si x es un ave, entonces x puede volar, salvo que haya algo que lo contradiga". Para esto se extensa la lógica de primera importancia introduciendo un operador modal M (es modal en tanto que señala una modalidad de veras), y se establece un mecanismo de mantenimiento de congruencia –generalmente traducido como mantenimiento de veras (truth maintenance)- que deja quitar el presunto cuando se presente un hecho que lo invalide.


Razonamiento abductivo


El argumento abductivo es el sistema que deriva las explicaciones más probables de los hechos conocidos. Una lógica abductiva no puede ser monotónica pues las explicaciones más probables no son necesariamente las adecuadas. Por servirnos de un ejemplo, la explicación más probable de ver el pasto mojado es que ha llovido; no obstante, esta explicación ha de ser desdicha cuando se sepa que la causa real de que el pasto estuviese mojado era un rociador. En la medida en que la primera explicación (llovió) es desdicha debido a la adición de información (se activó un rociador), cualquier lógica que modele explicaciones es no monotónica.


Razonamiento sobre el conocimiento


Si una lógica incluye fórmulas que significan que algo no es conocido, esta lógica no puede ser monotónica. En verdad, aprender algo que ya antes no era conocido lleva a el remplazo de la fórmula que detallaba que esa una parte de conocimiento no es famosa. Este segundo cambio (un remplazo ocasionada por una adición) viola la condición de monotonicidad. La lógica sobre el conocimiento es la lógica autoepistémica.


Revisión de creencias


La revisión de opiniones es el sistema que deja mudar las opiniones para alojar una nueva que puede ser inconsistente con las precedentes. En el caso de que la nueva creencia es adecuada, ciertas precedentes han de ser desdichas para sostener la consistencia. Esta retractación como contestación a la adición de una nueva creencia hace que cualquier lógica para la revisión de opiniones sea no monotónica. El enfoque de la revisión de opiniones es alternativo para las lógicas paraconsistentes, las que más que procurar remover la falta de consistencia la aceptan.



  • N. Bidoit and R. Hull (mil novecientos ochenta y nueve) "Minimalism, justification and non-monotonicity in deductive bases de datos," Journal of Computer and System Sciences 38: doscientos noventa-trescientos veinticinco.
  • G. Brewka (mil novecientos noventa y uno). Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press.
  • G. Brewka, J. Dix, K. Konolige (mil novecientos noventa y siete). Nonmonotonic Reasoning - An Overview. CSLI publications, Stanford.
  • M. Cadoli and M. Schaerf (mil novecientos noventa y tres) "A survey of complexity results for non-monotonic logics" Journal of Logic Programming 17: ciento veintisiete-sesenta.
  • F. M. Donini, M. Lenzerini, D. Nardi, F. Pirri, and M. Schaerf (mil novecientos noventa) "Nonmonotonic reasoning," Artificial Intelligence Review 4: ciento sesenta y tres-doscientos diez.
  • M. L. Ginsberg, ed. (mil novecientos ochenta y siete) Readings in Nonmonotonic Reasoning. Los Altos CA: Morgan Kaufmann.
  • Horty, J. F., dos mil uno, "Nonmonotonic Logic," in Goble, Lou, ed., The Blackwell Guide to Philosophical Logic. Blackwell.
  • W. Lukaszewicz (mil novecientos noventa) Non-Monotonic Reasoning. Ellis-Horwood, Chichester, West Sussex, England.
  • W. Marek and M. Truszczynski (mil novecientos noventa y tres) Nonmonotonic Logics: Context-Dependent Reasoning. Springer Verlag.


mas informacion


  ELIGE TU TEMA DE INTERÉS: 


wiki

  PSICOLOGIA (Wikinfo) 

wiki   BUSCADOR PSICOLOGIA    

 

USUARIOS:

Hay 166 invitados y ningún miembro en línea

psicologia y neurociencias

psicologia y neurociencias

 psicologia y neurociencias

Está aquí: Inicio > [ PSICOLOGIA (WIKINFO) ] > ıllı Lógica no monotónica wiki: info, libros pdf y vídeos

Las cookies nos permiten ofrecer nuestros servicios. Al utilizar nuestros servicios, aceptas el uso que hacemos de las cookies. Ver políticas