Science, Logic, and Mathematics

Case law retrieval is the task of locating truly relevant legal cases given an input query case. Unlike information retrieval for general texts, this task is more complex with two phases and much harder due to a number of reasons. First, both the query and candidate cases are long documents consisting of several paragraphs. This makes it difficult to model with representation learning that usually has restriction on input length. Second, the concept of relevancy in this domain is defined based (...) on the legal relation that goes beyond the lexical or topical relevance. This is a real challenge because normal text matching will not work. Third, building a large and accurate legal case dataset requires a lot of effort and expertise. This is obviously an obstacle to creating enough data for training deep retrieval models. In this paper, we propose a novel approach called supporting model that can deal with both phases. The underlying idea is the case–case supporting relation and the paragraph–paragraph as well as the decision-paragraph matching strategy. In addition, we propose a method to automatically create a large weak-labeling dataset to overcome the lack of data. The experiments showed that our solution has achieved the state-of-the-art results for both case retrieval and case entailment phases. (shrink)

In this paper we present an extension of separation logic, Boolean BI, with epistemic and dynamic epistemic modalities. This logic, called action model separation logic, can be seen as a generalization of public announcement separation logic in which we replace public announcements with action models. Then we not only model public information change but also non-public forms of information change, such as private announcements. In this context the semantics for the connectives $$*$$ ∗ and $$\mathrel {-*}$$ - ∗ from separation (...) logic are epistemic versions of their usual semantics. This is because formulas are interpreted in states, not in resources, and agents may be uncertain between different states representing the same resource. We present the logic $$\mathrm {AMSL}$$ AMSL and its semantics, with a detailed case study that highlights its interest for modeling. We also prove the elimination of the dynamics modalities and discuss some alternative epistemic semantics for the separation connectives. (shrink)

Around 1970, high numbers of traffic casualties among cyclists led to the creation of numerous local protest movements in the Netherlands. While activists employed protest strategies, their main interest lie in the way they exemplify a highly successful instance of “lay expertise”; the idea that users of a technology have a fundamentally different and valuable perspective on a technology than experts or system-builders. Specifically, cyclists claimed to be more knowledgeable about cycling conditions and safety than the state-employed engineers and traffic (...) experts who built the roads and cycling path network. A key actor in this story is the Dutch Cyclists’ Union, a national platform of local action groups formed in 1975. These activists used the cycling experience of everyday utilitarian cyclists to compile maps and blacklists of locations where cycling was dangerous, unpleasant, uncomfortable, or otherwise discouraging. In doing so, they successfully claimed legitimacy as a valuable knowledge partner for local engineers and policymakers. As a result, they gained some level of influence within local governments, a relation which in the intervening years has only grown stronger. This case study shows how users can shape socio-technical systems bottom-up, and can therefore to an extent be seen as a successful example of co-construction of technology.ZusammenfassungUm 1970 führte die hohe Zahl von Verkehrsunfällen unter Radfahrern zur Gründung zahlreicher lokaler Protestbewegungen in den Niederlanden. Obwohl die Aktivisten auch Proteststrategien einsetzten, besteht das Hauptinteresse dieses Artikels in der Art und Weise, wie sie ein äußerst erfolgreiches Beispiel für „Laienkompetenz“ darstellen. Die Idee dahinter ist, dass Nutzer eine wertvolle und grundlegend andere Perspektive auf eine Technologie haben als Experten oder Systembauer: Radfahrer gaben in Umfragen an, mehr über die Bedingungen und die Sicherheit von Fahrrädern zu wissen als die staatlich angestellten Ingenieure und Verkehrsexperten, die die Systeme des Straßen- und Radwegenetzes gebaut haben. Ein Hauptakteur dieser Geschichte ist der Fietsersbond [Radfahrerbund], eine nationale Plattform lokaler Aktionsgruppen, die 1975 gegründet wurde. Diese Aktivisten nutzten die Mobilitätserfahrung täglicher Radfahrer, um Karten und Liste von Orten zusammenzustellen, an denen das Radfahren gefährlich und unangenehm oder auf andere Weise beschwerlich war. Damit beanspruchten sie erfolgreich Legitimität als wertvoller Wissenspartner für lokale Ingenieure und politische Entscheidungsträger. Infolgedessen gewannen sie einen gewissen Einfluss auf die Kommunalverwaltung; eine Beziehung, die seitdem immer stärker geworden ist. Diese Fallstudie zeigt, wie Nutzer sozio-technische Systeme „von unten“ gestalten können; sie kann daher in gewissem Maße als erfolgreiches Beispiel für die kooperative Konstruktion von Technik angesehen werden. (shrink)

The first issue of Artificial Intelligence and Law journal was published in 1992. This paper offers some commentaries on papers drawn from the Journal’s third decade. They indicate a major shift within Artificial Intelligence, both generally and in AI and Law: away from symbolic techniques to those based on Machine Learning approaches, especially those based on Natural Language texts rather than feature sets. Eight papers are discussed: two concern the management and use of documents available on the World Wide Web, (...) and six apply machine learning techniques to a variety of legal applications. (shrink)

Raymond Aron was a student of Léon Brunschvicg, a representative of French historical epistemology. This article explores Aron’s relation to this tradition through three claims. First of all, it contests that Raymond Aron’s philosophy of history constituted a complete break with this tradition. Secondly, resituating Aron in this tradition is valuable, because it highlights how Aron’s own philosophy of history is to be understood as a normative project, seen as an alternative to that of Brunschvicg. Finally, Aron’s philosophy can still (...) hold valuable lessons for present-day historical epistemology and history and philosophy of science in general. (shrink)

Computer models and simulations have become, since the 1960s, an essential instrument for scientific inquiry and political decision making in several fields, from climate to life and social sciences. Philosophical reflection has mainly focused on the ontological status of the computational modeling, on its epistemological validity and on the research practices it entails. But in computational sciences, the work on models and simulations are only two steps of a longer and richer process where operations on data are as important as, (...) and even more time and energy-consuming than modeling itself. Drawing on two study cases—computational embryology and computational epidemiology—this article contributes to filling the gap by focusing on the operations of producing and re-using data in computational sciences. The different phases of the scientific and artisanal work of modelers include data collection, aggregation, homogenization, assemblage, analysis and visualization. The article deconstructs the ideas that data are self-evident informational aggregates and that data-driven approaches are exempted from theoretical work. More importantly, the paper stresses the fact that data are constructed and theory laden not only in their fabrication, but also in their reusing. (shrink)

In his writings, Francis Bacon emphasized the interrelatedness between the migration of people and knowledge, arguing that Europeans of his time had surpassed the greatest civilizations because of their ability to traverse the world freely. Concentrating on Spanish observers who investigated New Spain’s flora, this article bridges theory and practice by examining the Iberian roots of Bacon’s views. The article examines scientific approaches for acquiring bioknowledge by Iberians who specialized in European medicine, including Francisco Hernández, Juan de Cárdenas and Francisco (...) Ximénez. While the article recognizes the contribution of travellers and expatriates to Spain’s bioprospecting project, it also points to the ways in which the limitations of the transfer of botanical information was acknowledged and discusses its meaning. By presenting the complexities in the communication of knowledge, I argue, naturalists in the colonies could highlight their unique vantage point in relation to “armchair” specialists in the metropole. (shrink)

The field of science communication is plagued by challenges. Communicators face the difficulty of responding to unjustified public skepticism over issues like climate change and COVID-19 while also acknowledging the fallibility and limitations of scientific knowledge. Our goal in this paper is to suggest a new model for science communication that can help foster more productive, respectful relationships among all those involved in science communication. Inspired by the pragmatist philosophy of John Dewey, we develop an experience model, according to which (...) science communication consists in people’s experiences with science and the meanings they develop from those experiences. Three principles are central to the model: experience is cumulative, context matters, and audiences have agency. We argue that this model has significant implications both for communication research and practice, which we illustrate by applying it to the phenomenon of vaccine hesitancy. We show how science communicators can help to identify and alleviate structural factors that contribute to skepticism as well as fostering opportunities for meaning making around shared experiences. (shrink)

The philosophical significance attached to the construction of systems of units has traditionally been confined to the notion of convention, while their adoption was considered to be the exclusive province of the history and sociology of science. Against this tradition, a close articulation between history, philosophy, and sociology of science is needed in order to analyse the recent reform of the International system of units. In the new SI, units are redefined on the basis of certain fundamental constants of nature, (...) established by physical theories, whose values are fixed without uncertainty. The purpose of this article is to show that the redefinition of SI units, far from being a convention, involves a holistic reconstruction of our concepts of quantities from accepted theoretical laws. Fixing the values of the defining constants stabilizes these laws within the framework of physics through a twofold adjustment procedure that ensures both a semantic coordination between theory and world and an intersubjective coordination between human agents required by social activities. This double adjustment implies a treatment of uncertainties that results in closely entwining the pursuit of truth as correspondence and truth as coherence which turn out to be complementary, thus highlighting the anthropological underpinnings of scientific realism. (shrink)

We argue for a foundational epistemic claim and a hypothesis about the production and uses of mathematical epidemiological models, exploring the consequences for our political and socio-economic lives. First, in order to make the best use of scientific models, we need to understand why models are not truly representational of our world, but are already pitched towards various uses. Second, we need to understand the implicit power relations in numbers and models in public policy, and, thus, the implications for good (...) governance if numbers and models are used as the exclusive drivers of decision making. (shrink)

Many philosophers of science have recently argued that extra-academic participation in scientific knowledge production does not threaten scientific objectivity. Quite the contrary: citizen science, participatory projects, transdisciplinary research, and other similar endeavours can even increase the objectivity of the research conducted. Simultaneously, researchers working in fields where such participation is common have expressed worries about various ways in which it can result in biases. In this paper I clarify how these arguments and worries can be compared, and how extra-academic participation (...) can both increase and threaten the objectivity of the research conducted. (shrink)

COVID-19 demonstrated a global catastrophe that touched everybody, including the scientific community. As we respond and recover rapidly from this pandemic, there is an opportunity to guarantee that the fabric of our society includes sustainability, fairness, and care. However, approaches to environmental health attempt to decrease the population burden of COVID-19, toward saving patients from becoming ill along with preserving the allocation of clinical resources and public safety standards. This paper explores environmental and public health evidence-based practices toward responding to (...) Covid-19. A literature review tried to do a deep dive through the use of various search engines such as Mendeley, Research Gate, CAB Abstract, Google Scholar, Summon, PubMed, Scopus, Hinari, Dimension, OARE Abstract, SSRN, Academia search strategy toward reretrieving research publications, “grey literature” as well as reports from expert working groups. To achieve enhanced population health, it is recommended to adopt widespread evidence-based strategies, particularly in this uncertain time. As only together can evidence-informed decision-making (EIDM) can become a reality which includes effective policies and practices, transparency and accountability of decisions, and equity outcomes; these are all more relevant in resource-constrained contexts, such as Nigeria. Effective and ethical EIDM though requires the production as well as use of high-quality evidence that are timely, appropriate and structured. One way to do so is through co-production. Co-production (or co-creation or co-design) of environmental/public health evidence considered as a key tool for addressing complex global crises such as the high risk of severe COVID-19 in different nations. A significant evidence-based component of environmental/public health (EBEPH) consist of decisions making based on best accessible, evidence that is peer-reviewed; using data as well as systematic information systems; community engagement in policy making; conducting sound evaluation; do thorough program-planning frameworks; as well as disseminating what is being learned. As researchers, scientists, statisticians, journal editors, practitioners, as well as decision-makers strive to improve population health, having a natural tendency toward scrutinizing the scientific literature aimed at novel research findings serving as the foundation for intervention as well as prevention programs. The main inspiration behind conducting research ought to be toward stimulating and collaborating appropriately on public/environmental health action. Hence, there is need for a “Plan B” of effective behavioural, environmental, social as well as systems interventions (BESSI) toward reducing transmission. (shrink)

Background: Food-borne outbreaks have been associated with sourcing unsafe food. Therefore, the first preventative strategy should be to source safe food. Even if the sourced food is safe, measures need to be put in place to ensure that it remains safe during the transfer, storage, preparation and serving activities that follow. An understanding of the ship food supply and transfer chain will help to illustrate the points at which the food can become contaminated en route to the point of consumption. (...) Objectives: The study was conducted in selected sea port in the core Niger Delta to assessed the microbiological quality of food served at different ship galley to crew and passengers and compared it to standard. Methods: Samples of food were taken from three (Port Harcourt Area one (PHSP), Warri (WSP) and Koko (KSP)) seaports within the South-South zone for laboratory analysis to uncover food spoilage microorganisms capable of causing disease outbreak among ship which could result to Transborder diseases. Eleven samples of different ready to eat food were collected from the locations, which included cooked rice; fried fish, irish potato porridge, vegetable soup, griki, pepper soup, fried irish potato, salad and bread were collected randomly. The samples were prepared and analyzed using standard procedures. Mean viable counts of aerobic and anaerobic bacteria were determined, ranging from (13×103cfu/g to 78×104 cfu/g) for ready to eat food. Results: Based on the finding KSP I, KSP J and KSP K food samples had the highest bacterial contamination on food while WSP F, WSP G and WSP H food samples had the least with the following isolates Salmonella spp, Nocardia spp, Shigella spp, Listeria spp, Bacillus cereus, Leuconostoc spp, Acinetobacter spp, Acetobacter spp, campylobacter spp, Clostridium spp and Vibrio spp which revealed that the isolates were susceptible to any of these antibiotics Septrin, Chloramphenicol, Gentamycin, Tarvid, Streptomycin, Reflacin, Augumetin, Ceporex, Nalidixic acid, Ampicillin, Ciproflox, Penicillin and Erythromycin. Conclusion: Thus, ships operators and regulatory body are expected to take all practicable measures to ensure that they do not receive unsafe or unsuitable food and maintain adequate food temperature at all time. (shrink)

Public engagement is one of the fundamental pillars of the European programme for research and innovation Horizon 2020. The programme encourages engagement that not only fosters science education and dissemination, but also promotes two-way dialogues between scientists and the public at various stages of research. Establishing such dialogues between different groups of societal actors is seen as crucial in order to attain epistemic as well as social desiderata at the intersection between science and society. However, whether these dialogues can actually (...) help attaining these desiderata is far from obvious. This paper discusses some of the costs, risks, and benefits of dialogical public engagement practices, and proposes a strategy to analyse these argumentative practices based on a three-tiered model of epistemic exchange. As a case study, we discuss the phenomenon of vaccine hesitancy, arguably a result of suboptimal public engagement, and show how the proposed model can shed new light on the problem. (shrink)

The first issue of Artificial Intelligence and Law journal was published in 1992. This special issue marks the 30th anniversary of the journal by reviewing the progress of the field through thirty commentaries on landmark papers and groups of papers from that journal.

The first issue of Artificial Intelligence and Law journal was published in 1992. This paper provides commentaries on nine significant papers drawn from the Journal’s second decade. Four of the papers relate to reasoning with legal cases, introducing contextual considerations, predicting outcomes on the basis of natural language descriptions of the cases, comparing different ways of representing cases, and formalising precedential reasoning. One introduces a method of analysing arguments that was to become very widely used in AI and Law, namely (...) argumentation schemes. Two relate to ontologies for the representation of legal concepts and two take advantage of the increasing availability of legal corpora in this decade, to automate document summarisation and for the mining of arguments. (shrink)

The first issue of Artificial Intelligence and Law journal was published in 1992. This paper discusses several topics that relate more naturally to groups of papers than a single paper published in the journal: ontologies, reasoning about evidence, the various contributions of Douglas Walton, and the practical application of the techniques of AI and Law.

Local participation is always beneficial for sustainable action and environmental problems resulting from urban implementation due to the failure of social and institutional change necessary for a successful transformation of rural life to urban life ahead of the rapid movement of the population. Despite good legal practice and comprehensive guidelines, evidence suggests that Environmental Impact Assessment (EIA) or more broadly Environmental, Social and Health Impact Assessment (ESHIA) have not yet been found satisfactory in Nigeria, as the current system amounts to (...) duplication of efforts and cost. However, ESHIA has been developed and integrated to help manage project activities, facilities, and operations sustainably, so that both economic and ecological profits are accrued (sustainable development) or ensure that any development project does not result in excessive deterioration of and/or the irreversible adverse effect on any component of the environment – a recite for sustainable development. A literature review was done by using a variety of search engines including Research Gate, Google Scholar, Academia, Mendeley, SSRN search strategy to retrieve research publications, “grey literature” and expert working group reports. The thrust of this study is to evaluate the potential benefits of ESHIA as a tool for sustainable environmental development. The evaluation and implementation of EIA are one of the strengths of these tools. Indeed, EIA is the first and foremost management tool employed to help mitigate adverse, potential, and associated impacts of proposed major developments in our environment. EIA is a regulatory requirement that is efficiently used to improve performance, project design, enhancing decision-making, and facilitating policy programs in a sustainable environment. An evaluation of the EIA systems reveals several weaknesses of the EIA system. These include the inadequate capacity of EIA approval authorities, deficiencies in screening and scoping, poor EIA quality, insufficient public participation, and weak monitoring, and erratic government policies. Overall, most EIA study rarely meets the objectives of being a project planning tool to contribute to achieving sustainable development and mitigate the impact of the development project. The study recommends some directions for the future to ensure that entire content of the EIA are religiously implemented, review the existing EIA act, increase the expertise of EIA consultants, create a liaison office with an international organisation and with sister agency, ESHIA must enjoy Improved budgetary provision, time latitude, spatial contexts and methodological improvements for outcome measures to achieve results that are relevant to sustainable development by improving project design, enhancing decision making and facilitating policy programs. (shrink)

Background: Health care practitioners are recognized to have a large influence in shaping uptake of vaccine in new borns, children, adolescents, as well as adults. Parents remain more secure in their decisions when health care practitioners communicate successfully with them about vaccine dangers and benefits, the value as well as necessity for vaccinations, as well as vaccine safety. Thus, immunization remain the foundation of the primary health care system, an indisputable human right as well as a global health and development (...) success story, saving millions of lives yearly. Recently, we have vaccines to prevent more than 20 life threatening diseases, helping people of all ages live longer, healthier lives. Yet despite tremendous progress, far too many people around the world, including nearly 20 million infants yearly have insufficient access to vaccines. In some countries, progress has stalled or even reversed, and there is a real risk that complacency will undermine past achievements. Purpose: The current study aimed to explores vaccine hesitancy, its barriers and impact studies regarding COVID-19 decision impacts. Also, to provides policy and decision makers and operational staff with evidence to inform decisions to promote vaccine uptake across Bayelsa State. Methods: A literature review tried to do a deep dive by using a variety of search engines such as Scopus, Research Gate, Mendeley, Summon, PubMed, Google Scholar, Hinari, Dimension, Academia, CAB Abstract, OARE Abstract, SSRN search strategy to retrieve research publications, “grey literature” and expert working group reports, including author’s field experience. Findings: Absence of uniform methods of organization in the various health care facilities upon which we were obliged to rely. Thus affecting the overall immunization programme and health system. Hence policy must urgently address these challenges with emphasis on policy clarity while continuously improving infrastructure. Conclusions: Bayelsa State is categorized as low/poor performing as the findings suggest that the involvement of community-based leaders can improve community participation and acceptance while enhancing and strengthening integrated disease surveillance and Adverse Events Following Immunization (AEFI) monitoring and reporting systems; and conducting integrated advocacy and communications activities to promote demand for vaccination as part of increasing overall demand and acceptability of all essential Primary Health Centers (PHC) services, thus, breaking barriers of vaccine hesitancy. (shrink)