Choice logics and their computational properties

Qualitative Choice Logic (QCL) and Conjunctive Choice Logic (CCL) are formalisms for preference handling, with especially QCL being well established in the field of AI. So far, analyses of these logics need to be done on a case-by-case basis, albeit they share several common features. This calls for a more general choice logic framework, with QCL and CCL as well as some of their derivatives being particular instantiations. We provide such a framework, which allows us, on the one hand, to easily define new choice logics and, on the other hand, to examine properties of different choice logics in a uniform setting. In particular, we investigate strong equivalence, a core concept in non-classical logics for understanding formula simplification, and computational complexity. Our analysis also yields new results for QCL and CCL. For example, we show that the main reasoning task regarding preferred models is $\Theta^p_2$-complete for QCL and CCL, while being $\Delta^p_2$-complete for a newly introduced choice logic.Comment: This is an extended version of a paper of the same name to be published at IJCAI 202

Automated Reasoning

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book

Big Earth Data and Machine Learning for Sustainable and Resilient Agriculture

Big streams of Earth images from satellites or other platforms (e.g., drones and mobile phones) are becoming increasingly available at low or no cost and with enhanced spatial and temporal resolution. This thesis recognizes the unprecedented opportunities offered by the high quality and open access Earth observation data of our times and introduces novel machine learning and big data methods to properly exploit them towards developing applications for sustainable and resilient agriculture. The thesis addresses three distinct thematic areas, i.e., the monitoring of the Common Agricultural Policy (CAP), the monitoring of food security and applications for smart and resilient agriculture. The methodological innovations of the developments related to the three thematic areas address the following issues: i) the processing of big Earth Observation (EO) data, ii) the scarcity of annotated data for machine learning model training and iii) the gap between machine learning outputs and actionable advice. This thesis demonstrated how big data technologies such as data cubes, distributed learning, linked open data and semantic enrichment can be used to exploit the data deluge and extract knowledge to address real user needs. Furthermore, this thesis argues for the importance of semi-supervised and unsupervised machine learning models that circumvent the ever-present challenge of scarce annotations and thus allow for model generalization in space and time. Specifically, it is shown how merely few ground truth data are needed to generate high quality crop type maps and crop phenology estimations. Finally, this thesis argues there is considerable distance in value between model inferences and decision making in real-world scenarios and thereby showcases the power of causal and interpretable machine learning in bridging this gap.Comment: Phd thesi

HUMAN CONTROL OF ROBOTIC MECHANISMS: MODELLING AND ASSESSMENT OF ASSISTIVE DEVICES

The prescription and use of Assistive Technology, particularly teleprostheses, may be enhanced by the use of standard assessment techniques. For input devices, in particular, existing assessment studies, most of which are based on Fitts' Law, have produced contradictory results. This thesis has made contributions to these and related fields, particularly in the following four areas. Fitts' Law (and background information theory) is examined. The inability of this paradigm to match experimental results is noted and explained. Following a review of the contributing fields, a new method of assessing input devices is proposed, based on Fitts' Law, classical control and the concept of 'profiling'. To determine the suitability of the proposed method, it is applied to the results of over 2000 trials. The resulting analysis emphasises the importance of interaction effects and their influence on general comparison techniques for input devices. The process of verification has highlighted gain susceptability as a performance criterion which reflects user susceptability; a technique which may be particularly applicable to Assistive Technology.Dept. of Mechanical and Marine Engineerin

Towards a Gradual QCL Model for Database Querying

International audienc

Solid waste reduction management with special reference to developing countries

Sustainable development and the Triple Bottom Line integrated sustainability concept focus on the choices between the imperatives of economic efficiency, social development and environmental sustainability. Corporate governance is being imposed by stakeholders and corporate social responsibility is indicated as being the most important socio-environmental demand being made on contemporary leaders. The influence of idealism and realism on, and the reasons for failure of, solid waste reduction projects in terms of sustainability is the foundation of the theories postulated in this research. It is the objective of this research to identify the motivational factors, with special reference to developing countries, of social capital, including management processes leadership and people management, that will augment solid waste reduction projects that are lethargic at starting, or deteriorating, to achieve sustainability. The methodology is to review the literature available to identify the augmenting (motivational) factors, and use analytical philosophical and empirical research to test formulated constructs using hypotheses. The criterion for the research sample is to obtain the opinions of environmental specialists in South Africa using a questionnaire. The technique employed is multivariate data analysis to identify the type of interdependent relationships, including cluster and multidimensional scaling analyses. Hypothesis testing, in this research, leads to the conclusion that additional motivational factors are needed to support the economic imperatives to make the process sustainable. `Reality' is statistically significantly different to `idealistic'. The inference is that for solid waste reduction projects to succeed leaders from government and the private sector are required, through the use of legislation and taking into consideration the value of waste, to instil economic incentives. According to this research, personal values and belief systems have little to contribute to the process of sustainability. The outcome of this research provides a strategy-benchmarking-model that leaders can use to target and prioritise their efforts in respect of achieving success with waste projects. The contribution it makes to the knowledge base of the subject and responsible leadership is contained in its summation of the augmenting factors required, their relative importance, and the lessening of the complexity of approach to these projects.Graduate School of Business LeadershipD.B.L

Relationships, Personal Communities and Visible Facial Difference

People with visible facial difference often experience other people reacting negatively to their appearance. For many, this is part of everyday life. Research has identified social support as critical in adaptation processes. This is the case both for those whose facial difference was apparent at birth, and those who experienced injury or illness. There is a lack of a comprehensive theoretical construct for exploring how personal communities provide resources needed by adults to live well with visible facial difference. The combination of semi-structured interviews and creation of personal community maps provided opportunities to explore the interplay between respondent accounts and patterns of relationships people are embedded within. Seventeen adults with visible facial difference and two unaffected ‘significant others’ were interviewed. The findings provide evidence that personal communities are important social spaces for negotiation of resources that enable adults to feel connected, valued and safer within wider communities. Social support was not described as a property of the individual, but as experienced with combinations of people that change according to situation, place, or time. A diversity of personal community patterns were found, largely consistent with findings from Spencer and Pahl (2006), with one variation which increased intimate support. Some personal communities were less supportive and consequently people were at risk of isolation. Processes within personal communities were helpful both in dealing with negative social environments and in helping establish different versions of ‘normal’ life. The importance of focussing on social contexts, when seeking to understand how people live with visible facial differences, is highlighted.University of Bradford Studentshi

Investigation of Volatile Organic Compounds (VOCs) released as a result of spoilage in whole broccoli, carrots, onions and potatoes with HS-SPME and GC-MS

Vegetable spoilage renders a product undesirable due to changes in sensory characteristics. The aim of this study was to investigate the change in the fingerprint of VOC composition that occur as a result of spoilage in broccoli, carrots, onions and potatoes. SPME and GC-MS techniques were used to identify and determine the relative abundance of VOC associated with both fresh and spoilt vegetables. Although a number of similar compounds were detected in varying quantities in the headspace of fresh and spoilt samples, certain compounds which were detected in the headspace of spoilt vegetables were however absent in fresh samples. Analysis of the headspace of fresh vegetables indicated the presence of a variety of alkanes, alkenes and terpenes. Among VOCs identified in the spoilt samples were dimethyl disulphide and dimethyl sulphide in broccoli; Ethyl propanoate and Butyl acetate in carrots; 1-Propanethioland 2-Hexyl-5-methyl-3(2H)-furanone in onions; and 2, 3-Butanediol in potatoes. The overall results of this study indicate the presence of VOCs that can serve as potential biomarkers for early detection of quality deterioration and in turn enhance operational and quality control decisions in the vegetable industry

Maritime expressions:a corpus based exploration of maritime metaphors

This study uses a purpose-built corpus to explore the linguistic legacy of Britain’s maritime history found in the form of hundreds of specialised ‘Maritime Expressions’ (MEs), such as TAKEN ABACK, ANCHOR and ALOOF, that permeate modern English. Selecting just those expressions commencing with ’A’, it analyses 61 MEs in detail and describes the processes by which these technical expressions, from a highly specialised occupational discourse community, have made their way into modern English. The Maritime Text Corpus (MTC) comprises 8.8 million words, encompassing a range of text types and registers, selected to provide a cross-section of ‘maritime’ writing. It is analysed using WordSmith analytical software (Scott, 2010), with the 100 million-word British National Corpus (BNC) as a reference corpus. Using the MTC, a list of keywords of specific salience within the maritime discourse has been compiled and, using frequency data, concordances and collocations, these MEs are described in detail and their use and form in the MTC and the BNC is compared. The study examines the transformation from ME to figurative use in the general discourse, in terms of form and metaphoricity. MEs are classified according to their metaphorical strength and their transference from maritime usage into new registers and domains such as those of business, politics, sports and reportage etc. A revised model of metaphoricity is developed and a new category of figurative expression, the ‘resonator’, is proposed. Additionally, developing the work of Lakov and Johnson, Kovesces and others on Conceptual Metaphor Theory (CMT), a number of Maritime Conceptual Metaphors are identified and their cultural significance is discussed