Connected to the jurisprudence surrounding the copyrightability of a factual compilation, this book locates the footprints of the standard envisaged in a US Supreme court decision (Feist) in Europe. In particular, it observes the extent of similarity of such jurisprudence to the standard adopted and deliberated in the European Union. Many a times the reasons behind law making goes unnoticed. The compelling situations and the history existing prior to an enactment helps in understanding the balance that exists in a (...) particular legislation. While looking at the process of enacting the Database Directive (96/9/EC), this book reflects upon the concern that was expressed with the outcome of Feist decision in Europe. (shrink)

So-called ‘anonymous’ tissue samples are widely used in research. Because they lack externally identifying information, they are viewed as useful in reconciling conflicts between the control, privacy and confidentiality interests of those from whom the samples originated and the public (or commercial) interest in carrying out research, as reflected in ‘consent or anonymise’ policies. High level guidance documents suggest that withdrawal of consent and samples and the provision of feedback are impossible in the case of anonymous samples. In view of (...) recent developments in science and consumer-driven genomics the authors argue that such statements are misleading and only muddle complex ethical questions about possible entitlements to control over samples. The authors therefore propose that terms such as ‘anonymised’, ‘anonymous’ or ‘non-identifiable’ be removed entirely from documents describing research samples, especially from those aimed at the public. This is necessary as a matter of conceptual clarity and because failure to do so may jeopardise public trust in the governance of large scale databases. As there is wide variation in the taxonomy for tissue samples and no uniform national or international standards, the authors propose that a numeral-based universal coding system be implemented that focuses on specifying incremental levels of identifiability, rather than use terms that imply that the reidentification of research samples and associated actions are categorically impossible. (shrink)

Theoretical paradigms, the frameworks within which thinking occurs, never capture the complexity of reality and are necessarily selective. Factors most important to understanding the phenomenon in question will be included and explained in a coherent, meaningful manner. But facts and ideas inconsistent with underlying assumptions may then appear less plausible, and, indeed, may be systematically overlooked or ignored. Health-related paradigms have practical importance because they influence what counts as a fact, what theories appear plausible and important, what research questions should (...) be pursued, and, therefore, what health-care interventions make sense. They also contain implicit underlying ideas about .. (shrink)

Using the two cases of the Icelandic Health Sector Database and Russian initiatives in biobanking, the article criticizes the view of narratives and imaginaries as a sufficient and unproblematic means of shaping public understanding of genetics and justifying population-wide projects. Narrative representations of national biobanking engage particular imaginaries that are not bound by the universal normative framework of human rights, promote affective thinking, distract the public from recognizing and discussing tangible ethical and socioeconomic issues, and harm trust in science and (...) technology. In the Icelandic case, the presentation of the project in association with national imaginaries concealed its market identity and could lead to the commodification of biodata. In the Russian case, framing in terms of "genetic sovereignty" and "civilizational code" offers pretexts for state securitization. Adherence to normative framework of human rights and public discussion of genetics in an argumentative and factual mode can counter these trends. (shrink)

Drug Safety Communications are used by the Food and Drug Administration to inform health care providers, patients, caregivers, and the general public about safety issues related to FDA-approved drugs. To assess patient knowledge of the messaging contained in DSCs related to the sleep aids zolpidem and eszopiclone, we conducted a large, cross-sectional patient survey of 1,982 commercially insured patients selected by stratified random sampling from the Optum Research Database who had filled at least two prescriptions for either zolpidem or eszopiclone (...) between July 1, 2012 and June 30, 2013. Among the 594 respondents, two-thirds reported hearing generally about drug safety information prior to starting a new drug, with the remaining one-third “rarely” or “never” hearing such information. Providers and pharmacists were primary sources of drug safety information. Two-thirds of zolpidem users and half of eszopiclone users reported having heard about the related DSC messages, ability to accurately identify the major factual messages was limited. Respondents reacted to new drug safety information about their sleep aids by reporting that they would want to learn about alternative ways to help them sleep and seek out more information about the safety of their specific sleeping pill. Opportunities may exist for the FDA to work with providers and pharmacies to help ensure the DSC information is more widely received and is more fully understood by those taking the affected medications. (shrink)

The merging/fusion of belief/data collections in propositional logic form is a topic that has received due attention within the domains of database and AI research. A distinction can be made between two types of scenarios to which the process of merging can be applied. In the first type, the collections represent preferences, such as the voting choices of a group of people, that need to be aggregated so as to give a consistent result that in some way best represents the (...) collective judgement of the group. In the second type, the collections represent factual data that is to be aggregated with an aim of obtaining a result that maximises factual correctness. After introducing a general framework for belief merging via some prominent literature on the topic, this paper then introduces and considers a method for belief merging with the second type of scenario in mind. Its suitability is corroborated by demonstrating how it can be seen as a special case of a merging procedure that combines aggregation of probabilities and maximisation of expected truthlikeness. (shrink)

One of the major problems that artificial intelligence needs to tackle is the combination of different and potentially conflicting sources of information. Examples are multi-sensor fusion, database integration and expert systems development. In this paper we are interested in the aggregation of propositional logic-based information, a problem recently addressed in the literature on information fusion. It has applications in multi-agent systems that aim at aggregating the distributed agent-based knowledge into an (ideally) unique set of propositions. We consider a group of (...) autonomous agents who individually hold a logically consistent set of propositions. Each set of propositions represents an agent’s beliefs on issues on which the group has to make a collective decision. To make the collective decision, several aggregation procedures have been proposed in the literature. Assuming that all propositions in question are factually right or wrong, we ask how good belief fusion is as a truth tracker. Will it single out the true set of propositions? And how does information fusion compare with other aggregation procedures? We address these questions in a probabilistic framework and show that information fusion does especially well for agents with a middling competence of hitting the truth of an individual proposition. (shrink)

Epistemic logic is usually employed to model two aspects of a situation: the factual and the epistemic aspects. Truth, however, is not always attainable, and in many cases we are forced to reason only with whatever information is available to us. In this paper, we will explore a four-valued epistemic logic designed to deal with these situations, where agents have only knowledge about the available information, which can be incomplete or conflicting, but not explicitly about facts. This layer of (...) available information or evidence, which is the object of the agents’ knowledge, can be seen as a database. By adopting this sceptical posture in our semantics, we prepare the ground for logics where the notion of knowledge—or more appropriately, belief—is entirely based on evidence. The technical results include a set of reduction axioms for public announcements, correspondence proofs, and a complete tableau system. In summary, our contributions are twofold: on the one hand we present an intuition and possible application for many-valued modal logics, and on the other hand we develop a logic that models the dynamics of evidence in a simple and intuitively clear fashion. (shrink)

This article is a limited defense of copyrights for the contents of factual compilations. The form of protection that I propose, under which the collective factual content of such compilations is protected, differs from an approach that protects individual facts and from the currently accepted approach (as articulated in Feist v. Rural Telephone), under which only selections and arrangements of individual facts are protected. Although I accept that there are sound economic justifications for refusing to copyright individual facts, (...) my justifications differ from those that have traditionally been offered. The traditional justifications are: 1) that the monopolization costs of protecting individual facts are too great, because facts are too valuable as components for future works to have access to them limited by property rights, and 2) that facts fail the independent creation requirement for copyright protection, because they are not authored by anyone. Both of these justifications fail. Monopolization costs can at most justify limited terms for copyrights in facts. And, far from failing the independent creation requirement, facts (properly understood as representations of reality rather than reality itself) are as much works of authorship as novels are. I argue that transaction and enforcement costs are the real reasons that individual facts are not copyrightable. Furthermore, some components of factual works - specifically, ground breaking and explanatorily powerful theories like Einstein's theory of relativity - should be copyrightable if our sole concerns were transaction, enforcement and monopolization costs. Instead such theories are not protectable because any work that borrows them is their complement (in the sense that its production makes them more desirable), provided that the work acknowledges the theories' true provenance. This is because it is only through dissemination in other works that such theories can undergo the test of truth. But nothing about the uncopyrightability of the components of factual works stands in the way of copyrights for the collective factual content conveyed by such works. It might appear that protecting collective content is no different from the Feist approach, in which selections and arrangements of facts alone are protected. After all, collective factual content is created by selecting and arranging individual facts. If individual facts are not protected, then the selections and arrangements, it seems, must be. But this is a fallacy. Protecting a fictional story is not the same as protecting the methods of selection and arrangement used to generate the story from unprotected elements of character, plot, and setting. Likewise, protecting the collective factual content of a database is not the same as the Feist method. The collective content of databases, I argue, should be protected in the same manner that fictional stories are. Such an approach, far diverging from traditional copyright principles, follows from them. (shrink)

Say that two sentences are factually equivalent when they describe the same facts or situations, understood as worldly items, i.e. as bits of reality rather than as representations of reality. The notion of factual equivalence is certainly of central interest to philosophical semantics, but it plays a role in a much wider range of philosophical areas. What is the logic of factual equivalence? This paper attempts to give a partial answer to this question, by providing an answer the (...) following, more specific question: Given a standard propositional language with negation, conjunction and disjunction as primitive operators, which sentences of the language should be taken to be factually equivalent by virtue of their logical form? The system for factual equivalence advocated in this paper is a proper fragment of the first-degree system for the logic of analytic equivalence put forward in the late seventies by R. B. Angell. I provide the system with two semantics, both formulated in terms of the notion of a situation’s being fittingly described by a linguistic item. In the final part of the paper I argue, contra a view I defended in my “Grounding and Truth-Functions”, that the logic for factual equivalence I advocate here should be preferred to Angell’s logic if one wishes to follow the general conception of the relationships between factual equivalence and the notion of grounding put forward in the 2010 paper. (shrink)

Recent discussions of genomics and international justice have adopted the concept of ‘global public goods’ to support both the view of genomics as a benefit and the sharing of genomics knowledge across nations. Such discussion relies on a particular interpretation of the global public goods argument, facilitated by the ambiguity of the concept itself. Our aim in this article is to demonstrate this by a close examination of the concept of global public goods with particular reference to its use in (...) the context of genomic databases. We contend that the argument for construing genomics as a global public good depends on seeing it as a natural good by focusing on features intrinsic to genomics knowledge. We shall argue that social and political arrangements are relevant and that recognising this opens the door to construing the use of global public goods language as a strategic one. (shrink)

There are many ways in which biases can enter processes of scientific reasoning. One of these is what Ludwik Fleck has called a “harmony of illusions”. In this paper, Fleck’s ideas on the relevance of social mechanisms in epistemic processes and his detailed description of publication processes in science will be used as a starting point to investigate the connection between cognitive processes, social dynamics, and biases in this context. Despite its usefulness as a first step towards a more detailed (...) analysis, Fleck’s account needs to be updated in order to take the developments of digital communication technologies of the 21st century into account. Taking a closer look at today’s practices of science communication shows that information and communication technologies (ICTs) play a major role here. By presenting a detailed case study concerning the database SCOPUS, the question will be investigated how such ICTs can influence the division of epistemic labour. The result will be that they potentially undermine the epistemic benefits of social dynamics in science communication due to their inherent tendency to reduce the diversity of scientific hypotheses and ideas. (shrink)

This paper explains a fallacy that often arises in theorizing about human minds. I call it the Factual Belief Fallacy. The Fallacy, roughly, involves drawing conclusions about human psychology that improperly ignore the large backgrounds of mostly accurate factual beliefs people have. The Factual Belief Fallacy has led to significant mistakes in both philosophy of mind and cognitive science of religion. Avoiding it helps us better see the difference between factual belief and religious credence; seeing that (...) difference in turn enables us to pose interesting normative questions about various mental states labeled “belief.”. (shrink)

After the novel, and subsequently cinema privileged narrative as the key form of cultural expression of the modern age, the computer age introduces its correlate — database. Why does new media favour database form over others? Can we explain ist popularity by analysing the specificity of the digital medium and of computer programming? What is the relationship between database and another form, which has traditionally dominated human culture — narrative? In addressing these questions, I discuss the connection between computer's ontology (...) — the way software represents the world — and the new cultural forms privileged by computer culture such as database. I propose that computerisation of culture involves projection of two fundamental parts of computer software — data structures and algorithms — onto the cultural sphere. Thus CD-ROMs and Web databases are cultural manifestations of one half of this ontology — data structures; while new media narratives are manifestations of the second part — algorithms. I conclude by proposing that in computer culture database and narrative do not have the same status. Given that on the level of data organisation most new media objects are databases, it is not surprising that on the level of form database also dominates new media culture. (shrink)

What are the truth conditions of want ascriptions? According to an influential approach, they are intimately connected to the agent’s beliefs: ⌜S wants p⌝ is true iff, within S’s belief set, S prefers the p worlds to the not-p worlds. This approach faces a well-known problem, however: it makes the wrong predictions for what we call (counter)factual want ascriptions, wherein the agent either believes p or believes not-p—for example, ‘I want it to rain tomorrow and that is exactly what (...) is going to happen’ or ‘I want this weekend to last forever, but of course it will end in a few hours’. We solve this problem. The truth conditions for want ascriptions are, we propose, connected to the agent’s conditional beliefs. We substantiate this connection by pursuing a striking parallel between (counter)factual and non-(counter)factual want ascriptions on the one hand and counterfactual and indicative conditionals on the other. (shrink)

In business and government, databases contain large quantities of digital transactional data (purchases made, services used, finances transferred, benefits received, licences acquired, borders crossed, tickets purchased). The data can be understood as ongoing and dynamic measurements of the activities and doings of people. In government, numerous database devices have been developed to connect such data across services to discover patterns and identify and evaluate the performance of individuals and populations. Under the UK’s New Labour government, the development of such devices (...) was part of a broader policy known as ‘joined-up thinking and government’. Analyses of this policy have typically understood joining up as an operation of adding together distributed data about subjects, which can then be used in the service of government surveillance, the database state or informational capitalism. But rather than such technical or managerialist analytics, I argue that topological analytics capture what these database devices enact and do: they materialize the ‘individuality’ of subjects in intensified, distributed and fluctuating ways and materialize and intensify a logic of what Deleuze describes as modulating controls. Through examples of UK New Labour social policy initiatives over the past decade, I argue that topological analytics can account for these as immanent rather than exceptional properties of database devices and, as such, part and parcel of a governmental logic and ontology of subjects. (shrink)

We argue that future database systems must provide autonomy for individuals for the privacy of data they manage. We propose a design for such a system, identify challenges and problems, and suggest some approaches to these. We enunciate the reasons for informational self-determination systems, which include legal, organizational and technical issues. Our main goal is to achieve a widely-accepted realistic and practical solution in order to ensure privacy for individuals in our future world, yet without hindering business and security.

The Database, Logic, and Suffering _Memento_ and Random-Access Information Aesthetic.

The paper discusses the potential value of a deontic approach to database specification. More specifically, some different types of integrity constraints are considered and a distinction is drawn between necessary (hard) and deontic (soft) constraints.Databases are compared with other normative systems. A deontic logic for database specification is proposed and the problems of how to react to, and of how to correct, or repair, a situation which arises through norm violation are discussed in the context of this logic. The limitations (...) of the proposed logic and possible modifications and extensions of it are analysed. (shrink)

According to social constructionism factuality, the establishment of accounts as corresponding to an objective external reality, is an interactional accomplishment ordinarily achieved in everyday conversations. In cases of disagreement regarding the interpretation and nature of events, however, not only the plausibility of the account, but also the rationality, integrity, and accountability of the participants is at stake. Delusions present extreme cases of such disagreement. This paper analyzes extracts from an interview with an individual diagnosed as delusional focusing on the factualization (...) devices used in the negotiation of accounts. The question of whether the observation of conversational rules documented in the interview is sufficient to establish the plausibility of an account and the rationality of its teller leads to arguments around the necessity of shifting the focus from the grounded micro-analysis of talk to wider social and institutional processes. (shrink)

The academic databases such as Scopus or Web of Science are commonly used to measure performance of universities, departments, and even single researchers. However, to what extent such databases can represent real outcomes of aforementioned units especially in the field of art and humanities where local languages and cultural phenomena play an important role is not clear. This article focuses on understanding how research in this field, as seen through the case of aesthetics in non-English speaking countries, Finland in particular, (...) is represented through major academic databases. This question is tackled by applying a data mining approach. First, we identify major academic databases, and afterwards test what is the proportion of Finnish aesthetics presented in those databases. Our approach allows us to critically look into representation of local art or humanities related research in general academic databases, and understand to what extent we can trust those sources in representing real pictures of the field. Results strengthen the well-known fact that most common academic databases draw a rather poor picture. In more particular this article shows that there are certain factors that influence analysis of the field: spread data, multilingual content, non-standard categorization, variability of venues, different publishing patterns, and unsuitable impact metrics. However, our results propose that alternative databases can be formed from university or meta-data databases. We also provide further directions for designing of such databases. (shrink)

This paper describes an experimental platform for approximate knowledge databases called the Approximate Knowledge Database, based on a semantics inspired by rough sets. The implementation is based upon the use of a standard SQL database to store logical facts, augmented with several query interface layers implemented in JAVA through which extensional, intensional and local closed world nonmonotonic queries in the form of crisp or approximate logical formulas can be evaluated tractably. A graphical database design user interface is also provided which (...) simplifies the design of databases, the entering of data and the construction of queries. The theory and semantics for AKDBs is presented in addition to application examples and details concerning the database implementation. (shrink)

It is argued that, while there is no such property as truth, there is a feature of factuality which certain states of affairs have and others lack. Since states of affairs can appear before the mind as having this feature when, in reality, they do not have it, a most difficult epistemological problem arises, namely, how to distinguish between a state of affairs which merely appears to have factuality and a state of affairs which really is factual. The test (...) for factuality, it is maintained, is twofold. It consists, on the one hand, of perception and introspection, and on the other, of coherence. What we perceive and introspect is not only presented to us as factual, but justifiedly taken to be factual. In case of doubt, though, we cannot but fall back on coherence, comparing some of our beliefs, perceptions, assumptions etc. with others. (shrink)

What is the logical form of judgments, if they have one? This question remains an enigma for any transcendental approach to logical thought. The paper addresses the matter by following the debate between Edmund Husserl and Christoph Sigwart from 1890 to 1904. It shows the pivotal role that the problem of judgment played in this discussion. Since judgments were thought to be both refined mental acts and fundamental logical elements, the related issue was a thumbnail version of the broader conflict (...) between psychology and logic. The paper argues that Husserl, far from overcoming Sigwart’s “Kantian-psychologistic” approach, ends up integrating it into the later stages of his phenomenological work; and that this approach does in fact pose an unavoidable transcendental-genetic problem for Husserl’s phenomenology of logic. The argument intends to contribute to a possible integration of the study of the factual “nature” of men within the horizon of the philosophical logic of knowledge. (shrink)

Professor Kai Nielsen is one of the most forceful proponents of the view that theological assertions have no factual reference because they are compatible with any empirical state of affairs; no evidence, it is alleged, is allowed to count as falsification of such assertions, and therefore they spuriously purport to be what they are not. In this he follows the well-known essay by Professor Antony Flew in which the same argument was advanced, and Nielsen's own most recent contribution on (...) the subject in Religious Studies should be read against the background of his earlier controversy with Professors John Hick and George Mavrodes in The Canadian Journal of Theology. In this latest article he broadens the canvas to question the significance of applying language and concepts appropriate to the realm of empirical observation to anything that is held to transcend it; and this is the substance of Part II of his paper, in which he engages in debate with Professor Ian Crombie, treading well-worn ground that has been the subject of innumerable philosophical discussions. The rest of the paper, however, is a restatement of his earlier contention, and it is with this more limited issue that I shall be concerned in what follows. For I believe that Nielsen is wrong in two quite fundamental respects: he is mistaken in supposing that theological assertions are compatible with any empirical state of affairs: he bases his critique of theological assertions on a far too uncritical appraisal of the principles of verification and falsification in the case of ordinary factual statements. If I am right, the larger questions raised in Part II will still remain open, but it is high time that the ‘verification-falsification argument’ should be shown to be unfounded. (shrink)

Abstract.Mandatory risk assessment is intended to reassure concerned citizens and introduce reason into the heated European controversies on genetically modified crops and food. The authors, examining a case of risk assessment of genetically modified oilseed rape, claim that the new European legislation on risk assessment does nothing of the sort and is not likely to present an escape from the international deadlock on the use of genetic modification in agriculture and food production. The new legislation is likely to stimulate the (...) kind of emotive reactions it was intended to prevent. In risk assessment exercises, scientific uncertainty is turned into risk, expressed in facts and figures. Paradoxically, this conveys an impression of certainty, while value-disagreement and conflicts of interest remain hidden below the surface of factuality. Public dialogue and negotiation along these lines are rendered impossible. The only option left to critics is to resort to claims of fear and to call for new risk assessments to be performed, on and on again. Science is allowing itself to be abused by accepting the burden of proof in matters more suited to reflection and negotiation. The specific challenge to science would be to take care of itself – rethinking the role and the limitations of science in a social context, and, thereby gaining the strength to fulfill this role and to enter into dialogue with the rest of society. Scientific communities appear to be obvious candidates for prompting reflection and dialogue on this issue. (shrink)

I argue that psychology and epistemology should posit distinct cognitive attitudes of religious credence and factual belief, which have different etiologies and different cognitive and behavioral effects. I support this claim by presenting a range of empirical evidence that religious cognitive attitudes tend to lack properties characteristic of factual belief, just as attitudes like hypothesis, fictional imagining, and assumption for the sake of argument generally lack such properties. Furthermore, religious credences have distinctive properties of their own. To summarize: (...) factual beliefs are practical setting independent, cognitively govern other attitudes, and are evidentially vulnerable. By way of contrast, religious credences have perceived normative orientation, are susceptible to free elaboration, and are vulnerable to special authority. This theory provides a framework for future research in the epistemology and psychology of religious credence. (shrink)

Many epistemologists are interested in offering a positive account of how it is that many of our common sense beliefs enjoy one or another positive epistemological status (e.g., how they are warranted, justified, reasonable, or what have you). A number of philosophers, under the influence of Wittgenstein and/or J. L. Austin, have argued that this enterprise is misconceived. The most effective version of this argument is to be found in Mark Kaplan’s paper “Epistemology on Holiday”. After explaining what this criticism (...) amounts to and why it is important, I then respond to it. My response is based upon, and is intended to display the explanatory power of, a contractarian account of our practice of epistemic appraisal. (shrink)

Within debates concerning responsibility for ignorance the distinction between moral and factual ignorance is often treated as crucial. Many prominent accounts hold that while factual ignorance routinely exculpates, moral ignorance never does so. The view that there is an in-principle distinction between moral and factual ignorance has been referred to as the “Asymmetry Thesis.” This view stands in opposition to the “Parity Thesis,” which holds that moral and factual ignorance are in-principle similar. The Parity Thesis has (...) been closely aligned with volitionist accounts of moral responsibility, whereas the Asymmetry Thesis has been closely aligned with Quality of Will accounts. Two central questions are at work here: how ignorance excuses, and whether it excuses in the same way for both moral and factual ignorance. I will argue that these questions have often been confused in the present debate, and once we have distinguished more clearly between them, it seems that Quality of Will accounts are compatible with the Parity Thesis. And more generally: that the distinction between moral and factual ignorance is far less important in debates about responsibility for ignorance than it has often appeared. (shrink)

The distinction of fact and value and the problems entailed by it are concerns only for modern, Western thought. The distinction is supported by Kant, who, however, also attempts to solve its consequent problems. His first attempt is made by arguing that the standard of value is itself a fact. This brings fact and value together, but only in an intelligible world. Kant's second attempt is found in the third Critique in the argument that man, as both rational and animal, (...) must view the world in teleological terms; so doing advances the task of science, finds support in objects of natural beauty, and leads to the creation of beauty in art. Thus, ultimately, the highest complete good, a world under moral laws is itself seen as in fact really possible as the final goal of human creative artistic activity. (shrink)

Introduction: This article discusses ethical, legal and social issues raised by the collection, storage and use of DNA in forensic databases. Review: The largest and most inclusive forensic database in the world, the UK National DNA database, leads the worldwide trend towards greater inclusivity. The performance of the NDNAD, criteria for inclusion, legislative framework and plans for integrating forensic databases across Europe are discussed. Comparisons are drawn with UK biobank that has started collecting DNA samples linked to medical records and, (...) unlike the NDNAD, requires informed consent from volunteers, allows withdrawal of samples and only includes adults. The potential uses of research into genes associated with violent and ‘antisocial’ behaviour are discussed in the context of an increasing degree of surveillance in the UK. Conclusion: It should not be assumed that the benefits of forensic databases will necessarily override the social and ethical costs, regardless of changes to the criteria for inclusion or the permitted uses of samples and profiles. The expansion of forensic databases raises issues of relevance to the medical profession. (shrink)

Initiatives relying on artificial intelligence (AI) to deliver socially beneficial outcomes—AI for social good (AI4SG)—are on the rise. However, existing attempts to understand and foster AI4SG initiatives have so far been limited by the lack of normative analyses and a shortage of empirical evidence. In this Perspective, we address these limitations by providing a definition of AI4SG and by advocating the use of the United Nations’ Sustainable Development Goals (SDGs) as a benchmark for tracing the scope and spread of AI4SG. (...) We introduce a database of AI4SG projects gathered using this benchmark, and discuss several key insights, including the extent to which different SDGs are being addressed. This analysis makes possible the identification of pressing problems that, if left unaddressed, risk hampering the effectiveness of AI4SG initiatives. (shrink)

Role-based database management systems are most widely used for information storage and analysis but are known as vulnerable to insider attacks. The core of intrusion detection lies in an adaptive system, where an insider attack can be judged if it is different from the predicted role by performing classification on the user’s queries accessing the database and comparing it with the authorized role. In order to handle the high similarity of user queries for misclassified roles, this paper proposes a deep (...) metric neural network with strategic sampling algorithm that properly extracts salient features and directly learns a quantitative measure of similarity. A strategic sampling method of heuristically generating and learning training pairs through Monte Carlo search is proposed to select a training pair that can represent the entire dataset. With the TPC-E–based benchmark data trained with 11,000 queries for 11 roles, the proposed model produces the classification accuracy of 95.41%, which is the highest compared with the previous models. The results are verified through comparison of quantitative and qualitative evaluations, and the feature space modelled in the neural network is analysed by t-SNE algorithm. (shrink)

ABSTRACT We introduce a two-dimensional temporal logic as a formalism which enables the description of both the history of a world and the evolution of an observer's views about the history. We apply such formalism to the description of certain problems that occur in historical database systems due to updates. The historical dimension describes the history of a world according to an observer's view at a certain moment in time. The transaction dimension describes the evolution of an observer's view; changes (...) can occur in the observer's view of the present and future as well as in his views of the past. The database is seens as an observer of the history of the world. Besides describing the history of the world, the database system can also execute temporal specifications in the form of temporal actions. The two-dimensional formalism is used to describe the effects of updates in the execution of temporal actions. The detection of some problematic effects and its implementation are discussed. (shrink)

In this book Gregory Browne rejects the views of David Hume and the Logical Positivists, and argues that there are necessary factual truths, which include a wide range of truths from many fields of knowledge. Browne argues for the necessity of Newton's Laws and truths about natural kinds, and for the factuality of definitional truths and truths of logic and mathematics. Browne synthesizes the work of Kripke, Putnam, Quine and others, but goes beyond the usual discussions of the meanings (...) and definitions of terms to discuss the references of various kinds of terms, and specifically to develop a theory of kinds, distinguishing 'Deep Kinds' and 'Shallow Kinds' . His theory of Deep Kinds does not accept all of the assumptions commonly associated wtih a theory of natural kinds. (shrink)

Directive 96/9/EC of the European Parliament and of the Council on the legal protection of databases of 11 March 1996, which was intended to protect the interests of the makers of databases, determined that databases could be protected by double rights: copyright and sui generis right. The article first of all analyses what persons are entitled to be acknowledged as holders of copyright and sui generis right in respect of a newly created database. As the issue of the owner of (...) copyright is not regulated by the 1996 Directive, this is determined by the application of national provisions. Pursuant to the Law on Copyright and Related Rights of the Republic of Lithuania, the owner of copyright may mean, depending on the situation, a natural person – the author of a database or a group of authors, the holder of the right to a collective work, or an employer. The analysis presented in the articleindicates that predominantly it is the author (authors) of a database who is held to be the owner of the copyright. Courts tend to interpret the rule concerning the transfer of copyright to the employer in a restrictive way; besides, in accordance with the specifics of the Lithuanian legal regulation, economic rights are transferred to the employer only for the period of 5 years. The category of collective work is of a subsidiary character and may be applied only in exclusive cases. Therefore, when a database is created upon the commission of another person, including the employer, the customer is expected to form a written agreement where the transfer of economic rights to the customer is clearly defined. (shrink)

There is now a rapidly expanding population of interlinked developmental biology databases on the World Wide Web that can be readily accessed from a desk‐top PC using programs such as Netscape or Mosaic. These databases cover popular organisms (Arabidopsis, Caenorhabditis, Drosophila, zebrafish, mouse, etc.) and include gene and protein sequences, lists of mutants, information on resources and techniques, and teaching aids. More complex are databases relating domains of gene expression to embryonic anatomy and these range from existing text‐based systems for (...) specific organs such as kidney, to a massive project under development, that will cover gene expression during the whole of mouse embryogenesis. In this brief article, we review selected examples of databases currently available, look forward to what will be available soon, and explain how to gain access to the World Wide Web. (shrink)

Generalized databases will be examined, in which attributes can be sets of attributes, or sets of sets of attributes, and other higher type constructs. A precise semantics will be developed for such databases, based on a higher type modal/intensional logic.

This study presents a description of an open database on scientific output of Vietnamese researchers in social sciences and humanities, one that corrects for the shortcomings in current research publication databases such as data duplication, slow update, and a substantial cost of doing science. Here, using scientists’ self-reports, open online sources and cross-checking with Scopus database, we introduce a manual system and its semi-automated version of the database on the profiles of 657 Vietnamese researchers in social sciences and humanities who (...) have published in Scopus-indexed journals from 2008 to 2018. The final system also records 973 foreign co-authors, 1,289 papers, and 789 affiliations. The data collection method, highly applicable for other sources, could be replicated in other developing countries while its content be used in cross-section, multivariate, and network data analyses. The open database is expected to help Vietnam revamp its research capacity and meet the public demand for greater transparency in science management. (shrink)

The essay argues that some factual propositions are both clearly true and not known. The essays argues that those propositions are evidence for anyone to whom they are clearly true.

Dienes & Perner argue that there is a hierarchy of forms of implicit knowledge. One level of their hierarchy involves factuality, where it may be merely implicit that the state of affairs is supposed to be a real one rather than something imagined or fictional. I argue that the factual or fictional status of a thought or utterance cannot be a matter of concept, implicit or explicit.

ABSTRACT Discourse Diversity Database (3D) is a corpus designed for clinical linguistics research. It consists of oral speech samples of three different genres: picture-elicited narratives, personal stories, and picture-based instructions. The sub-sections of 3D include recordings by Russian speakers from three independent groups: people with brain tumors before and after tumor removal, people with schizophrenia, and neurologically healthy individuals. This article is devoted to the description of the data collection, the annotation scheme, and the specific characteristics of each sub-section of (...) the corpus. (shrink)

This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)