Typed Indeterminacy Engineering: A Practitioner's Design Pattern for Carrying Uncertainty Types Through a Decision Pipeline

Autores

  • Maikel Yelandi Leyva-Vázquez Universidad Bernardo O'Higgins , Universidad Bolivariana del Ecuador , Universidad de Guayaquil Autor

DOI:

https://doi.org/10.5281/

Palavras-chave:

typed indeterminacy, epistemic uncertainty, belief change, evidence fusion, selective prediction, decision systems

Resumo

Decision systems that operate under uncertainty — LLM-as-judge evaluators, multi-criteria ranking procedures, evidence-fusion pipelines, AI alignment mechanisms, and expert-consensus methods — routinely reduce heterogeneous epistemic failure modes to a single scalar of “confidence.” Established literatures resist this collapse in pieces, including Dempster–Shafer theory, the aleatoric/epistemic distinction, neutrosophic sets, imprecise probability, belief-change theory, selective prediction, conformal prediction, and learning to defer. This article states a design pattern connecting them: a 2 × 3 type grid—failure mode (ignorance, conflict, falsity) × removability (removable, constitutive)—is indexed to the applicable belief-change operation and then to the appropriate decision-output form. We call this pattern Typed Indeterminacy Engineering (TIE). Two worked examples from the author’s applied practice and an application to Delphi-style consensus methods illustrate the pattern, while the article clearly distinguishes conceptual contribution from the formalization and independent validation still required.

Referências

Alchourrón, C. E.; Gärdenfors, P.; Makinson, D. — AGM belief revision (expansion, revision, contraction), 1985.

Angelopoulos, A. N.; Bates, S. — conformal prediction review/tutorial, 2023.

Belnap, N. D. — “A Useful Four-Valued Logic,” 1977.

Carnielli, W. A.; Coniglio, M. E. — survey of paraconsistent logics (annotated logic tradition).

Chow, C. — “On optimum recognition error and reject tradeoff,” 1970.

da Costa, N. C. A. — foundational work on paraconsistent (annotated) logic, 1974 onward.

Dalkey, N.; Helmer, O. — the Delphi method, 1963.

Dempster, A. P. — upper and lower probabilities induced by a multivalued mapping, 1967.

Der Kiureghian, A.; Ditlevsen, O. — “Aleatory or epistemic? Does it matter?”, 2009.

Dubois, D.; Prade, H. — Possibility Theory: An Approach to Computerized Processing of Uncertainty, 1988.

Ellsberg, D. — ambiguity aversion, 1961.

El-Yaniv, R.; Wiener, Y. — selective prediction / risk-coverage, 2010.

Fitch, K. et al. — the RAND/UCLA Appropriateness Method, 2001.

Geifman, Y.; El-Yaniv, R. — selective classification for deep neural networks, 2017.

Greaves, H. — “Epistemic Decision Theory,” 2013.

Guyatt, G. et al. — GRADE, 2008.

Hansson, S. O.; Fermé, E.; Cantwell, J.; Falappa, M. — credibility-limited / non-prioritized revision, 2001.

Hüllermeier, E.; Waegeman, W. — “Aleatoric and epistemic uncertainty in machine learning,” 2021.

Joyce, J. M. — accuracy-first epistemic decision theory, 1998.

Katsuno, H.; Mendelzon, A. — on the difference between updating a knowledge base and revising it, 1991.

Kendall, A.; Gal, Y. — uncertainty in deep learning for computer vision, 2017.

Knight, F. — Risk, Uncertainty and Profit, 1921.

Konieczny, S.; Pino Pérez, R. — “Merging Information Under Constraints: A Logical Framework,” Journal of Logic and Computation 12(5):773–808, 2002.

Levi, I. — The Enterprise of Knowledge, MIT Press, 1980.

Linstone, H.; Turoff, M. — Delphi method handbook, 1975.

Madras, D.; Pitassi, T.; Zemel, R. — “Predict Responsibly: Improving Fairness and Accuracy by Learning to Defer,” 2018.

Mozannar, H.; Sontag, D. — consistent estimators for learning to defer, 2020.

Pettigrew, R. — Accuracy and the Laws of Credence, 2016.

Shafer, G. — A Mathematical Theory of Evidence, 1976.

Smarandache, F. — neutrosophic set theory, 1998.

Smarandache, F. — “n-Valued Refined Neutrosophic Logic and Its Applications to Physics,” arXiv:1407.1041, 2014.

Smets, P. — the transferable belief model, 1990.

Vovk, V.; Gammerman, A.; Shafer, G. — Algorithmic Learning in a Random World, 2005.

Walley, P. — Statistical Reasoning with Imprecise Probabilities, 1991.

Wiśniewski, A. — The Posing of Questions: Logical Foundations of Erotetic Inferences, Kluwer, 1995.

Yager, R. — on the Dempster-Shafer framework and related conflict measures, 1987.

Dezert, J.; Smarandache, F. — PCR6 combination rule.

Leyva-Vázquez, M. — “Typed Evaluation Models and the Collapse Between Conflict and Ignorance: A Case Study on Jev,” Neutrosophic Computing and Machine Learning, Vol. 45, 2026. https://fs.unm.edu/NCML_2/index.php/NCML/article/view/186

Leyva-Vázquez, M.; Smarandache, F. — institutional-prestige bias in LLMs, Neutrosophic Computing and Machine Learning, Vol. 44, 2026, pp. 54–63.

Downloads

Publicado

2026-09-21

Edição

Secção

Semantics of typed indeterminacy