scholarly journals On the Responsibility for Undecisiveness in Preferred and Stable Labellings in Abstract Argumentation (Extended Abstract)

2019 ◽  
Author(s):  
Claudia Schulz ◽  
Francesca Toni
Keyword(s):  
General Question ◽  
Abstract Argumentation ◽  
Stable Semantics ◽  
High Level ◽  
The Given ◽  
Different Levels

Different semantics of abstract Argumentation Frameworks (AFs) provide different levels of decisiveness for reasoning about the acceptability of conflicting arguments.The stable semantics is useful for applications requiring a high level of decisiveness, as it assigns to each argument the label "accepted" or the label "rejected". Unfortunately, stable labellings are not guaranteed to exist, thus raising the question as to which parts of AFs are responsible for the non-existence. In this paper, we address this question by investigating a more general question concerning preferred labellings (which may be less decisive than stable labellings but are always guaranteed to exist), namely why a given preferred labelling may not be stable and thus undecided on some arguments. In particular, (1) we give various characterisations of parts of an AF, based on the given preferred labelling, and (2) we show that these parts are indeed responsible for the undecisiveness if the preferred labelling is not stable. We then use these characterisations to explain the non-existence of stable labellings.

Bipolar Abstract Argumentation with Dual Attacks and Supports

2020 ◽  
Author(s):  
Nico Potyka
Keyword(s):  
Computational Complexity ◽  
Decision Problems ◽  
Abstract Argumentation ◽  
Stable Semantics ◽  
Support Relations ◽  
Support Relationships ◽  
Computational Properties ◽  
Inherent Tendency

Bipolar abstract argumentation frameworks allow modeling decision problems by defining pro and contra arguments and their relationships. In some popular bipolar frameworks, there is an inherent tendency to favor either attack or support relationships. However, for some applications, it seems sensible to treat attack and support equally. Roughly speaking, turning an attack edge into a support edge, should just invert its meaning. We look at a recently introduced bipolar argumentation semantics and two novel alternatives and discuss their semantical and computational properties. Interestingly, the two novel semantics correspond to stable semantics if no support relations are present and maintain the computational complexity of stable semantics in general bipolar frameworks.

scholarly journals Aircraft Requirements for Sustainable Regional Aviation

Aerospace ◽  
2021 ◽  
Vol 8 (3) ◽  
pp. 61
Author(s):  
Dominik Eisenhut ◽  
Nicolas Moebs ◽  
Evert Windels ◽  
Dominique Bergmann ◽  
Ingmar Geiß ◽  
...  
Keyword(s):  
Systems Engineering ◽  
System Level ◽  
Policy Initiative ◽  
The European Union ◽  
Calculation Methods ◽  
Figures Of Merit ◽  
Performance Requirements ◽  
High Level ◽  
Different Levels ◽  
The Eu

Recently, the new Green Deal policy initiative was presented by the European Union. The EU aims to achieve a sustainable future and be the first climate-neutral continent by 2050. It targets all of the continent’s industries, meaning aviation must contribute to these changes as well. By employing a systems engineering approach, this high-level task can be split into different levels to get from the vision to the relevant system or product itself. Part of this iterative process involves the aircraft requirements, which make the goals more achievable on the system level and allow validation of whether the designed systems fulfill these requirements. Within this work, the top-level aircraft requirements (TLARs) for a hybrid-electric regional aircraft for up to 50 passengers are presented. Apart from performance requirements, other requirements, like environmental ones, are also included. To check whether these requirements are fulfilled, different reference missions were defined which challenge various extremes within the requirements. Furthermore, figures of merit are established, providing a way of validating and comparing different aircraft designs. The modular structure of these aircraft designs ensures the possibility of evaluating different architectures and adapting these figures if necessary. Moreover, different criteria can be accounted for, or their calculation methods or weighting can be changed.

scholarly journals Mutual Impact between Clock Gating and High Level Synthesis in Reconfigurable Hardware Accelerators

Electronics ◽  
2021 ◽  
Vol 10 (1) ◽  
pp. 73
Author(s):  
Francesco Ratto ◽  
Tiziana Fanni ◽  
Luigi Raffo ◽  
Carlo Sau
Keyword(s):  
Low Power ◽  
Integrated Circuit ◽  
Systems Design ◽  
Hardware Acceleration ◽  
High Level Synthesis ◽  
Clock Gating ◽  
Technology Application ◽  
Positive Effects ◽  
High Level ◽  
Different Levels

With the diffusion of cyber-physical systems and internet of things, adaptivity and low power consumption became of primary importance in digital systems design. Reconfigurable heterogeneous platforms seem to be one of the most suitable choices to cope with such challenging context. However, their development and power optimization are not trivial, especially considering hardware acceleration components. On the one hand high level synthesis could simplify the design of such kind of systems, but on the other hand it can limit the positive effects of the adopted power saving techniques. In this work, the mutual impact of different high level synthesis tools and the application of the well known clock gating strategy in the development of reconfigurable accelerators is studied. The aim is to optimize a clock gating application according to the chosen high level synthesis engine and target technology (Application Specific Integrated Circuit (ASIC) or Field Programmable Gate Array (FPGA)). Different levels of application of clock gating are evaluated, including a novel multi level solution. Besides assessing the benefits and drawbacks of the clock gating application at different levels, hints for future design automation of low power reconfigurable accelerators through high level synthesis are also derived.

scholarly journals Application of an Artificial Neural Network to Automate the Measurement of Kinematic Characteristics of Punches in Boxing

2021 ◽  
Vol 11 (3) ◽  
pp. 1223
Author(s):  
Ilshat Khasanshin
Keyword(s):  
Neural Network ◽  
Artificial Neural Network ◽  
Kinematic Parameters ◽  
Constant Control ◽  
Measurement Units ◽  
Artificial Neural ◽  
Artificial Neural Network Ann ◽  
Effective Development ◽  
High Level ◽  
Different Levels

This work aimed to study the automation of measuring the speed of punches of boxers during shadow boxing using inertial measurement units (IMUs) based on an artificial neural network (ANN). In boxing, for the effective development of an athlete, constant control of the punch speed is required. However, even when using modern means of measuring kinematic parameters, it is necessary to record the circumstances under which the punch was performed: The type of punch (jab, cross, hook, or uppercut) and the type of activity (shadow boxing, single punch, or series of punches). Therefore, to eliminate errors and accelerate the process, that is, automate measurements, the use of an ANN in the form of a multilayer perceptron (MLP) is proposed. During the experiments, IMUs were installed on the boxers’ wrists. The input parameters of the ANN were the absolute acceleration and angular velocity. The experiment was conducted for three groups of boxers with different levels of training. The developed model showed a high level of punch recognition for all groups, and it can be concluded that the use of the ANN significantly accelerates the collection of data on the kinetic characteristics of boxers’ punches and allows this process to be automated.

scholarly journals Model-Driven Architectural Framework towards Safe and Secure Nuclear Power Reactors

Sensors ◽  
2021 ◽  
Vol 21 (15) ◽  
pp. 5136
Author(s):  
Bassem Ouni ◽  
Christophe Aussagues ◽  
Saadia Dhouib ◽  
Chokri Mraidha
Keyword(s):  
Nuclear Power ◽  
Nuclear Reactors ◽  
System Development ◽  
Levels Of Abstraction ◽  
Model Driven ◽  
Case System ◽  
Architectural Framework ◽  
Performance Check ◽  
High Level ◽  
Different Levels

Sensor-based digital systems for Instrumentation and Control (I&C) of nuclear reactors are quite complex in terms of architecture and functionalities. A high-level framework is highly required to pre-evaluate the system’s performance, check the consistency between different levels of abstraction and address the concerns of various stakeholders. In this work, we integrate the development process of I&C systems and the involvement of stakeholders within a model-driven methodology. The proposed approach introduces a new architectural framework that defines various concepts, allowing system implementations and encompassing different development phases, all actors, and system concerns. In addition, we define a new I&C Modeling Language (ICML) and a set of methodological rules needed to build different architectural framework views. To illustrate this methodology, we extend the specific use of an open-source system engineering tool, named Eclipse Papyrus, to carry out many automation and verification steps at different levels of abstraction. The architectural framework modeling capabilities will be validated using a realistic use case system for the protection of nuclear reactors. The proposed framework is able to reduce the overall system development cost by improving links between different specification tasks and providing a high abstraction level of system components.

Flattening of Affect and Personal Constructs

1970 ◽  
Vol 116 (530) ◽  
pp. 39-43 ◽  
Author(s):  
F. M. McPherson ◽  
Valerie Barden ◽  
A. Joan Hay ◽  
D. W. Johnstone ◽  
A. W. Kushner
Keyword(s):  
Emotional Expression ◽  
Emotional Response ◽  
Rater Agreement ◽  
Personal Constructs ◽  
Good Definition ◽  
Organic Psychoses ◽  
Tone Of Voice ◽  
High Level ◽  
The Given ◽  
Affective Flattening

Affective flattening is a disorder of emotional expression, of which a good definition is ‘a gross lack of emotional response to the given situation’ (Fish, 1962). It is a clinical sign whose assessment depends upon the clinician's intepretation of the patient's facial expression, tone of voice and content of talk (Harris ' Metcalfe, 1956). Although these are subtle cues, it has been shown that experienced clinicians can assess the severity of affective flattening with a high level of inter-rater agreement (Miller et al., 1953; Harris ' Metcaife, 1956; Wing, 1961; Dixon, 1968). The disorder is usually associated with a diagnosis of schizophrenia, although it may occur in other conditions, such as the organic psychoses (Bullock et al., 1951).

Levels of modeling of mechanisms of visually guided behavior

1987 ◽  
Vol 10 (3) ◽  
pp. 407-436 ◽  
Author(s):  
Michael A. Arbib
Keyword(s):  
Neural Circuits ◽  
Neural Circuitry ◽  
Learning Approach ◽  
Visually Guided ◽  
Visuomotor Coordination ◽  
Prey Recognition ◽  
High Level ◽  
Organizational Principles ◽  
Different Levels ◽  
Dextrous Hands

AbstractIntermediate constructs are required as bridges between complex behaviors and realistic models of neural circuitry. For cognitive scientists in general, schemas are the appropriate functional units; brain theorists can work with neural layers as units intermediate between structures subserving schemas and small neural circuits.After an account of different levels of analysis, we describe visuomotor coordination in terms of perceptual schemas and motor schemas. The interest of schemas to cognitive science in general is illustrated with the example of perceptual schemas in high-level vision and motor schemas in the control of dextrous hands.Rana computatrix, the computational frog, is introduced to show how one constructs an evolving set of model families to mediate flexible cooperation between theory and experiment. Rana computatrix may be able to do for the study of the organizational principles of neural circuitry what Aplysia has done for the study of subcellular mechanisms of learning. Approach, avoidance, and detour behavior in frogs and toads are analyzed in terms of interacting schemas. Facilitation and prey recognition are implemented as tectal-pretectal interactions, with the tectum modeled by an array of tectal columns. We show how layered neural computation enters into models of stereopsis and how depth schemas may involve the interaction of accommodation and binocular cues in anurans.

scholarly journals Saliency Detection by Multilevel Deep Pyramid Model

2018 ◽  
Vol 2018 ◽  
pp. 1-11 ◽  
Author(s):  
Hai Wang ◽  
Lei Dai ◽  
Yingfeng Cai ◽  
Long Chen ◽  
Yong Zhang
Keyword(s):  
Background Noise ◽  
State Of The Art ◽  
Saliency Detection ◽  
Saliency Map ◽  
Multiple Features ◽  
Low Level ◽  
Pyramid Model ◽  
High Level ◽  
Different Levels ◽  
Better Than

Traditional salient object detection models are divided into several classes based on low-level features and contrast between pixels. In this paper, we propose a model based on a multilevel deep pyramid (MLDP), which involves fusing multiple features on different levels. Firstly, the MLDP uses the original image as the input for a VGG16 model to extract high-level features and form an initial saliency map. Next, the MLDP further extracts high-level features to form a saliency map based on a deep pyramid. Then, the MLDP obtains the salient map fused with superpixels by extracting low-level features. After that, the MLDP applies background noise filtering to the saliency map fused with superpixels in order to filter out the interference of background noise and form a saliency map based on the foreground. Lastly, the MLDP combines the saliency map fused with the superpixels with the saliency map based on the foreground, which results in the final saliency map. The MLDP is not limited to low-level features while it fuses multiple features and achieves good results when extracting salient targets. As can be seen in our experiment section, the MLDP is better than the other 7 state-of-the-art models across three different public saliency datasets. Therefore, the MLDP has superiority and wide applicability in extraction of salient targets.

scholarly journals A Runtime System for XML Transformations in Java

2004 ◽  
Vol 11 (33) ◽  
Author(s):  
Aske Simon Christensen ◽  
Christian Kirkegaard ◽  
Anders Møller
Keyword(s):  
Static Analysis ◽  
Programming Language ◽  
Program Analysis ◽  
Companion Paper ◽  
General Purpose ◽  
Runtime System ◽  
Xml Documents ◽  
Level Data ◽  
High Level ◽  
The Given

We show that it is possible to extend a general-purpose programming language with a convenient high-level data-type for manipulating XML documents while permitting (1) precise static analysis for guaranteeing validity of the constructed XML documents relative to the given DTD schemas, and (2) a runtime system where the operations can be performed efficiently. The system, named Xact, is based on a notion of immutable XML templates and uses XPath for deconstructing documents. A companion paper presents the program analysis; this paper focuses on the efficient runtime representation.

scholarly journals Strategies to Overcome Translation Losses in the Novel “The Grapes of Wrath” by John Steinbeck to Achieve Adequacy in Translation

2020 ◽  
Vol 23 (4) ◽  
pp. 17-32
Author(s):  
Konul Khalilova ◽  
Irina Orujova
Keyword(s):  
John Steinbeck ◽  
Literary Texts ◽  
The Novel ◽  
Source Text ◽  
Grapes Of Wrath ◽  
Thought Patterns ◽  
Translation Techniques ◽  
Current Article ◽  
The Given ◽  
Different Levels

The current article involves the issues of losses, gains, or survivals contributing to literature in the process of translation. It represents a thorough study based on the novel “The Grapes of Wrath” by John Steinbeck from English and, respectively, its translation into Azerbaijani by Ulfet Kurchayli. It investigates the problematic areas or challenges emerging from the source-text discrepancies. Furthermore, this article also concentrates on the issue of cultural non-equivalence or the losses occurring in translating English literary texts into Azerbaijani. The paper identifies the translation techniques adopted by the translator of John Steinbeck’s The Grapes of Wrath. Adopting certain techniques rather than others has led to many losses on different levels. The translator’s important role as a cultural insider is also emphasized. The wide gap, distance, or the differences between the cultures, languages, and thought patterns of the English and Azerbaijani language speakers are the main factors resulting in various losses in the process of translation. Coping with these extra-linguistic constraints is harder than the linguistic ones as the translator has no choice in the given situations, deleting these elements from the TT or replacing them with elements that do not fit the context. This article aims at determining translation losses and gains, defining ways that the translator employs for compensating losses, through the analysis of John Steinbeck’s style in The Grapes of Wrath. The article concludes that there are some situations where the translation of a certain text from the SL into the TL embraces alteration in the whole informational content of the text, in the form of expressions or words.

Sign in / Sign up

Export Citation Format

Share Document