Abstract
By a News Reporter-Staff News Editor at Robotics & Machine Learning Daily News Daily News-Current study results on Machine Learn ing have been published.According to news originating from Benevento,Italy,by NewsRx correspondents,research stated,"In last years,we are witnessing a gro wing interest in the application of supervised machine learning techniques in th e most disparate fields.One winning factor of machine learning is represented b y its ability to easily create models,as it does not require prior knowledge ab out the application domain." Our news journalists obtained a quote from the research from the University of S annio,"Complementary to machine learning are formal methods,that intrinsically offer safeness check and mechanism for reasoning on failures.Considering the w eaknesses of machine learning,a new challenge could be represented by the use o f formal methods.However,formal methods require the expertise of the domain,k nowledge about modeling language with its semantic and mathematical rigour to sp ecify properties.In this article,we propose a novel learning technique based o n the adoption of formal methods for classification thanks to the automatic gene ration both of the formula and of the model.In this way the proposed method doe s not require any human intervention and thus it can be applied also to complex/ large datasets.This leads to less effort both in using formal methods and in a better explainability and reasoning about the obtained results."
NETL
NSTL