scholarly journals Facilitating Meta-Theory Reasoning (Invited Paper)

2021 ◽  
Vol 337 ◽  
pp. 1-12
Author(s):  
Giselle Reis
Keyword(s):  
Theory Reasoning ◽  
Meta Theory

scholarly journals GERAKAN SOSIAL DAN NALAR ISLAM PROGRESIF: MENCARI TITIK TEMU KERANGKA METATEORI

2018 ◽  
Vol 1 (2) ◽  
pp. 281
Author(s):  
Ahmad Izudin
Keyword(s):  
Social Movements ◽  
Social Change ◽  
Social Class ◽  
Natural Resources ◽  
Social Movement ◽  
Turning Point ◽  
Human Beings ◽  
Important Position ◽  
New Social Movement ◽  
Meta Theory

This article will examine how progressive Islam’s reasoning can be a reference to free human beings from the exploitation and domination of social class? So what social movements can we do in the midst of crush the nation’s problems related to the exploitation of natural resources that increasingly vine? From this point on, I hope to get a meta-theory regulation that can be implied entirely for the benefit of society, in order to be free from exploitation and domination. To answer this important position, the discourse of social movements can be mapped into two, namely old social movement and new social movement. While Islam as a universal religion, there is no need to discuss theological-transcendental issues, but how the theology should create a new, more applicable avenue of dialectics to answer the question the rulers of powers domination. In the hope of a progressive, inclusive, open-minded, and pluralist theological doctrine. The results of this study may contribute to the development of science and the movement that became a turning point and reference in social change.[Artikel ini hendak mengkaji bagaimana nalar Islam progresif yang dapat menjadi acuan untuk membebaskan manusia dari eksploitasi dan dominasi kelas sosial? Lantas gerakan sosial apa yang dapat kita lakukan di tengah himpitan persoalan bangsa terkait eksploitasi sumber daya alam yang kian menggurita? Dari titik ini, maka saya berharap mendapat satu regulasi metateori yang bisa diimplikasikan sepenuhnya untuk kepentingan masyarakat, agar bisa terbebas dari ekspolitasi dan dominasi. Untuk menjawab posisi penting ini, maka diskursus gerakan sosial dapat dipetakan menjadi dua, yakni old social movement dan new social movement. Sementara Islam sebagai agama universal, tidak perlu lagi membahas persoalan teologis-transendental, tetapi bagaimana teologi itu harus menciptakan ruang dealektika baru yang lebih aplikatif menjawab persoalan dominasi kekuasaan para penguasa. Dengan harapan munculnya doktrin teologis yang progresif, inklusif, open-minded, dan pluralis. Hasil kajian ini semoga memberikan kontribusi bagi perkembangan ilmu pengetahuan dan gerakan yang menjadi titik balik dan acuan dalam perubahan sosial.]

scholarly journals An Abstract Contract Theory for Programs with Procedures

2021 ◽  
pp. 152-171
Author(s):  
Christian Lidström ◽  
Dilian Gurov
Keyword(s):  
Programming Languages ◽  
Contract Theory ◽  
Denotational Semantics ◽  
The Other ◽  
Hoare Logic ◽  
Basic Building Block ◽  
Sequential Programming ◽  
Modular Verification ◽  
The One ◽  
Meta Theory

AbstractWhen developing complex software and systems, contracts provide a means for controlling the complexity by dividing the responsibilities among the components of the system in a hierarchical fashion. In specific application areas, dedicated contract theories formalise the notion of contract and the operations on contracts in a manner that supports best the development of systems in that area. At the other end, contract meta-theories attempt to provide a systematic view on the various contract theories by axiomatising their desired properties. However, there exists a noticeable gap between the most well-known contract meta-theory of Benveniste et al. [5], which focuses on the design of embedded and cyber-physical systems, and the established way of using contracts when developing general software, following Meyer’s design-by-contract methodology [18]. At the core of this gap appears to be the notion of procedure: while it is a central unit of composition in software development, the meta-theory does not suggest an obvious way of treating procedures as components.In this paper, we provide a first step towards a contract theory that takes procedures as the basic building block, and is at the same time an instantiation of the meta-theory. To this end, we propose an abstract contract theory for sequential programming languages with procedures, based on denotational semantics. We show that, on the one hand, the specification of contracts of procedures in Hoare logic, and their procedure-modular verification, can be cast naturally in the framework of our abstract contract theory. On the other hand, we also show our contract theory to fulfil the axioms of the meta-theory. In this way, we give further evidence for the utility of the meta-theory, and prepare the ground for combining our instantiation with other, already existing instantiations.

scholarly journals Deep Network Guided Proof Search

10.29007/8mwc ◽  
2018 ◽  
Author(s):  
Sarah Loos ◽  
Geoffrey Irving ◽  
Christian Szegedy ◽  
Cezary Kaliszyk
Keyword(s):  
Deep Learning ◽  
Program Analysis ◽  
Network Models ◽  
Theorem Prover ◽  
Neural Network Models ◽  
Two Phase ◽  
First Order ◽  
Proof Search ◽  
System Verification ◽  
Theory Reasoning

Deep learning techniques lie at the heart of several significant AI advances in recent years including object recognition and detection, image captioning, machine translation, speech recognition and synthesis, and playing the game of Go.Automated first-order theorem provers can aid in the formalization and verification of mathematical theorems and play a crucial role in program analysis, theory reasoning, security, interpolation, and system verification.Here we suggest deep learning based guidance in the proof search of the theorem prover E. We train and compare several deep neural network models on the traces of existing ATP proofs of Mizar statements and use them to select processed clauses during proof search. We give experimental evidence that with a hybrid, two-phase approach, deep learning based guidance can significantly reduce the average number of proof search steps while increasing the number of theorems proved.Using a few proof guidance strategies that leverage deep neural networks, we have found first-order proofs of 7.36% of the first-order logic translations of the Mizar Mathematical Library theorems that did not previously have ATP generated proofs. This increases the ratio of statements in the corpus with ATP generated proofs from 56% to 59%.

A Comparative Analysis of the Similar Word-formation Processes in English and Arabic

2020 ◽  
Vol 23 (4) ◽  
pp. 56-75
Author(s):  
Tareq Abdo Abdullah Al-Hamidi ◽  
Milana Abbasova ◽  
Azad Mammadov
Keyword(s):  
Comparative Analysis ◽  
Reference Material ◽  
Word Formation ◽  
Formation Processes ◽  
Future Studies ◽  
Similar Word ◽  
Arabic Linguistics ◽  
Research Findings ◽  
Linguistic Structures ◽  
Meta Theory

This paper sets out on a comparative analysis of similar word-formation processes in English and Arabic. In doing so, it hopes to emerge and serve as subsequent and reliable, albeit partial, reference material for English and Arabic linguistics, especially in reference to linguistic structures. The framework herein for the study and analysis of word-formation processes in both languages may also be applied in future studies and other genres, corpora, and texts. This study enriches the research findings and meta-theory in the field of linguistics, contributing to the current linguistic intellectualism trends. The specific processes discussed are acronyms, antonomasia, backformation, blending, borrowing, compounding, and derivation.

Sign in / Sign up

Export Citation Format

Share Document