Metric for Security Activities assisted by Argumentative Logic

International audienceRecent security concerns related to future embedded systems make enforcement of security requirements one of the most critical phases when designing such systems. This paper introduces an approach for efficient enforcement of security requirements based on argumentative logic, especially reasoning about activation or deactivation of different security mechanisms under certain functional and non-functional requirements. In this paper, the argumentative logic is used to reason about the rationale behind dynamic enforcement of security policies

Advances of nanotechnology in agro-environmental studies

With the increase in the world population and the demand for food, new agricultural practices have been developed to improve food production through the use of more effective pesticides and fertilisers. These technologies can lead to an uncontrolled release of undesired substances into the environment, with the potential to contaminate soil and groundwater. Today, nanotechnology represents a promising approach to improve agricultural production and remediate polluted sites. This paper reviews the recent applications of nanotechnologies in agro-environmental studies with particular attention to the fate of nanomaterials once introduced in water and soil, to the advantages of their use and their possible toxicology. Findings show that the use of nanomaterials can improve the quality of the environment and help detect and remediate polluted sites. Only a small number of nanomaterials demonstrated potential toxic effects. These are discussed in detail

Network Security Supported by Arguments

Argumentation has been proved as a simple yet powerful approach to manage conflicts in reasoning with the purpose to find subsets of ?surviving? arguments. Our intent is to exploit such form of resolution to support the? administration of security in complex systems, e.g., in case threat countermeasures are in conflict with non-functional requirements. The proposed formalisation is able to find the required security controls and explicitly provide arguments supporting this selection. Therefore, an explanation automatically comes as part of the suggested solution, facilitating human comprehension

An Algorithmic Theory of the Policy Process

With a few exceptions, current theories of the policy process do not model or measure the policy process using the graphical process notations that are common within information science, business administration and many natural sciences. The reason is that in the post-war period the needs of business process analysis came to dominate social science applications of process science whilst the needs of public policy process analysis remained largely unaddressed. As a result, modern graphical process notations can encode and quantify the instrumental properties of cost and efficiency of a business process, but not the normative properties of transparency, accountability or legitimacy of the much more complex policy making process. There have been many other unfortunate consequences. Business process modelling evolved into business process reengineering and became a critical enabler of a period of unprecedented hyper-globalization commencing in the 1990’s. However, it did so by encoding and quantifying the instrumental dimensions of cost and efficiency of globalized production processes and not their normative dimensions of domestic employment and social welfare transfers. We live with the consequences to this day of the emergence of destabilizing populist national movements and rising security and defense tensions between former trading partners. However, in recent years, there have been several important new developments. Firstly, a new class of process modelling tools has emerged at the juncture of the disciplines of information science and business administration that can model much more complex governance and policy-making processes as rules based declarative process graphs instead of sequence based imperative process graphs. Secondly, information science is now introducing a capacity for normative reasoning and moral dilemma resolution into a range of technologies from multi-agent systems and artificial societies to self-driving vehicles and autonomous battle drones. This creates new opportunities for a collaboration between policy process analysis and information science to reengineer legacy policy making processes and organizations in terms of normatively driven declarative processes. Not only must these reengineered policy making processes score better against instrumental criteria of cost and efficiency but also against the normative criteria of transparency, accountability, and legitimacy. Consequently, the metrics presented in this dissertation re-connect public policy process analysis with the tools and results of decades of process research in the fields of information science, business administration and many natural sciences, and supports a new theory of the public policy process as an algorithm whose purpose is the generation of solutions to public goods allocation problems. To illustrate the principles of the techniques involved and the utility of the approach, a case study analysis and prediction of Chinese public health policy response to the COVID-19 pandemic of 2020/21 is presented

A PRISMA-driven systematic mapping study on system assurance weakeners

Context: An assurance case is a structured hierarchy of claims aiming at demonstrating that a given mission-critical system supports specific requirements (e.g., safety, security, privacy). The presence of assurance weakeners (i.e., assurance deficits, logical fallacies) in assurance cases reflects insufficient evidence, knowledge, or gaps in reasoning. These weakeners can undermine confidence in assurance arguments, potentially hindering the verification of mission-critical system capabilities. Objectives: As a stepping stone for future research on assurance weakeners, we aim to initiate the first comprehensive systematic mapping study on this subject. Methods: We followed the well-established PRISMA 2020 and SEGRESS guidelines to conduct our systematic mapping study. We searched for primary studies in five digital libraries and focused on the 2012-2023 publication year range. Our selection criteria focused on studies addressing assurance weakeners at the modeling level, resulting in the inclusion of 39 primary studies in our systematic review. Results: Our systematic mapping study reports a taxonomy (map) that provides a uniform categorization of assurance weakeners and approaches proposed to manage them at the modeling level. Conclusion: Our study findings suggest that the SACM (Structured Assurance Case Metamodel) -- a standard specified by the OMG (Object Management Group) -- may be the best specification to capture structured arguments and reason about their potential assurance weakeners

The Effects of Microblogging on Middle School Students\u27 Engagement and Critical Thinking

The purpose of this study was to examine the effect of microblogging as an authentic real-world technology in a middle school classroom in response to the 2010 Department of Education’s call to provide students with more relevant digital experiences. The non-equivalent control group, pretest-posttest design study was used to determine if microblogging used in a writing activity affected middle school students’ engagement and critical thinking. This study was important as it addressed the heretofore understudied middle school sector. This research used a convenience sample of 119 sixth-grade and seventh-grade language arts students in a suburban northwest Florida public middle school. Students completed pretests and posttests consisting of the National Center for School Engagement (NCSE) Student Survey and the Cornell Critical Thinking Test (CCTT). Students in the experimental group used microblogging to complete an in-class writing activity, while the control group completed a traditional in-class writing activity without microblogging. The researcher used a mixed analysis of variance (ANOVA) and found statistically significant differences in engagement and critical thinking. It is recommended that additional studies be conducted using microblogging among middle school students

JURI SAYS:An Automatic Judgement Prediction System for the European Court of Human Rights

In this paper we present the web platform JURI SAYS that automatically predicts decisions of the European Court of Human Rights based on communicated cases, which are published by the court early in the proceedings and are often available many years before the final decision is made. Our system therefore predicts future judgements of the court. The platform is available at jurisays.com and shows the predictions compared to the actual decisions of the court. It is automatically updated every month by including the prediction for the new cases. Additionally, the system highlights the sentences and paragraphs that are most important for the prediction (i.e. violation vs. no violation of human rights)

Explainable Artificial Intelligence in Data Science: From Foundational Issues Towards Socio-technical Considerations

A widespread need to explain the behavior and outcomes of AI-based systems has emerged, due to their ubiquitous presence. Thus, providing renewed momentum to the relatively new research area of eXplainable AI (XAI). Nowadays, the importance of XAI lies in the fact that the increasing control transference to this kind of system for decision making -or, at least, its use for assisting executive stakeholders- already afects many sensitive realms (as in Politics, Social Sciences, or Law). The decision making power handover to opaque AI systems makes mandatory explaining those, primarily in application scenarios where the stakeholders are unaware of both the high technology applied and the basic principles governing the technological solu tions. The issue should not be reduced to a merely technical problem; the explainer would be compelled to transmit richer knowledge about the system (including its role within the informational ecosystem where he/she works). To achieve such an aim, the explainer could exploit, if necessary, practices from other scientifc and humanistic areas. The frst aim of the paper is to emphasize and justify the need for a multidisciplinary approach that is benefciated from part of the scientifc and philosophical corpus on Explaining, underscoring the particular nuances of the issue within the feld of Data Science. The second objective is to develop some arguments justifying the authors’ bet by a more relevant role of ideas inspired by, on the one hand, formal techniques from Knowledge Representation and Reasoning, and on the other hand, the modeling of human reasoning when facing the explanation. This way, explaining modeling practices would seek a sound balance between the pure technical justifcation and the explainer-explainee agreement.Agencia Estatal de Investigación PID2019-109152GB-I00/AEI/10.13039/50110001103

Reasoning with user's preferences in ambient assisted living environments

Understanding the importance of preference management in ambient intelligent environments is key to providing systems that are better prepared to meet users' expectations. Preferences are fundamental in decision making, so it is an essential element in developing systems that guides the choices of the users. These choices can be decided through argument(s) which are known to have various strengths, as one argument can rely on more certain or vital information than the other. The analysis of survey conducted on preferences handling techniques in Artificial Intelligence (AmI), indicates that most of existing techniques lack the ability to handle ambiguity and/or the evolution of preferences over time. Further investigation identified argumentation technique as a feasible solution to complement existing work. Argumentation provides a means to deal with inconsistent knowledge and we explored its potentials to handle conflicting users preferences by applying to it several real world scenarios. The exploration demonstrates the usefulness of argumentation in handling conflicting preferences and inconsistencies, and provides effective ways to manage, reason and represents user's preferences. Using argumentation technique, this research provide a practical implementation of a system to manage conflicting situations, along with a simple interface that aids the flow of preferences from users to the system, so as to provide services that are better aligned with the users' behaviour. This thesis also describes the functionalities of the implemented system, and illustrates the functions by solving some of the complexities in users' preferences in a real smart home. The system detects potential conflict(s), and solves them using a redefined precedence order among some preference criteria. The research further show how the implemented Hybrid System is capable of interacting with external source's data. The system was used to access and filter live data (groceries products) of a UK supermarket chain store, through their application programming interface (API), and advise users on their eating habits, based on their set preference(s)