scholarly journals On Cycles, Attackers and Supporters --- A Contribution to The Investigation of Dynamics in Abstract Argumentation

2021 ◽  
Author(s):  
Ringo Baumann ◽  
Markus Ulbricht
Keyword(s):  
Knowledge Representation ◽  
Main Part ◽  
Research Area ◽  
Knowledge Representation And Reasoning ◽  
Major Research ◽  
Abstract Argumentation ◽  
Odd Cycle ◽  
The Impact ◽  
Odd Cycles

Abstract argumentation as defined by Dung in his seminal 1995 paper is by now a major research area in knowledge representation and reasoning. Dynamics of abstract argumentation frameworks (AFs) as well as syntactical consequences of semantical facts of them are the central issues of this paper. The first main part is engaged with the systematical study of the influence of attackers and supporters regarding the acceptability status of whole sets and/or single arguments. In particular, we investigate the impact of addition or removal of arguments, a line of research that has been around for more than a decade. Apart from entirely new results, we revisit, generalize and sum up similar results from the literature. To gain a comprehensive formal and intuitive understanding of the behavior of AFs we put special effort in comparing different kind of semantics. We concentrate on classical admissibility-based semantics and also give pointers to semantics based on naivity and weak admissibility, a recently introduced mediating approach. In the second main part we show how to infer syntactical information from semantical one. For instance, it is well-known that if a finite AF possesses no stable extension, then it has to contain an odd-cycle. In this paper, we even present a characterization of this issue. Moreover, we show that the change of the number of extensions if adding or removing an argument allows to conclude the existence of certain even or odd cycles in the considered AF without having further information.

scholarly journals On the Maximal Number of Complete Extensions in Abstract Argumentation Frameworks

2021 ◽  
Author(s):  
Markus Ulbricht
Keyword(s):  
Expressive Power ◽  
Research Area ◽  
Formal Proof ◽  
Knowledge Representation And Reasoning ◽  
Intrinsic Properties ◽  
Lower And Upper Bounds ◽  
Major Research ◽  
Exact Bound ◽  
Abstract Argumentation ◽  
Points Of View

Abstract argumentation frameworks are by now a major research area in knowledge representation and reasoning. Various aspects of AFs have been extensively studied over the last 25 years. Contributing to understanding the expressive power of AFs, researchers found lower and upper bounds for the maximal number of extensions, that is, acceptable points of view, in AFs. One of the classical and most important concepts in AFs are so-called complete extensions. Surprisingly, the exact bound for the maximal number of complete extensions in an AF has not yet been formally established, although there is a reasonable conjecture tracing back at least to 2015. Recently the notion of modularization was introduced and it was shown that this concept plays a key role for the understanding of relations between semantics as well as intrinsic properties. In this paper, we will use this property to give a formal proof of the conjecture regarding complete semantics.

scholarly journals Vertex-Transitive Direct Products of Graphs

10.37236/6999 ◽  
2018 ◽  
Vol 25 (2) ◽  
Author(s):  
Richard H. Hammack ◽  
Wilfried Imrich
Keyword(s):  
Direct Product ◽  
Direct Products ◽  
Odd Cycle ◽  
Vertex Transitive ◽  
Odd Cycles

It is known that for graphs $A$ and $B$ with odd cycles, the direct product $A\times B$ is vertex-transitive if and only if both $A$ and $B$ are vertex-transitive. But this is not necessarily true if one of $A$ or $B$ is bipartite, and until now there has been no characterization of such vertex-transitive direct products. We prove that if $A$ and $B$ are both bipartite, or both non-bipartite, then $A\times B$ is vertex-transitive if and only if both $A$ and $B$ are vertex-transitive. Also, if $A$ has an odd cycle and $B$ is bipartite, then $A\times B$ is vertex-transitive if and only if both $A\times K_2$ and $B$ are vertex-transitive.

scholarly journals Revisiting the Foundations of Abstract Argumentation – Semantics Based on Weak Admissibility and Weak Defense

2020 ◽  
Vol 34 (03) ◽  
pp. 2742-2749
Author(s):  
Ringo Baumann ◽  
Gerhard Brewka ◽  
Markus Ulbricht
Keyword(s):  
Classical Case ◽  
Research Area ◽  
Major Research ◽  
Abstract Argumentation ◽  
New Concepts ◽  
Key Concepts ◽  
Problematic Issue ◽  
Rigorous Study ◽  
Grounded Semantics ◽  
Special Case

In his seminal 1995 paper, Dung paved the way for abstract argumentation, a by now major research area in knowledge representation. He pointed out that there is a problematic issue with self-defeating arguments underlying all traditional semantics. A self-defeat occurs if an argument attacks itself either directly or indirectly via an odd attack loop, unless the loop is broken up by some argument attacking the loop from outside. Motivated by the fact that such arguments represent self-contradictory or paradoxical arguments, he asked for reasonable semantics which overcome the problem that such arguments may indeed invalidate any argument they attack. This paper tackles this problem from scratch. More precisely, instead of continuing to use previous concepts defined by Dung we provide new foundations for abstract argumentation, so-called weak admissibility and weak defense. After showing that these key concepts are compatible as in the classical case we introduce new versions of the classical Dung-style semantics including complete, preferred and grounded semantics. We provide a rigorous study of these new concepts including interrelationships as well as the relations to their Dung-style counterparts. The newly introduced semantics overcome the issue with self-defeating arguments, and they are semantically insensitive to syntactic deletions of self-attacking arguments, a special case of self-defeat.

scholarly journals Knowledge Representation and Reasoning — A History of DARPA Leadership

AI Magazine ◽  
2020 ◽  
Vol 41 (2) ◽  
pp. 9-21
Author(s):  
Richard Fikes ◽  
Tom Garvey
Keyword(s):  
Artificial Intelligence ◽  
Knowledge Representation ◽  
Knowledge Representation And Reasoning ◽  
Research Projects ◽  
Artificial Intelligence Research ◽  
Fundamental Goal ◽  
Computational Support ◽  
Intelligent Behavior ◽  
History Of ◽  
The Impact

A fundamental goal of artificial intelligence research and development is the creation of machines that demonstrate what humans consider to be intelligent behavior. Effective knowledge representation and reasoning methods are a foundational requirement for intelligent machines. The development of these methods remains a rich and active area of artificial intelligence research in which advances have been motivated by many factors, including interest in new challenge problems, interest in more complex domains, shortcomings of current methods, improved computational support, increases in requirements to interact effectively with humans, and ongoing funding from the Defense Advanced Research Projects Agency and other agencies. This article highlights several decades of advances in knowledge representation and reasoning methods, paying particular attention to research on planning and on the impact of the Defense Advanced Research Projects Agency’s support.

scholarly journals If Nothing Is Accepted -- Repairing Argumentation Frameworks

2019 ◽  
Vol 66 ◽  
pp. 1099-1145
Author(s):  
Markus Ulbricht ◽  
Ringo Baumann
Keyword(s):  
Knowledge Representation ◽  
Knowledge Base ◽  
Search Space ◽  
Knowledge Representation And Reasoning ◽  
Hitting Set ◽  
Abstract Argumentation ◽  
Conflicting Information ◽  
All Solutions ◽  
First Results ◽  
Grounded Semantics

Conflicting information in an agent's knowledge base may lead to a semantical defect, that is, a situation where it is impossible to draw any plausible conclusion. Finding out the reasons for the observed inconsistency (so-called diagnoses) and/or restoring consistency in a certain minimal way (so-called repairs) are frequently occurring issues in knowledge representation and reasoning. In this article we provide a series of first results for these problems in the context of abstract argumentation theory regarding the two most important reasoning modes, namely credulous as well as sceptical acceptance. Our analysis includes the following problems regarding minimal repairs/diagnoses: existence, verification, computation of one and enumeration of all solutions. The latter problem is tackled with a version of the so-called hitting set duality first introduced by Raymond Reiter in 1987. It turns out that grounded semantics plays an outstanding role not only in terms of complexity, but also as a useful tool to reduce the search space for diagnoses regarding other semantics.

Piezoelectric β-polymorph formation of new textiles by surface modification with coating process based on interfacial interaction on the conformational variation of poly (vinylidene fluoride) (PVDF) chains

2020 ◽  
Vol 91 (3) ◽  
pp. 31301
Author(s):  
Nabil Chakhchaoui ◽  
Rida Farhan ◽  
Meriem Boutaldat ◽  
Marwane Rouway ◽  
Adil Eddiai ◽  
...  
Keyword(s):  
High Efficiency ◽  
Vinylidene Fluoride ◽  
Research Work ◽  
Research Area ◽  
Interfacial Interaction ◽  
Tetraethyl Orthosilicate ◽  
Poly Vinylidene Fluoride ◽  
Carbon Nanofillers ◽  
The Impact ◽  
Advanced Applications

Novel textiles have received a lot of attention from researchers in the last decade due to some of their unique features. The introduction of intelligent materials into textile structures offers an opportunity to develop multifunctional textiles, such as sensing, reacting, conducting electricity and performing energy conversion operations. In this research work nanocomposite-based highly piezoelectric and electroactive β-phase new textile has been developed using the pad-dry-cure method. The deposition of poly (vinylidene fluoride) (PVDF) − carbon nanofillers (CNF) − tetraethyl orthosilicate (TEOS), Si(OCH2CH3)4 was acquired on a treated textile substrate using coating technique followed by evaporation to transform the passive (non-functional) textile into a dynamic textile with an enhanced piezoelectric β-phase. The aim of the study is the investigation of the impact the coating of textile via piezoelectric nanocomposites based PVDF-CNF (by optimizing piezoelectric crystalline phase). The chemical composition of CT/PVDF-CNC-TEOS textile was detected by qualitative elemental analysis (SEM/EDX). The added of 0.5% of CNF during the process provides material textiles with a piezoelectric β-phase of up to 50% has been measured by FTIR experiments. These results indicated that CNF has high efficiency in transforming the phase α introduced in the unloaded PVDF, to the β-phase in the case of nanocomposites. Consequently, this fabricated new textile exhibits glorious piezoelectric β-phase even with relatively low coating content of PVDF-CNF-TEOS. The study demonstrates that the pad-dry-cure method can potentially be used for the development of piezoelectric nanocomposite-coated wearable new textiles for sensors and energy harvesting applications. We believe that our study may inspire the research area for future advanced applications.

The Analyses of Learning Strategies in English as a Second Language: Theoretical Classification and Measurement Test

2020 ◽  
Vol 4 (2) ◽  
pp. 118-129
Author(s):  
Asti Gumartifa ◽  
◽  
Indah Windra Dwie Agustiani
Keyword(s):  
Language Learning ◽  
Learning Outcomes ◽  
Learning Strategies ◽  
Learning Process ◽  
English Learners ◽  
English Language ◽  
Point Of View ◽  
Effective Learning ◽  
The Impact

Gaining English language learning effectively has been discussed all years long. Similarly, Learners have various troubles outcomes in the learning process. Creating a joyful and comfortable situation must be considered by learners. Thus, the implementation of effective learning strategies is certainly necessary for English learners. This descriptive study has two purposes: first, to introduce the classification and characterization of learning strategies such as; memory, cognitive, metacognitive, compensation, social, and affective strategies that are used by learners in the classroom and second, it provides some questionnaires item based on Strategy of Inventory for Language Learning (SILL) version 5.0 that can be used to examine the frequency of students’ learning strategies in the learning process. The summary of this study explains and discusses the researchers’ point of view on the impact of learning outcomes by learning strategies used. Finally, utilizing appropriate learning strategies are certainly beneficial for both teachers and learners to achieve the learning target effectively.

The yield of perennial grass stands on drained organic soils of Steppe

2016 ◽  
Vol 1 (90) ◽  
pp. 92-97
Author(s):  
I.T. Slusar ◽  
V.A. Serbenyuk ◽  
A.N. Gera ◽  
A.P. Solyanik ◽  
A.A. Tarasenko
Keyword(s):  
Zinc Sulphate ◽  
Foliar Application ◽  
Perennial Grass ◽  
Mineral Fertilizer ◽  
Dry Weight ◽  
Research Area ◽  
Organic Soils ◽  
Growth Promoters ◽  
Cobalt Sulfate ◽  
The Impact

Research on the impact of the introduction of micro fertilizers and growth promoters on a background of mineral fertilizer and without N90R45К120 spent on old peat in shallow carbonate floodplain r.Supiy, Yahotyn Kyiv region. Power peat horizon about 60-70 cm, 7,4-7,6 pH of the aqueous extract, stupas schedule 56-60%, density 0,49-0,52 assembly soil, total nitrogen content (%) - 1.9; gross forms of phosphorus - 0,4, potassium 0.2, 20% lime. In experiments studying biological rehoplant, radustym, Biolan, emistim, Jets, humisol, plantafol, radyfarm and micronutrients: copper, boric acid, manganese sulphate, zinc sulphate, potassium humates. Treatment drugs conducted in the spring by spraying mixtures. Space research area of 60 m2, three-time repetition. It is established that the use of growth stimulants and micronutrients in the background N90R45К120 provided the highest yield mixtures of years, against making BIOLan - 9.9 t / ha Radyfarmu - 9.6 t / ha Radostymu 9.3 t / ha dry weight. In areas for making other preparations were intermediate yield growth rates - 0.5 - 2.0 t / ha dry weight. Also good gains herbage yields obtained by making all kinds of micronutrients and growth stimulants in the background without making makrodobryv which was within 5.3 - 6.9 t / ha to control without fertilization - 4.5 t / ha dry weight. In deep peat copper fertilizer (25 kg / ha of copper sulphate or 5 kg / ha pirytnoho cinders) in all zones should be making every 3-4 years, and zinc, cobalt and molybdenum advisable to make time for the growing season, spring, by foliar application in such numbers: ammonium molibdenovokyslyy - 0.3 kg / ha; cobalt sulfate - 3 kg / ha zinc sulphate 0.5 kg / ha or placers these salts should be mixed with major fertilizer.

scholarly journals Modulation of Gut Microbiota and Oxidative Status by β-Carotene in Late Pregnant Sows

2020 ◽  
Vol 7 ◽  
Author(s):  
Xupeng Yuan ◽  
Jiahao Yan ◽  
Ruizhi Hu ◽  
Yanli Li ◽  
Ying Wang ◽  
...  
Keyword(s):  
Gut Microbiota ◽  
Dietary Supplementation ◽  
Basal Diet ◽  
Fecal Microbiota ◽  
Control Group ◽  
Metabolic Activities ◽  
The Impact ◽  
Positive Effect ◽  
Β Carotene

Recent evidences suggest that gut microbiota plays an important role in regulating physiological and metabolic activities of pregnant sows, and β-carotene has a potentially positive effect on reproduction, but the impact of β-carotene on gut microbiota in pregnant sows remains unknown. This study aimed to explore the effect and mechanisms of β-carotene on the reproductive performance of sows from the aspect of gut microbiota. A total of 48 hybrid pregnant sows (Landrace × Yorkshire) with similar parity were randomly allocated into three groups (n = 16) and fed with a basal diet or a diet containing 30 or 90 mg/kg of β-carotene from day 90 of gestation until parturition. Dietary supplementation of 30 or 90 mg/kg β-carotene increased the number of live birth to 11.82 ± 1.54 and 12.29 ± 2.09, respectively, while the control group was 11.00 ± 1.41 (P = 0.201). Moreover, β-carotene increased significantly the serum nitric oxide (NO) level and glutathione peroxidase (GSH-Px) activity (P < 0.05). Characterization of fecal microbiota revealed that 90 mg/kg β-carotene increased the diversity of the gut flora (P < 0.05). In particular, β-carotene decreased the relative abundance of Firmicutes including Lachnospiraceae AC2044 group, Lachnospiraceae NK4B4 group and Ruminococcaceae UCG-008, but enriched Proteobacteria including Bilophila and Sutterella, and Actinobacteria including Corynebacterium and Corynebacterium 1 which are related to NO synthesis. These data demonstrated that dietary supplementation of β-carotene may increase antioxidant enzyme activity and NO, an important vasodilator to promote the neonatal blood circulation, through regulating gut microbiota in sows.

Sign in / Sign up

Export Citation Format

Share Document