Lógica probabilística
La lógica probabilística (o lógica probabilista) es una forma de razonamiento que tiene como objetivo combinar la capacidad de manejar la incertidumbre que tiene la teoría de probabilidad con la capacidad de explotar la estructura de la argumentación formal que tiene la lógica deductiva. El resultado es un formalismo más rico y más expresivo con una amplia gama de posibles áreas de aplicación. La lógica probabilística es una extensión natural de las tablas de verdad de la lógica clásica, pero a diferencia de esta, los resultados que define se derivan de expresiones de probabilidad. Uno de los problemas de las lógicas probabilistas es que tienden a multiplicar la complejidad computacional. Otro problema es la posibilidad de resultados contraintuitivos, como los que aparece en la lógica subjetiva basada en evidencia que hace uso de la teoría Dempster-Shafer. La necesidad de lidiar con una amplia variedad de contextos y problemas ha llevado a muchas propuestas diferentes de lógicas probabilísticas.
Propuestas
Hay numerosas propuestas para lógicas probabilísticas:
- El término lógica probabilística primero fue usado por Nils Nilsson en un artículo científico de 1986, donde los valor de verdad— de sentencias eran probabilidades.[1] La generalización semántica propuesta induce una vinculación lógica probable, que se reduce a vinculación lógica ordinaria cuando las probabilidades de todas las sentencias son 0 o 1. Esta generalización se aplica a cualquier sistema lógico, para el que se pueda establecer la consistencia lógica de un juego finito cualquiera de proposiciones lógicas.
- En la teoría de argumentación probabilística,[2][3] las probabilidades directamente no se relacionan directamente con proposiciones lógicas. En cambio, se asumido que un subconjunto particular de variables involucradas en las proposiciones define un espacio probabilístico sobre la correspondiente σ-subálgebra. Esto induce dos medidas de probabilidad distintas en , que se denominan grado de apoyo y grado de posibilidad, respectivamente. Los grados de apoyo se pueden considerar como probabilidades no aditivas que generalizan los conceptos de vinculación lógica ordinaria (para ) y probabilidades clásicas a posteriori (para ). Matemáticamente, este enfoque es compatible con la teoría Dempster-Shafer.
- La teoría de razonamiento fundado también define probabilidades[4] no aditivas o probabilidades epistémicas. La idea es de aumentar la lógica proposicional estándar mediante un operador epistémico, K, que representa el estado de conocimiento que un agente racional tiene sobre el mundo. Las probabilidades se definen entonces sobre el universo epistémico Kp de todas las sentencias lógicas p, y se argumenta que esto es la mejor información disponible. Desde este punto de vista, la teoría Dempster-Shafer se puede ver como una forma generalizada de razonamiento probable.
- Otro formalismo que incluye probabilidades es el de la lógica difusa que se puede usar obtener una lógica con distribuciones de probabilidad.[5] En lógica difusa la cuestión de la consistencia de la información disponible se relaciona estrictamente con la coherencia de la asignación parcial probable y, por lo tanto, con el fenómeno de argumento de la succión financiera.
- El concepto central en la lógica subjetiva][6] son las opiniones sobre algunas variables lógicas que aprecen en proposiciones lógicas dadas. Para el cómputo de opiniones basadas en una estructura de opiniones de argumento, la teoría propone a operadores respectivos para varias conectivas lógicas, como p.ej. la multiplicación (AND), comultiplicaciónn (OR), la división (NAND) y la codivisión (NOR) de opiniones[7] así como la deducción condicional (MP) y la abducción (MT).[8]
Posibles áreas de aplicación
- Teoría de la argumentación
- Inteligencia artificial
- Bioinformática
- Teoría de juegos
- Filosofía de la ciencia
- Psicología
- Estadística
Véase también
- Inferencia bayesiana, Red bayesiana, Probabilidad bayesiana
- teoría Dempster-Shafer
- Lógica difusa
- Probabilidad Imprecisa
- Lógica, Razonamiento deductivo, Lógica no monotónica
- Base de datos probabilística
- Probabilidad, Teoría de la probabilidad
- Razonamiento
- Incertidumbre
Referencias
- ↑ Nilsson, N. J. (1986), «Probabilistic logic», Artificial Intelligence (28(1)): 71-87 .
- ↑ Kohlas, J., and Monney, P.A., 1995. A Mathematical Theory of Hints. An Approach to the Dempster-Shafer Theory of Evidence. Vol. 425 in Lecture Notes in Economics and Mathematical Systems. Springer Verlag.
- ↑ Haenni, R, 2005, "Towards a Unifying Theory of Logical and Probabilistic Reasoning," ISIPTA'05, 4th International Symposium on Imprecise Probabilities and Their Applications: 193-202. «Copia archivada». Archivado desde el original el 18 de junio de 2006. Consultado el 18 de junio de 2006.
- ↑ Ruspini, E.H., Lowrance, J., and Strat, T., 1992, "Understanding evidential reasoning," International Journal of Approximate Reasoning, 6(3): 401-424.
- ↑ Gerla, G., 1994, "Inferences in Probability Logic," Artificial Intelligence 70(1–2):33–52.
- ↑ Jøsang, A., 2001, "A logic for uncertain probabilities," International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 9(3):279-311.
- ↑ Jøsang, A. and McAnally, D., 2004, "Multiplication and Comultiplication of Beliefs," International Journal of Approximate Reasoning, 38(1), pp.19-51, 2004
- ↑ Jøsang, A., 2008, "Conditional Reasoning with Subjective Logic," Journal of Multiple-Valued Logic and Soft Computing, 15(1), pp.5-38, 2008.
Bibliografía Adicional
- E. W. Adams, 1998. A Primer of Probability Logic. CSLI Publications (Univ. of Chicago Press).
- F. Bacchus, 1990. "Representing and reasoning with Probabilistic Knowledge. A Logical Approach to Probabilities". The MIT Press.
- Rudolf Carnap, 1950. Logical Foundations of Probability. University of Chicago Press.
- Chuaqui, R., 1991. Truth, Possibility and Probability: New Logical Foundations of Probability and Statistical Inference. Number 166 in Mathematics Studies. North-Holland.
- Hajek, Alan, 2001, "Probability, Logic, and Probability Logic," in Goble, Lou, ed., The Blackwell Guide to Philosophical Logic, Blackwell.
- Henry Kyburg, 1970. Probability and Inductive Logic Macmillan.
- H. E. Kyburg, 1974. The Logical Foundations of Statistical Inference, Dordrecht: Reidel.
- H. E. Kyburg and C. M. Teng, 2001. Uncertain Inference, Cambridge: Cambridge University Press.
- Romeijn, J. W., 2005. Bayesian Inductive Logic. PhD thesis, Faculty of Philosophy, University of Groningen, Netherlands. [1] Archivado el 3 de marzo de 2016 en Wayback Machine.
- Williamson, J., 2002, "Probability Logic," in D. Gabbay, R. Johnson, H. J. Ohlbach, and J. Woods, eds., Handbook of the Logic of Argument and Inference: the Turn Toward the Practical. Elsevier: 397-424.
Enlaces externos
- Progicnet: Probabilistic Logic And Probabilistic Networks
- Subjective logic demonstrations (enlace roto disponible en Internet Archive; véase el historial, la primera versión y la última).
- The Society for Imprecise Probability
Datos: Q2599292