| 1 |
Meta-Analysis of the Functional Neuroimaging Literature with Probabilistic Logic Programming
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03590714 ; 2022 (2022)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
The contextual logic
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03195162 ; 2022 (2022)
|
|
Abstract:
The propositional logic Lp is the smallest syntax that formalizes Aristotle's three principles. It is commonly accepted that it is insufficient to capture human reasoning. Many formalisms have been proposed to extend the modeling capabilities of formal languages. The most common approach is to extend or to impoverish the syntax of Lp. We propose, with the contextual logic Lc, to take a different path. It consists in automatically integrating into the set of atomic propositions of the language silent propositions, which we call thoughts. By identifying the formulae, they bring to the formalism a reflexive reasoning capacity. We use it to define a semantic interpretation function of models, which captures the notions of inconsistency and predicate. The contribution of Lc to the family of non-classical formalisms is that it models fallibilistic reasoning (an intelligent agent has no certainty and believes what seems justifiable to him) and perspectivist reasoning (his beliefs are obtained by summing up the beliefs he has from several disjoint perspectives). We illustrate the behavioral properties of the contextual logic by developing at length an example of application. It allows us to present how to use it in the framework of Symbolic Artificial Intelligence. ; La logique propositionnelle Lp est la plus petite syntaxe qui formalise les trois principes d'Aristote. Il est communément admis qu'elle est insuffisante pour capturer le raisonnement humain. De nombreux formalismes ont été proposés pour étendre les capacités de modélisation des langages formels. L’approche la plus souvent étudiée consiste à étendre ou à appauvrir la syntaxe de Lp. Nous proposons, avec la logique contextuelle Lc, d'emprunter une voie différente. Elle consiste à intégrer automatiquement dans l'ensemble des propositions atomiques du langage des propositions silencieuses, que nous appelons des pensées. En identifiant les formules, elles apportent au formalisme une capacité de raisonnement réflexif. Nous l'utilisons pour définir une fonction d’interprétation sémantique sur les modèles, qui capture les notions d'inconsistance et de prédicat. L’apport de Lc à la famille des formalismes non-classiques est qu'elle modélise le raisonnement faillibiliste (un agent intelligent n'a aucune certitude et croit ce qui lui semble justifiable) et le raisonnement perspectiviste (ses croyances sont obtenues en additionnant les croyances qu'il a de plusieurs perspectives disjointes). Nous illustrons les propriétés comportementales de la logique contextuelle en développant longuement un exemple d'application. Il nous permet de présenter comment l'utiliser dans le cadre de l'Intelligence Artificielle Symbolique.
|
|
Keyword:
[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]; [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG]; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]; [SCCO.COMP]Cognitive science/Computer science; [SHS.PHIL]Humanities and Social Sciences/Philosophy
|
|
URL: https://hal.archives-ouvertes.fr/hal-03195162
https://hal.archives-ouvertes.fr/hal-03195162v4/document
https://hal.archives-ouvertes.fr/hal-03195162v4/file/The%20contextual%20logic.pdf
|
|
BASE
|
|
Hide details
|
|
|
| 3 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Dialogical Logic
|
|
|
|
In: ISSN: 1095-5054 ; Stanford Encyclopedia of Philosophy ; https://hal.archives-ouvertes.fr/hal-03651225 ; 2022, https://plato.stanford.edu/archives/sum2022/entries/logic-dialogical/ (2022)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Game of Grounds
|
|
|
|
In: Objects, Structures, and Logics ; https://hal.archives-ouvertes.fr/hal-03602786 ; Objects, Structures, and Logics, 339, Springer International Publishing, pp.259-286, 2022, Boston Studies in the Philosophy and History of Science, ⟨10.1007/978-3-030-84706-7_10⟩ (2022)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Calculi of Epistemic Grounding Based on Prawitz’s Theory of Grounds
|
|
|
|
In: ISSN: 0039-3215 ; EISSN: 1572-8730 ; Studia Logica ; https://hal.archives-ouvertes.fr/hal-03581352 ; Studia Logica, Springer Verlag (Germany), 2022, ⟨10.1007/s11225-021-09979-6⟩ (2022)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Restoring Reason: Theology of Logic in Origen of Alexandria ...
|
|
Haecker, Ryan. - : Apollo - University of Cambridge Repository, 2022
|
|
BASE
|
|
Show details
|
|
|
| 8 |
⚘Fonseca on signs ("ID" I, 8-11) ☀ António Manuel Martins ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 9 |
⚘Fonseca on signs ("ID" I, 8-11) ☀ António Manuel Martins ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 14 |
Experts' Selection for Neutrosophic Delphi Method. A Case Study of Hotel Activity ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Experts' Selection for Neutrosophic Delphi Method. A Case Study of Hotel Activity ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Generalized Quantifiers as a Source of Error in Multilingual NLU Benchmarks ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 17 |
On Reinforcement Learning, Effect Handlers, and the State Monad ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 18 |
The Form in Formal Thought Disorder: A Model of Dyssyntax in Semantic Networking
|
|
|
|
In: AI; Volume 3; Issue 2; Pages: 353-370 (2022)
|
|
BASE
|
|
Show details
|
|
|
| 19 |
Fuzzy Approach to Computational Classification of Burnout—Preliminary Findings
|
|
|
|
In: Applied Sciences; Volume 12; Issue 8; Pages: 3767 (2022)
|
|
BASE
|
|
Show details
|
|
|
| 20 |
Application of Modern Digital Systems and Approaches to Business Process Management
|
|
|
|
In: Sustainability; Volume 14; Issue 3; Pages: 1697 (2022)
|
|
BASE
|
|
Show details
|
|
|
|
|
