| TÃtulo : |
Third International Conference, CLAR 2020, Hangzhou, China, April 6–9, 2020, Proceedings |
| Tipo de documento: |
documento electrónico |
| Autores: |
Dastani, Mehdi, ; Dong, Huimin, ; van der Torre, Leon, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2020 |
| Número de páginas: |
X, 363 p. 244 ilustraciones, 15 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-44638-3 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Palabras clave: |
Inteligencia artificial |
| Ãndice Dewey: |
006.3 Inteligencia artificial |
| Resumen: |
Este libro constituye las actas arbitradas de la Tercera Conferencia Internacional sobre Lógica y Argumentación, CLAR 2020, celebrada en Hangzhou, China, en abril de 2020. Los 14 artÃculos completos y 7 breves presentados fueron cuidadosamente revisados ​​y seleccionados entre 31 presentaciones. Los artÃculos cubren el enfoque de la serie CLAR, incluidos modelos formales de argumentación, lógicas para la toma de decisiones y razonamiento incierto, modelos formales de evidencia, confirmación y justificación, lógicas para la cognición grupal y la red social, razonamiento sobre normas, representaciones formales del lenguaje natural. y textos legales, asà como aplicaciones de la argumentación sobre la ingenierÃa climática. |
| Nota de contenido: |
Group Belief -- Broadening Label-based Argumentation Semantics with May-Must Scales -- Semirings of Evidence -- Logic Programming, Argumentation and Human Reasoning -- Reasoning about Degrees of Con rmation -- Ideal related algebras and their logics { Extended abstract -- Computer-supported Analysis of Arguments in Climate Engineering.-A Logic of Knowledge and Belief Based on Abstract Arguments -- A Meta-level Annotation Language for Legal Texts -- Towards an Executable Methodology for the Formalization of Legal Texts -- Goal-driven Structured Argumentation for Patient Management in a Multimorbidity Setting -- Intuitionistic-Bayesian Semantics of First-Order Logic for Generics -- Ambiguity Preference and Context Learning in Uncertain Signaling.-A Decidable Multi-Agent Logic for Reasoning about Actions, Instruments, and Norms -- Preservation of Admissibility with Rationality and Feasibility Constraints -- Uncertainty in Argumentation Schemes: Negative Consequences and Basic Slippery Slope -- Reasoning as Speech Acts -- Dynamics of Fuzzy Argumentation Frameworks -- Probabilistic three-value argumentation frameworks -- Further Steps Towards a Logic of Polarization in Social Networks -- A Formalization of the Slippery Slope Argument. |
| En lÃnea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
Third International Conference, CLAR 2020, Hangzhou, China, April 6–9, 2020, Proceedings [documento electrónico] / Dastani, Mehdi, ; Dong, Huimin, ; van der Torre, Leon, . - 1 ed. . - [s.l.] : Springer, 2020 . - X, 363 p. 244 ilustraciones, 15 ilustraciones en color. ISBN : 978-3-030-44638-3 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
| Palabras clave: |
Inteligencia artificial |
| Ãndice Dewey: |
006.3 Inteligencia artificial |
| Resumen: |
Este libro constituye las actas arbitradas de la Tercera Conferencia Internacional sobre Lógica y Argumentación, CLAR 2020, celebrada en Hangzhou, China, en abril de 2020. Los 14 artÃculos completos y 7 breves presentados fueron cuidadosamente revisados ​​y seleccionados entre 31 presentaciones. Los artÃculos cubren el enfoque de la serie CLAR, incluidos modelos formales de argumentación, lógicas para la toma de decisiones y razonamiento incierto, modelos formales de evidencia, confirmación y justificación, lógicas para la cognición grupal y la red social, razonamiento sobre normas, representaciones formales del lenguaje natural. y textos legales, asà como aplicaciones de la argumentación sobre la ingenierÃa climática. |
| Nota de contenido: |
Group Belief -- Broadening Label-based Argumentation Semantics with May-Must Scales -- Semirings of Evidence -- Logic Programming, Argumentation and Human Reasoning -- Reasoning about Degrees of Con rmation -- Ideal related algebras and their logics { Extended abstract -- Computer-supported Analysis of Arguments in Climate Engineering.-A Logic of Knowledge and Belief Based on Abstract Arguments -- A Meta-level Annotation Language for Legal Texts -- Towards an Executable Methodology for the Formalization of Legal Texts -- Goal-driven Structured Argumentation for Patient Management in a Multimorbidity Setting -- Intuitionistic-Bayesian Semantics of First-Order Logic for Generics -- Ambiguity Preference and Context Learning in Uncertain Signaling.-A Decidable Multi-Agent Logic for Reasoning about Actions, Instruments, and Norms -- Preservation of Admissibility with Rationality and Feasibility Constraints -- Uncertainty in Argumentation Schemes: Negative Consequences and Basic Slippery Slope -- Reasoning as Speech Acts -- Dynamics of Fuzzy Argumentation Frameworks -- Probabilistic three-value argumentation frameworks -- Further Steps Towards a Logic of Polarization in Social Networks -- A Formalization of the Slippery Slope Argument. |
| En lÃnea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
|  |