Abstract:The concept of learning has multiple interpretations, ranging from acquiring knowledge or skills to constructing meaning and social development. Machine Learning (ML) is considered a branch of Artificial Intelligence (AI) and develops algorithms that can learn from data and generalize their judgment to new observations by exploiting primarily statistical methods. The new millennium has seen the proliferation of Artificial Neural Networks (ANNs), a formalism able to reach extraordinary achievements in complex problems such as computer vision and natural language recognition. In particular, designers claim that this formalism has a strong resemblance to the way the biological neurons operate. This work argues that although ML has a mathematical/statistical foundation, it cannot be strictly regarded as a science, at least from a methodological perspective. The main reason is that ML algorithms have notable prediction power although they cannot necessarily provide a causal explanation about the achieved predictions. For example, an ANN could be trained on a large dataset of consumer financial information to predict creditworthiness. The model takes into account various factors like income, credit history, debt, spending patterns, and more. It then outputs a credit score or a decision on credit approval. However, the complex and multi-layered nature of the neural network makes it almost impossible to understand which specific factors or combinations of factors the model is using to arrive at its decision. This lack of transparency can be problematic, especially if the model denies credit and the applicant wants to know the specific reasons for the denial. The model's "black box" nature means it cannot provide a clear explanation or breakdown of how it weighed the various factors in its decision-making process. Secondly, this work rejects the belief that a machine can simply learn from data, either in supervised or unsupervised mode, just by applying statistical methods. The process of learning is much more complex, as it requires the full comprehension of a learned ability or skill. In this sense, further ML advancements, such as reinforcement learning and imitation learning denote encouraging similarities to similar cognitive skills used in human learning.

Machine Learning Solutions to Model Checking: A Brief Literature Review

How to certify machine learning based safety-critical systems? A systematic literature review

The Challenges of Machine Learning: A Critical Review

Neural Model Checking

Model Learning: a Survey of Foundations, Tools and Applications

Software Testing for Machine Learning

Survey of Machine Learning for Software-assisted Hardware Design Verification: Past, Present, and Prospect

Safety Monitoring of Machine Learning Perception Functions: a Survey

Machine Learning for Reliability Engineering and Safety Applications: Review of Current Status and Future Opportunities

Machine learning and logic: a new frontier in artificial intelligence

Model driven engineering for machine learning components: A systematic literature review

Machine/Deep Learning for Software Engineering: A Systematic Literature Review

Integrating AI and Machine Learning in Quality Assurance for Automation Engineering

Machine Learning Approaches for Fake Reviews Detection: A Systematic Literature Review

Model-driven Engineering for Machine Learning Components: A Systematic Literature Review

Formal and Practical Elements for the Certification of Machine Learning Systems

The role of model checking in software engineering

Machine Learning Technique for Practical Engineering Use

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!

A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation

Taxonomy of Machine Learning Safety: A Survey and Primer