-
Negation and Identity in a Modal Mode Theory
Authors:
Juan Afanador
Abstract:
This piece threads substructurality and modality into a negation that activates the downside of equivalence and identity in a fibrational framework. The piece is a working through of negation and contradiction as type-theoretic/categorial objects, towards an immanent critique of the subtending univalent paradigm. Although this is not the terminus of the piece, i wish to try and delineate the epist…
▽ More
This piece threads substructurality and modality into a negation that activates the downside of equivalence and identity in a fibrational framework. The piece is a working through of negation and contradiction as type-theoretic/categorial objects, towards an immanent critique of the subtending univalent paradigm. Although this is not the terminus of the piece, i wish to try and delineate the epistemic and intra-mundane problematics intertwined therewith. The piece's terminus is a mode theory of an intuitionistic modal logic that internalises a restriction on the Double Negation Elimination rule.
△ Less
Submitted 2 September, 2023;
originally announced January 2024.
-
Aphorisms on Epidemiological Modelling
Authors:
Juan Afanador
Abstract:
Epidemiological modelling is critiqued towards a scientific practice of negativity in the context of Scotland's Centre of Expertise on Animal Disease Outbreaks (EPIC). The paratactical approach to the melancholy science is invoked to problematise One Health, the intra-pandemic modelling culture, and to delineate an inkling of the negative in EPIC's work.
Epidemiological modelling is critiqued towards a scientific practice of negativity in the context of Scotland's Centre of Expertise on Animal Disease Outbreaks (EPIC). The paratactical approach to the melancholy science is invoked to problematise One Health, the intra-pandemic modelling culture, and to delineate an inkling of the negative in EPIC's work.
△ Less
Submitted 12 May, 2022;
originally announced May 2022.
-
A Formal Critique of the Value of the Colombian Páramo
Authors:
Juan Afanador
Abstract:
This article presents conceptual and methodological frameworks to prioritise interventions on the Colombian Páramo. The mode of analysis that our work takes up is that of questioning value and related categories as definite empirically perceived phenomena. We contend that the valuation of ecosystem services -- even in its post-normal forms -- and the ecosystem services framework not only fail to e…
▽ More
This article presents conceptual and methodological frameworks to prioritise interventions on the Colombian Páramo. The mode of analysis that our work takes up is that of questioning value and related categories as definite empirically perceived phenomena. We contend that the valuation of ecosystem services -- even in its post-normal forms -- and the ecosystem services framework not only fail to examine value-based categories, but reproduce the problematic aspects of value-based social relations, which ultimately bear on the ecological issues affecting the Páramo. Upon this premise we set out to formalise a (computational) dialogical scenario where arguments stating distinct, and often contradictory, actions delineate possible forms of appropriating the Páramo, while motivating the examination of their defining sociality.
△ Less
Submitted 3 May, 2020;
originally announced May 2020.
-
Arguing Ecosystem Values with Paraconsistent Logics
Authors:
Juan Afanador
Abstract:
The valuation of ecosystem services prompts dialogical settings where non-trivially inconsistent arguments are often invoked. Here, I propose an approach to the valuation of ecosystem services circumscribed to a logic-based argumentation framework that caters for valid inconsistencies. This framework accounts for preference formation processes underpinned by a paraconsistent model of logical entai…
▽ More
The valuation of ecosystem services prompts dialogical settings where non-trivially inconsistent arguments are often invoked. Here, I propose an approach to the valuation of ecosystem services circumscribed to a logic-based argumentation framework that caters for valid inconsistencies. This framework accounts for preference formation processes underpinned by a paraconsistent model of logical entailment. The value of an ecosystem service is produced in the form of an ordering over competing land-use practices, as per the arguments surviving semantical probing.
△ Less
Submitted 14 November, 2019;
originally announced November 2019.
-
Extending Eigentrust with the Max-Plus Algebra
Authors:
Juan Afanador,
Maria Araujo,
Murilo Baptista,
Nir Oren
Abstract:
Eigentrust is a simple and widely used algorithm, which quantifies trust based on the repeated application of an update matrix to a vector of initial trust values. In some cases, however, this procedure is rendered uninformative. Here, we characterise such situations and trace their origin to the algebraic conditions guaranteeing the convergence of the Power Method. We overcome the identified limi…
▽ More
Eigentrust is a simple and widely used algorithm, which quantifies trust based on the repeated application of an update matrix to a vector of initial trust values. In some cases, however, this procedure is rendered uninformative. Here, we characterise such situations and trace their origin to the algebraic conditions guaranteeing the convergence of the Power Method. We overcome the identified limitations by extending Eigentrust's core ideas into the Max-Plus Algebra. The empirical evaluation of our max-plus approach demonstrates improvements over Eigentrust.
△ Less
Submitted 13 June, 2019;
originally announced June 2019.
-
Delegating via Quitting Games
Authors:
Juan Afanador,
Nir Oren,
Murilo S. Baptista
Abstract:
Delegation allows an agent to request that another agent completes a task. In many situations the task may be delegated onwards, and this process can repeat until it is eventually, successfully or unsuccessfully, performed. We consider policies to guide an agent in choosing who to delegate to when such recursive interactions are possible. These policies, based on quitting games and multi-armed ban…
▽ More
Delegation allows an agent to request that another agent completes a task. In many situations the task may be delegated onwards, and this process can repeat until it is eventually, successfully or unsuccessfully, performed. We consider policies to guide an agent in choosing who to delegate to when such recursive interactions are possible. These policies, based on quitting games and multi-armed bandits, were empirically tested for effectiveness. Our results indicate that the quitting game based policies outperform those which do not explicitly account for the recursive nature of delegation.
△ Less
Submitted 20 April, 2018;
originally announced April 2018.