Rule Extraction as a Formal Method

Author(s):  
Marjorie Darrah ◽  
Brian J. Taylor
2020 ◽  
Vol 11 (1) ◽  
pp. 127-130
Author(s):  
Alexander Lukankin ◽  

The post-socialist transformation of general and vocational education system has led to the loss of many positive gains that were already achieved earlier. The polytechnic character of our school and its practice-oriented foundations, based on a reasonable combination of basic education and professional and applied training, were seriously undermined. Modern Russian secondary schools have become something like pre-revolutionary classical high schools, without taking into account the significant fact that in pre-Soviet Russia, along with high schools, there was a wide network of real schools. They focused students on further mastering technical professions and active participation in the production sector of the country. Today we are witnessing a global revolution in the spiritual sphere, aimed at changing the very essence of a man. Note that natural science education is valuable not only for its formal method, but also for providing the basis for a correct understanding of the world. It fosters independence of thought and distrust of other people’s words and authorities. This is the best protection of the human mind from all sorts of superstitions delusions and mysticism.


Author(s):  
Mehmet Ulvi Simsek ◽  
Feyza Yildirim Okay ◽  
Suat Ozdemir

2021 ◽  
Vol 30 (4) ◽  
pp. 1-29
Author(s):  
Philipp Paulweber ◽  
Georg Simhandl ◽  
Uwe Zdun

Abstract State Machine (ASM) theory is a well-known state-based formal method. As in other state-based formal methods, the proposed specification languages for ASMs still lack easy-to-comprehend abstractions to express structural and behavioral aspects of specifications. Our goal is to investigate object-oriented abstractions such as interfaces and traits for ASM-based specification languages. We report on a controlled experiment with 98 participants to study the specification efficiency and effectiveness in which participants needed to comprehend an informal specification as problem (stimulus) in form of a textual description and express a corresponding solution in form of a textual ASM specification using either interface or trait syntax extensions. The study was carried out with a completely randomized design and one alternative (interface or trait) per experimental group. The results indicate that specification effectiveness of the traits experiment group shows a better performance compared to the interfaces experiment group, but specification efficiency shows no statistically significant differences. To the best of our knowledge, this is the first empirical study studying the specification effectiveness and efficiency of object-oriented abstractions in the context of formal methods.


2011 ◽  
Vol 8 (1) ◽  
pp. 41-57 ◽  
Author(s):  
Hiroshi Sakai ◽  
Hitomi Okuma ◽  
Michinori Nakata ◽  
Dominik Ślȩzak

1999 ◽  
Vol 20 (3) ◽  
pp. 273-280 ◽  
Author(s):  
R. Krishnan ◽  
G. Sivakumar ◽  
P. Bhattacharya

Sign in / Sign up

Export Citation Format

Share Document