In recent years, the field of AI & Law has increasingly focused on predicting legal judgments, particularly in civil cases. While traditional neural network methods are highly effective at automatically learning patterns from large datasets, they often suffer from a lack of interpretability. To address this limitation, we propose a neuro-symbolic framework for legal judgment prediction, based on large language models (LLMs). This framework combines legal knowledge (e.g., legal rules), represented through first-order logic rules, with deep neural networks (DNNs), using (...) a discrepancy loss to minimize prediction differences between the two components. By integrating the logic module during end-to-end training, knowledge is effectively transferred to the model parameters. Additionally, we develop a Chain-of-Thought prompt that uses LLMs to extract fact elements from legal cases. These elements act as logical variables within the rules, supporting the reasoning process in the logic module and improving overall interpretability. To validate the effectiveness of this framework, we conduct extensive experiments on a large dataset of private lending cases. The results demonstrate that the framework not only improves predictive performance but also enhances the interpretability of judgment predictions. (shrink)

Drawing on the analytic of the “colonial matrix of power” developed by Aníbal Quijano within the Latin American modernity/coloniality research program, this article theorises how a system of coloniality underpins the structuring logic of artificial intelligence (AI) systems. We develop a framework for critiquing the regimes of global labour exploitation and knowledge extraction that are rendered invisible through discourses of the purported universality and objectivity of AI. ​​Through bringing the political economy literature on AI production into conversation with scholarly work (...) on decolonial AI and the modernity/coloniality research program, we advance three main arguments. First, the global economic and political power imbalances in AI production are inextricably linked to the continuities of historical colonialism, constituting the colonial supply chain of AI. Second, this is produced through an international division of digital labour that extracts value from majority world labour for the benefit of Western technology companies. Third, this perpetuates hegemonic knowledge production through Western values and knowledge that marginalises non-Western alternatives within AI’s production and limits the possibilities for decolonising AI. By locating the production of AI systems within the colonial matrix of power, we contribute to critical and decolonial literature on the legacies of colonialism in AI and the hierarchies of power and extraction that shape the development of AI today. (shrink)

It is widely acknowledged that language rights are basic human rights. Given the critical role they play in society, multiple constitutions and statutes have been drafted and implemented to ensure...

With the rapid development of renewable generators such as distributed photovoltaic and profound changes of the power structure, this paper analyzes the frequency characteristics of the power system with high penetration of renewable generations in the process of low-frequency load shedding and discusses the influence of the distributed renewable generator frequency endurance capabilities on the implementation effect of low-frequency load shedding in detail. Finally, the influences of the distributed renewable generator frequency endurance capability and the capacities of the distributed renewable (...) generator on frequency response characteristics of an actual Hunan power grid are simulated. The simulation results show that more distributed photovoltaic capacity without frequency endurance capability leads to deeper frequency drops after the disturbance and requires more basic rounds of load shedding. When the penetration rate of distributed photovoltaic is too high, it may cause load shedding, resulting in power grid load losses and, at the same time, leading to an overshoot phenomenon in the process of frequency recovery. Therefore, the influence of distributed photovoltaic on the control of low-frequency load shedding should be considered when designing low-frequency load shedding schemes for the power grid with high penetration of distributed photovoltaic. (shrink)

We prove that for any computably enumerable degree c, if it is cappable in the computably enumerable degrees, then there is a d.c.e. degree d such that c d = 0′ and c ∩ d = 0. Consequently, a computably enumerable degree is cappable if and only if it can be complemented by a nonzero d.c.e. degree. This gives a new characterization of the cappable degrees.

In [Countable thin [Formula: see text] classes, Ann. Pure Appl. Logic 59 79–139], Cenzer, Downey, Jockusch and Shore proved the density of degrees containing members of countable thin [Formula: see text] classes. In the same paper, Cenzer et al. also proved the existence of degrees containing no members of thin [Formula: see text] classes. We will prove in this paper that the c.e. degrees containing no members of thin [Formula: see text] classes are dense in the c.e. degrees. We will (...) also prove that the c.e. degrees containing members of thin [Formula: see text] classes are dense in the c.e. degrees, improving the result of Cenzer et al. mentioned above. Thus, we obtain a new natural subclass of c.e. degrees which are both dense and co-dense in the c.e. degrees, while the other such class is the class of branching c.e. degrees 113–130] for nonbranching degrees and [T. A. Slaman, The density of infima in the recursively enumerable degrees, Ann. Pure Appl. Logic 52 155–179] for branching degrees). (shrink)

A real α is called a c. e. real if it is the halting probability of a prefix free Turing machine. Equivalently, α is c. e. if it is left computable in the sense that L = {q ∈ ℚ : q ≤ α} is a computably enumerable set. The natural field formed by the c. e. reals turns out to be the field formed by the collection of the d. c. e. reals, which are of the form α—β, where (...) α and β are c. e. reals. While c. e. reals can only be found in the c. e. degrees, Zheng has proven that there are Δ02 degrees that are not even n-c. e. for any n and yet contain d. c. e. reals, where a degree is n-c. e. if it contains an n-c. e. set. In this paper we will prove that every ω-c. e. degree contains a d. c. e. real, but there are ω + 1-c. e. degrees and, hence Δ02 degrees, containing no d. c. e. real. (shrink)

This is an investigation into conflict and discord in conversations between couples in ordinary households in mainland China. Based on a corpus of face-to-face and telephone conversations in Mandarin, our analysis shows that participants’ arguments are ‘kept under control’ through a variety of communicative practices that in a variety of ways mitigate or reduce the force of their arguments. Prominent among those mitigating practices are repair initiation through repetition, type-nonconforming responses, and turn-ending double particles. The result of employing these and (...) other practices is that the couples in our data ‘bicker’ – they argue in such a way that the interactions do not result in breakdown, or otherwise in irreversible breakdown. The communicative practices reported here are mobilised so as to suppress, reduce or moderate the hostility that a complaint for instance might otherwise generate. Our analysis contributes to our understanding of disaffiliation and argument in ordinary interaction, especially in Chinese domestic interactions. (shrink)

The target article retains the traditional account of saccades as conjugate eye movements. However, recent single-unit recordings of premotor cells in the saccade pathway (excitatory burster neurons [EBNs]) found that they do not encode conjugate eye velocity, but rather, monocular eye velocity. These data argue against the traditional concept of saccades as inherently conjugate. Instead, they suggest a monocular mechanism in the sensorimotor transformation stage of saccade generation. This commentary will discuss the implications of these data for the saccade generation (...) model proposed in Findlay & Walker's target article. (shrink)

In multimodal multiobjective optimization problems, multiple Pareto optimal sets, even some good local Pareto optimal sets, should be reserved, which can provide more choices for decision-makers. To solve MMOPs, this paper proposes an evolutionary algorithm with clustering-based assisted selection strategy for multimodal multiobjective optimization, in which the addition operator and deletion operator are proposed to comprehensively consider the diversity in both decision and objective spaces. Specifically, in decision space, the union population is partitioned into multiple clusters by using a density-based (...) clustering method, aiming to assist the addition operator to strengthen the population diversity. Then, a number of weight vectors are adopted to divide population into N subregions in objective space. Moreover, in the deletion operator, the solutions in the most crowded subregion are first collected into previous clusters, and then the worst solution in the most crowded cluster is deleted until there are N solutions left. Our algorithm is compared with other multimodal multiobjective evolutionary algorithms on the well-known benchmark MMOPs. Numerical experiments report the effectiveness and advantages of our proposed algorithm. (shrink)

ABSTRACT We are concerned with the theorem proving in annotated logics. By using annotated polynomials to express knowledge, we develop an inference rule superposition. A proof procedure is thus presented, and an improvement named M- strategy is mainly described. This proof procedure uses single overlaps instead of multiple overlaps, and above all, both the proof procedure and M-strategy are refutationally complete.

Elucidating distinct morphological atrophy patterns of Alzheimer’s disease and its prodromal stage, namely, mild cognitive impairment helps to improve early diagnosis and medical intervention of AD. On that account, we aimed to obtain distinct patterns of voxel-wise morphological atrophy and its further perturbation on structural covariance network in AD and MCI compared with healthy controls. T1-weighted anatomical images of matched AD, MCI, and HCs were included in this study. Gray matter volume was obtained using voxel-based morphometry and compared among three (...) groups. In addition, structural covariance network of identified brain regions exhibiting morphological difference was constructed and compared between pairs of three groups. Thus, patients with AD have a reduced hippocampal volume and an increased rate of atrophy compared with MCI and HCs. MCI exhibited a decreased trend in bilateral hippocampal volume compared with HCs and the accelerated right hippocampal atrophy rate than HCs. In AD, the hippocampus further exhibited increased structural covariance connected to reward related brain regions, including the anterior cingulate cortex, the putamen, the caudate, and the insula compared with HCs. In addition, the patients with AD exhibited increased structural covariance of left hippocampus with the bilateral insula, the inferior frontal gyrus, the superior temporal gyrus, and the cerebellum than MCI. These results reveal distinct patterns of morphological atrophy in AD and MCI, providing new insights into pathology of AD. (shrink)

In order to improve the impact resistance and mechanical performance of anchor rods and satisfy the requirements for supporting rockburst roadways, the energy balance equation of the energy-absorbing support and roadway surrounding rock system is established. Moreover, to effectively prevent rockburst disasters, the energy criterion for roadway instability is derived. From the perspective of an energy-absorbing support, a yield-absorbing anti-shock anchor composed of a rod body, tray, constant resistance energy-absorbing device, and special-shaped nut is designed and developed; compared with ordinary (...) anchor rods, this rod has stronger mechanical properties for resisting impact. Theoretical and numerical simulation studies show that the energy-absorbing device has a repeatable deformation failure mode and a constant yield force. The paper also presents the principle involved in the design of anti-shock bolt supports. The energy-absorbing support not only effectively guides and controls the release and conversion of impact energy but also consumes the impact energy in the buffering process of the anchor to ensure the stability of surrounding rock and support protection system. This study aims to provide reference for roadway support design and to improve rock bolts used in rockburst roadways. (shrink)

This study investigates whether and how the intensity of social distancing from the Coronavirus disease 2019 (COVID-19) pandemic influences the corporate social responsibility (CSR) disclosure index. An empirical examination is carried out based on data from the Shanghai Stock Exchange from 2020 to 2022. CSR disclosure index is measured by the percentage of CSR-related press releases from the total press releases published on a certain day. The intensity of the COVID-19 pandemic is measured by the daily confirmed cases among the (...) population in China. This research uses the two-stage least squares regression model to alleviate the endogeneity issues. Findings reveal a reverse correlation between the intensity of the COVID-19 pandemic and the CSR disclosure. The results are consistent and robust to endogeneity tests and sensitivity analyses. Findings support the stakeholder–agency theory and indicate that Chinese managers tend to satisfy the shareholders' interests rather than those of other broad stakeholders. Moreover, Chinese managers tend to choose short-term survival rather than long-term development in times of social distancing. (shrink)

We explore the possibility of teaching philosophy through the teaching of computer programming. It is pedagogically useful to use programming because it is extremely popular (especially due to the recent breakthroughs in machine learning), and it can provide a novel, interesting, and clear introduction to a variety of classic philosophical issues. We discuss two examples. The first is using programming to solve digital image manipulation tasks as a way of introducing and clarifying debates over external world skepticism. The second is (...) programming a simulation of a simple 2-D cellular automaton as a way of introducing and clarifying debates over determinism and free will. (shrink)

This study is intended to create an innovative contextual English learning environment making use of the widely used communication software, LINE ChatBot, based on the Artificial Intelligence Markup Language, in order to improve speaking and listening ability among learners. A total of 73 students were invited to participate in learning activities involving a 4-week English conversation exercise including both speaking and listening. Additionally, in order to explore the influence of competition on language acquisition, we added competition characteristics to the learning (...) activities in the experimental group to enhance learning motivation and learning outcomes. The results showed that with the help of the LINE ChatBot contextual learning environment, the performance of both groups of students was slightly enhanced, but no significant differences were found. Meanwhile, extrinsic motivation in both the experimental and control group was improved if they spoke anonymously. That is, the contextual learning environment based on the LINE ChatBot significantly improved the learners’ English speaking and listening ability. In addition, the results showed that the addition of a competition element effectively enhanced the learners’ intrinsic motivation to learn English on the LINE ChatBot. (shrink)

Entity linking involves mapping ambiguous mentions in documents to the correct entities in a given knowledge base. Most existing methods failed to link when a mention appears multiple times in a document, since the conflict of its contexts in different locations may lead to difficult linking. Sentence representation, which has been studied based on deep learning approaches recently, can be used to resolve the above issue. In this paper, an effective entity linking model is proposed to capture the semantic meaning (...) of the sentences and reduce the noise introduced by different contexts of the same mention in a document. This model first uses the symmetry of the Siamese network to learn the sentence similarity. Then, the attention mechanism is added to improve the interaction between input sentences. To show the effectiveness of our sentence representation model combined with attention mechanism, named ELSR, extensive experiments are conducted on two public datasets. Results illustrate that our model outperforms the baselines and achieves the superior performance. (shrink)

In practice, more and more companies are using warmth appeals in their advertisements, but not all warmth appeals can bring the expected results. Grounded in social perception, we propose that consumers’ inferences and behavioral intentions stemming from warmth appeals in advertising are moderated by brand concepts. Specifically, warmth appeal decreases competence inferences and, in turn, behavioral intentions toward the self-enhancement brands. However, it increases warmth inferences and, in turn, behavioral intentions toward self-transcendence brands. We tested our hypotheses through two experimental (...) studies. Experiment 1 demonstrated that for self-enhancement brands, warmth appeals in advertisements decreased brand attitudes and purchase intentions; for self-transcendence brands, warmth appeals in advertisements increased brand attitudes and purchase intentions. Experiment 2 showed further evidence to the proposed effect and tested the mediating effects of warmth perception and competence perception. This research provides significant implications for advertising strategies. (shrink)

Lung nodules are an early symptom of lung cancer. The earlier they are found, the more beneficial it is for treatment. However, in practice, Chinese doctors are likely to cause misdiagnosis. Therefore, deep learning is introduced, an improved target detection network is used, and public datasets are used to diagnose and identify lung nodules. This paper selects the Mask-RCNN network and uses the dense block structure of Densenet and the channel shuffle convolution method to improve the Mask-RCNN network. The experimental (...) results prove that proposed algorithm is extremely effective. (shrink)

In ancient times in our country, Wang Ch'ung was an eminent materialist and a brilliant atheist, a progressive thinker who opposed the orthodox feudal thought. This has gone basically unquestioned. This year the February 21 issue of Kuang-ming jih-pao printed in its philosophy section an article by Comrade T'ung Mo-an, "Is Wang Ch'ung a Peasant Class Thinker?" The article is an evaluation completely denying this. T'ung believes that the purpose of Wang Ch'ung's works was "to uphold the rule of the (...) Han," "ardently and unconditionally to sing the praises of the Han ruler and court," "to make sacred the rule of the Han," "to get the populace to live quietly, forever in a servile position," and "to view inimically and to slander peasant uprisings." "Wang Ch'ung was an orthodox thinker of the landlord class," "a thinker produced in the interests of the rule of the landlord class who confirmed the feudal orthodoxy." Although I myself am not praising Wang Ch'ung as a peasant class thinker or denying that in Wang Ch'ung's thought there are negative elements, I am completely unable to agree with the basic viewpoint that the author puts forward. (shrink)

本书包括:探求“三个规律”;打破历史周期率;发挥制度优越性;长河东流奔大海;永无止境的求索等。.

Globalized workplace is increasingly moving into complex jobs requiring their employees to exhibit complex knowledge and complex skills. Though acquiring such complex skills or knowledge requires longer time, the pace of business puts pressure on organizations to accelerate the time it takes for their employees to become proficient in their jobs. This shift has challenged the conventional training and learning strategies, structure, methods, instructional design and delivery methodologies generally used by training providers and by the organizations. This paper presents the (...) preliminary research findings of a Doctorate research carried out using Grounded theory approach with over 71 in-depth interviews with leading experts in over 40 industries. Preliminary findings suggest that certain e-learning strategies and platforms hold better potential over others to successfully accelerate time-to-proficiency of individuals in leading organizations. This paper provides first look at 10 e-learning strategies and how those could be orchestrated before, during and after a formal training program to develop job-ready learners in shorter time. (shrink)

The high pace business environment poses great competition among firms. The key to an organisation’s survival is its workforce. Time taken by the workforce to reach to full proficiency in their job role takes very long in certain job roles. Thus, shortening time-to-proficiency of employees is a critical business problem for today’s organisations. This qualitative research study explored the proven practices and strategies that have successfully reduced time-to-proficiency of the workforce in various settings. A total of 93 participants from seven (...) countries participated in the research study. Bounded project case was used as sampling unit and unit of analysis in this study. This study collected 67 successful project cases with the evidence of significant reduction in time-to-proficiency of the workforce in their settings. These project cases spanned across nine economic sectors, 20 business sectors and 28 industry groups. This study revealed that project leaders across the board used six practices to successfully reduced the time-to-proficiency. The purpose of this paper is present the model of accelerated proficiency at the workplace developed in this study. (shrink)