Theory and Practice of Algorithm Engineering
Jan Mendling, Beno\^it Depaire, Henrik Leopold

TL;DR
This paper proposes a comprehensive framework for algorithm engineering that integrates experimental evaluation and formal analysis, grounded in the philosophy of science, to enhance understanding and development of algorithms.
Contribution
It develops a unified theoretical framework combining empirical and formal methods in algorithm engineering based on philosophy of science concepts.
Findings
Framework integrates ontology, epistemology, and methodology.
Identifies seven validity concerns in algorithm research.
Discusses how to respond to falsification in algorithm studies.
Abstract
There is an ongoing debate in computer science how algorithms should best be studied. Some scholars have argued that experimental evaluations should be conducted, others emphasize the benefits of formal analysis. We believe that this debate less of a question of either-or, because both views can be integrated into an overarching framework. It is the ambition of this paper to develop such a framework of algorithm engineering with a theoretical foundation in the philosophy of science. We take the empirical nature of algorithm engineering as a starting point. Our theoretical framework builds on three areas discussed in the philosophy of science: ontology, epistemology and methodology. In essence, ontology describes algorithm engineering as being concerned with algorithmic problems, algorithmic tasks, algorithm designs and algorithm implementations. Epistemology describes the body of…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms · Ethics and Social Impacts of AI · AI-based Problem Solving and Planning
