AxiomaVox

AxiomaVox is a private research lab. Our work aims to provide new insights into public debate matters, through the mass collection of data and processing means combined with a unique, system-based analysis framework for decision-making. Our activities encompass the construction of a synthetic epistemology framework applicable to the understanding of various intersecting domains: modeling of information processing, ontological commitments and belief revision modalities in particular fields of research. We combine these formal tools at the crossroads of different fields: Mathematics (category theory, TDA...) Formal Epistemology (Kripkean semantics, Boolean algebra...) Computational semantics (distributional semantics...) Behavioural sciences (social network analysis…) Social sciences (behavioural economics, game theory, computational law…) Some of the directions involve, amongst other things: event modeling, semantic data extraction through barcodes and persistent homology, tableau-based decision-making algorithms in the context of SMT and SAT solvers, connections with intuitionist hybrid logic and descriptive logic, and the use of TDA for noisy datasets and language context-sensitivity. Potential applications include supervised ML methods combining predictive accuracy and understanding of the determining factors behind behaviours. In particular, our work illustrates the applicability of this framework to predictive analysis (e.g. Court decisions), as well as implications with regards to AI. We aim to increase the exploitability of available data, combining a mathematical approach to semantic integration with a unified paradigm for data analysis. Our work emphasises cross-disciplinary cooperation with increased mutualisation means. We strive towards a strong empirical basis, by designing experimental projects to test hypotheses. To do so, we collect data from the behavioural response to controlled parameter changes, with our partner project factory CerebroLink.