scholarly journals On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics

Author(s):  
Jesse Heyninck ◽  
Gabriele Kern-Isberner ◽  
Matthias Thimm ◽  
Kenneth Skiba

AbstractThe exact relationship between formal argumentation and nonmonotonic logics is a research topic that keeps on eluding researchers despite recent intensified efforts. We contribute to a deeper understanding of this relation by investigating characterizations of abstract dialectical frameworks in conditional logics for nonmonotonic reasoning. We first show that in general, there is a gap between argumentation and conditional semantics when applying several intuitive translations, but then prove that this gap can be closed when focusing on specific classes of translations.

2021 ◽  
Author(s):  
Jesse Heyninck ◽  
Gabriele Kern-Isberner ◽  
Tjitze Rienstra ◽  
Kenneth Skiba ◽  
Matthias Thimm

For propositional beliefs, there are well-established connections between belief revision, defeasible conditionals and nonmonotonic inference. In argumentative contexts, such connections have not yet been investigated. On the one hand, the exact relationship between formal argumentation and nonmonotonic inference relations is a research topic that keeps on eluding researchers despite recently intensified efforts, whereas argumentative revision has been studied in numerous works during recent years. In this paper, we show that similar relationships between belief revision, defeasible conditionals and nonmonotonic inference hold in argumentative contexts as well. We first define revision operators for abstract dialectical frameworks, and use such revision operators to define dynamic conditionals by means of the Ramsey test. We show that such conditionals can be equivalently defined using a total preorder over three-valued interpretations, and study the inferential behaviour of the resulting conditional inference relations.


AI Magazine ◽  
2008 ◽  
Vol 29 (4) ◽  
pp. 69 ◽  
Author(s):  
Gerhard Brewka ◽  
Ilkka Niemela ◽  
Miroslaw Truszczynski

We give an overview of the multifaceted relationship between nonmonotonic logics and preferences. We discuss how the nonmonotonicity of reasoning itself is closely tied to preferences reasoners have on models of the world or, as we often say here, possible belief sets. Selecting extended logic programming with the answer-set semantics as a "generic" nonmonotonic logic, we show how that logic defines preferred belief sets and how preferred belief sets allow us to represent and interpret normative statements. Conflicts among program rules (more generally, defaults) give rise to alternative preferred belief sets. We discuss how such conflicts can be resolved based on implicit specificity or on explicit rankings of defaults. Finally, we comment on formalisms which explicitly represent preferences on properties of belief sets. Such formalisms either build preference information directly into rules and modify the semantics of the logic appropriately, or specify preferences on belief sets independently of the mechanism to define them.


2021 ◽  
Author(s):  
Jesse Heyninck ◽  
Ofer Arieli

Approximation fixpoint theory (AFT) constitutes an abstract and general algebraic framework for studying the semantics of nonmonotonic logics. It provides a unifying study of the semantics of different formalisms for nonmonotonic reasoning, such as logic programming, default logic and autoepistemic logic. In this paper, we extend AFT to non-deterministic constructs such as disjunctive information. This is done by generalizing the main constructions and corresponding results to non-deterministic operators, whose ranges are sets of elements rather than single elements. The applicability and usefulness of this generalization is illustrated in the context of disjunctive logic programming.


The work of multilayer glass structures for central and eccentric compression and bending are considered. The substantiation of the chosen research topic is made. The description and features of laminated glass for the structures investigated, their characteristics are presented. The analysis of the results obtained when testing for compression, compression with bending, simple bending of models of columns, beams, samples of laminated glass was made. Overview of the types and nature of destruction of the models are presented, diagrams of material operation are constructed, average values of the resistance of the cross-sections of samples are obtained, the table of destructive loads is generated. The need for development of a set of rules and guidelines for the design of glass structures, including laminated glass, for bearing elements, as well as standards for testing, rules for assessing the strength, stiffness, crack resistance and methods for determining the strength of control samples is emphasized. It is established that the strength properties of glass depend on the type of applied load and vary widely, and significantly lower than the corresponding normative values of the strength of heat-strengthened glass. The effect of the connecting polymeric material and manufacturing technology of laminated glass on the strength of the structure is also shown. The experimental values of the elastic modulus are different in different directions of the cross section and in the direction perpendicular to the glass layers are two times less than along the glass layers.


An essential text for accounting and finance students undertaking research for the first time. It demystifies the research process by providing the novice researcher with a must-have guide through all of the stages of the research process, from identifying a research topic to the finished project.


Author(s):  
Navid Gohardani

Historiography marks a relatively unexplored research domain in architecture. Despite the obscure nature of this subject matter, architectural historiography equally illuminates a hidden pathway to the historical interaction of architecture with art or literature. Critical historiography adds another dimension to this emerging research topic that further encapsulates multiple levels of criticism. In recognition of a growing interest for historiography, it can be argued that the critical aspects of historiography may serve as crucial instruments for an enhanced understanding of architectural historiography. In this article, the realm of architectural historiography is investigated through a multidisciplinary perspective that revisits architectural criticism, critical historiography, modern architecture, phenomenology, and a number of aspects of architectural historiography in the Swedish Million Homes Program.


Author(s):  
فتحي بن جمعة أحمد

ملخص البحث تعدّ هذه المحاولة في دراسة مجالات التفسير الموضوعي ومنهجية البحث فيه  مفتاحا لبعض القضايا المتعلقة بالموضوع، ومدخلا لدراسة التفسير الموضوعي يسهل على طلاب العلم والباحثين فهم كلام الله، وتدبر معانيه، والاهتداء به، والقيام ببحوث تطبيقية في مجالات التفسير الموضوعي. فقد بينت أن مجالات البحث في التفسير الموضوعي أربعة وهي البحث في المصطلح، والموضوع، والمحاور، والوحدة الموضوعيّة في السورة القرآنيّة. وقد أكدت أن البحث في محاور القرآن الكريم من مجالات البحث في التفسير الموضوعي التي لم تحظَ باهتمام الباحثين، ثم توسعت في سوق الأدلة والبراهين الدالة على أن الوحدة الموضوعية للسورة القرآنيّة مجال أساس من مجالات البحث في التفسير الموضوعي الذي لا ينبغي إغفاله، وإهمال شأنه. ثم بحثت في موضوع منهجيّة البحث في التفسير الموضوعي، ونظراً للخلط أوالاضطراب الذي بدا لدى بعض الباحثين في هذا الصدد، وضحت المقدمات المنهجيّة العامة الضرورية للبحث في التفسير الموضوعي ثم حاولت رسم الإطار التصوري والمنهجي العام والضوابط الأساسية التي يجب أن يتبعها الباحث إذا أراد الكتابة في التفسير الموضوعي. ثم بيّنت الخطوات الأساسيّة للبحث في التفسير الموضوعي ومنها حرية الباحث في اختيار موضوع بحثه والاطلاع على أكبر عدد ممكن من التفاسير بمختلف أنواعها مع الاستفادة من التراث البشري في حقول المعرفة المتنوعة على أن تكون الهيمنة للقرآن أولا وأخيرا على الكتب الأخرى والنظريات البشرية. الكلمات الرئيسة: القرآن، تفسير، موضوعي، مجالات، منهج. Abstract This article is an attempt to address the issue of the scopes and research methodology in the thematic commentary of the Holy Qur’Én. It could be considered as an introductory work for students and researchers who are interested in this field of research which will help them develop a good understanding of the meanings and teachings of the Qur’Én and its application to the real life. It may also help them undertake case studies and research in the field of thematic commentary of the Qur’Én. It has been explained in the article that the scope of the thematic commentary of the Qur’Én includes four areas; i.e. the concept, the topic, the central themes and the thematic unity of the SËrah/Chapter. The article gives a special emphasis on the study of the Qur’Énic central themes as it was overlooked by some researchers. It also provides a systematic investigation on the thematic unity of the SËrah/Chapter and considers it a significant area of research in the thematic commentary of the Qur’Én. The article also addresses the issue of the research methodology in the field of the thematic commentary of the Qur’Én. In this regard, the author highlights the principles, conditions and framework for undertaking research projects in this field of study and explains the major steps that should be followed in the execution of the research. These steps include freedom of choosing the research topic, freedom of benefitting from different types of tafsÊr (interpretation of the Qur’Én) works and schools and benefitting from the human heritage in different fields of knowledge, provided that the Qur’Én should have controlling power on other books and human theories.   Key Words: The Qur’Én, TafsÊr, Thematic, Scopes, Methodology. Abstrak Artikel ini ialah satu percubaan menangani isu  skop dan metodologi penyelidikan dalam tafsiran Al-Qur’Én Holy mengikut tema. Ia boleh dianggap sebagai satu kajian permulaan untuk pelajar-pelajar dan sarjana-sarjana yang meminati bidang ini penyelidikan yang akan membantu mereka merangka satu pemahaman yang baik tentang makna-makna dan ajaran-ajaran Qur’Én dan perlaksanaannya dalam kehidupan sebenar. Ia mungkin juga  dapat membantu mereka menjalankan kajian kes dalam bidang penyelidikan tafsiran Al-Qur’Én mengikut tema. Artikel ini akan menjelaskan  skop tafsiran Al-Qur’Én mengikut  tema ini merangkumi empat bidang:  konsep tafsiran mengikut tema, topiknya, tema-tema kecil dan tema umum Surah Al-Qur’Én. Artikel ini memberi satu penekanan khas pada kajian tafsiran Al-Qur’Én mengikut  tema kerana ia agak kurang mendapat perhatian beberapa penyelidik. Ia juga menampilkan satu kajian sistematik pada pemahaman tema Surah dalam Al-Qur’Én dan menganggapnya satu bidang penyelidikan penting dalam kajian tafsiran Al-Qur’Én mengikut tema. Artikel juga memberikan perhatian kepada bidang metodologi penyelidikan terhadap usaha tafsiran Al-Qur’Én secara bertema. Dalam hal ini, pengkaji akan menonjolkan prinsip-prinsip, syarat-syarat dan rangka kerja untuk projek-projek projek penyelidikan dalam lapangan ini dan menerangkan langkah-langkah utama yang harus diikuti dalam pelaksanaan penyelidikan yang berkenaan. Lang-langkah ini termasuk kebebasan memilih tajuk penyelidikan, kebebasan dalam mengambil  manfaat daripada jenis-jenis tafsiran Qur’Én yang berbeza serta sekolah-sekolah pemikiran yang berbeza dalam aliran tafsir serta rangka bagaimana memanfaatkan warisan tamadun manusia berlandaskan ajaran Al-Qur’Én. Kata Kunci: Al-Qur’Én, TafsÊr, Tema, Bidang-bidang, Metodologi.


Author(s):  
M.L. LEBEDEVA

The purpose of writing this article is to highlight the features of organization of the regional policy in France on the basis of the theoretical understanding of the concepts of regional policy, model of regional policy and policy analogy. The research topic is the content of the French policy of organizing a regional political space. The object of the research is the power technologies of regional policy. The systemstructural method, which considers political relations as an integral system of interconnections of phenomena and events of the political process, makes it possible to determine the main essential content of this research topic. Institutional approach involves the study of political institutions and their content. An analysis of Russian and foreign sources suggests that the main issue posed in the article is relevant at the present stage of development. The study is made possible on the basis of existing research. A comprehensive study of the conceptual theoretical characteristics of the regional policy as such allowed the author to identify the model and features of the political toolkit for the organization of thecenterregions relations in modern French Republic.


Detection and reorganization of text may save a lot of time while reproducing old books text and its chapters. This is really challenging research topic as different books may have different font types and styles. The digital books and eBooks reading habit is increasing day by day and new documents are producing every day. So in order to boost the process the text reorganization using digital image processing techniques can be used. This research work is using hybrid algorithms and morphological algorithms. For sample we have taken an letter pad where the text and images are separated using algorithms. The another objective of this research is to increase the accuracy of recognized text and produce accurate results. This research worked on two different concepts, first is concept of Pixel-level thresholding processing and another one is Otsu Method thresholding.


Sign in / Sign up

Export Citation Format

Share Document