Data Mining Meets Logic: Situation-Based Modal Logic and Metadata Veracity
DOI:
https://doi.org/10.23756/sp.v13i1.1658Keywords:
Modal logic, Situation semantics, Metadata veracityAbstract
Logic and theoretical computer science are deeply interconnected, with logic forming a foundational pillar in the emergence of computer science. This connection has grown stronger over time, driven by advancements in symbolic systems within artificial intelligence, formal verification methods, and automated reasoning techniques. However, within the vast landscape of computer science, data science remains an area where the link to logic is relatively underdeveloped. In this paper, I apply algebraic logic to address an urgent challenge for data scientists: metadata veracity. Inspired byWillard Van Orman Quine’s well-known slogan, “No entity without identity”, I propose, “No data without metadata”, underscoring the importance of descriptive metadata in scientific articles. The central idea of my framework is that the geometric zones of a scientific article – with its atomic metadata – , correspond to an algebraic situation space. Consequently, I develop a situation-based semantics grounded on the idea that situations are portions of a possible world, a possible world is a PDF document and that sentences point to situations and describe what is going on in them. Applying mathematical logic tools to data mining enables a rigorous framework for defining metadata veracity, offering a structured approach to assess the accuracy and reliability of extracted information.
Downloads
References
L. Berti- ´ Equille and J. Borge-Holthoefer. Introduction to Data Veracity. In: Veracity of Data. Synthesis Lectures on Data Management. Springer, 2016.
C. Batini, A. Rula, M. Scannapieco and G. Viscusi. From data quality to big data quality. Journal Of Database Management, 26 (1), pp. 60–82, 2015.
C. Batini and M. Scannapieca. Data Quality. Concepts, Methodologies and Techniques. Springer, Berlin, 2006.
S. Cuconato. A Four-Valued Epistemic Logic for Metadata Modelling from Medical Articles on Pain Therapies. In: Das, A.K., Nayak, J., Naik, B., Vimal, S., Pelusi, D. (eds.) Computational Intelligence in Pattern Recognition. CIPR 2023. Lecture Notes in Networks and Systems, vol 725. pp. 631–640. Springer, Singapore, 2023.
W.V. Quine. Ontological relativity and other essays. Columbia University Press, New York, 1969.
D. Tkaczyk, P. Szostek, P. Jan Dendek, M. Fedoryszak, Ł Bolikowski. CERMINE: automatic extraction of structured metadata from scientific literature. International Journal on Document Analysis and Recognition, 18(4), pp. 317–35, 2015.
S. Cuconato. Modal Logic, Probability and Machine Learning Systems for Metadata Extraction. Ratio Mathematica, 53, 2024. (forthcoming)
S. Cuconato. A Logical Language for Reasoning about Democratic
Decision-Making. Proceedings of 1th International Conference
on Advanced Network Technologies and Computational Intelligence.
ICANTCI 2024. In: Singh, J., Goyal, S.B., Kumar, M., Mittall, R. (eds.)
Advanced Network Technologies and Computational Intelligence. Lecture Notes in Communications in Computer and Information Science, Springer, 2025. (forthcoming)
A. Giordani. Situation-Based Connexive Logic. Studia Logica, 112, pp. 295–323, 2024.
J. Austin. Truth. Proceedings of the Aristotelian Society, Supplementary Volume, 24, pp. 111–128, 1950).[11] K. Fine. A theory of truth-maker content I: Conjunction, disjunction and
negation. Journal of Philosophical Logic, 46, pp. 625–674, 2017.
K. Fine. A theory of truth-maker content II: Subject-matter, common content, remainder and ground. Journal of Philosophical Logic, 46, pp. 675– 702, 2017.
J. Barwise. The Situation in Logic. Center for the Study of Language (CSLI), Stanford, 1989.
G. Gr¨atzer. General Lattice Theory. Birkh¨auser Basel, Springer, 1978.
M. Lundborg, J. Lidmar and B. Hess. On the Path to Optimal Alchemistry. The Protein Journal, 42, pp. 477–489, 2023.
F. Berto. Existence as a Real Property. The Ontology of Meinongianism. Springer, 2013.
S. Cuconato. Oggetti Matematici Non-Esistenti come Truthmakers: Meinonghianismo e l’Argomento di Indispensabilit`a. Rivista di Estetica, 85 (1/24), pp. 168–183, 2024.
A. Das, S. Negri. Automated Reasoning with Analytic Tableaux and Related Methods. 30th International Conference, TABLEAUX 2021, Birmingham, UK, 2021.
P. Mancosu, S. Galvan and R. Zach. An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs. Oxford University Press, Oxford, 2021.
S. Cuconato. Ja´skowski–Fitch Natural Deduction Proofs for Metadata Extraction through Machine Learning Systems. Proceedings of 6th International Conference on Computation Intelligence in Pattern Recognition. CIPR 2024. In: Das, A.K., Nayak, J., Naik, B., Vimal, S., Pelusi, D. (eds.) Computational Intelligence in Pattern Recognition. Lecture Notes in Networks and Systems, Springer, 2025. (forthcoming)
M. Aiello, I. Pratt-Hartmann and J. van Benthem (eds.). Handbook of Spatial Logics. Springer, 2007.
Downloads
Published
Issue
Section
License
This journal provides immediate open access to its content on the principle that making research freely available to the public supports a greater global exchange of knowledge. The journal is committed to real and immediate open access for academic work. All of the journal articles are free to access immediately from the date of publication. There are no charge for readers to download articles and reviews for their own scholarly use. Benefits of open access for authors, include:
- Free access for all users worldwide
- Increased visibility and readership
- Rapid publication
- No spatial constraints
- Authors can share their research papers on their personal web-pages (i.e. ResearchGate, etc.)
Copyright and Licensing Terms
SCIENCE & PHILOSOPHY publishes open access articles under the terms of the Creative Commons Attribution (CC BY) License. The Creative Commons Attribution License (CC-BY) allows users to copy, distribute and transmit an article, adapt the article and make commercial use of the article. The CC BY license permits commercial and non-commercial re-use of an open-access article, as long as the author is properly attributed. Copyright on any research article published by SCIENCE & PHILOSOPHY is retained by the author(s). Authors grant SCIENCE & PHILOSOPHY a license to publish the article and identify itself as the original publisher. Authors also grant any third party the right to use the article freely as long as its original authors, citation details and publisher are identified.
For further information visit: https://creativecommons.org/licenses/by/3.0/. The following logo will appear in any paper that will be published from the volume number 31/2016 onwards:
