首页|Researchers at University of Sannio Report New Data on Machine Learning (A Novel Classification Technique Based On Formal Methods)
Researchers at University of Sannio Report New Data on Machine Learning (A Novel Classification Technique Based On Formal Methods)
扫码查看
点击上方二维码区域，可以放大扫码查看
原文链接
NETL
NSTL
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."
BeneventoItalyEuropeCybersecurityCyborgsEmerging TechnologiesMachine LearningUniversity of Sannio
NETL
NSTL
