In the last decade the concept of context has been extensivelyexploited in many research areas, e.g., distributed artificialintelligence, multi agent systems, distributed databases, informationintegration, cognitive science, and epistemology. Three alternative approaches to the formalization of the notion ofcontext have been proposed: Giunchiglia and Serafini's Multi LanguageSystems (ML systems), McCarthy's modal logics of contexts, andGabbay's Labelled Deductive Systems.Previous papers have argued in favor of ML systems with respect to theother approaches. Our aim in this paper is to support these arguments (...) froma theoretical perspective. We provide a very general definition of ML systems, which covers allthe ML systems used in the literature, and we develop a proof theoryfor an important subclass of them: the MR systems. We prove variousimportant results; among other things, we prove a normal form theorem,the sub-formula property, and the decidability of an importantinstance of the class of the MR systems. The paper concludes with a detailed comparison among the alternativeapproaches. (shrink)

Most human thinking is thoroughly informed by context but, until recently, theories of reasoning have concentrated on abstract rules and generalities that make no reference to this crucial factor. _Perspectives on Contexts_ brings together essays from leading cognitive scientists to forge a vigorous interdisciplinary understanding of the contextual phenomenon. Applicable to human and machine cognition in philosophy, artificial intelligence, and psychology, this volume is essential to the current renaissance in thinking about context.

The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge base. In this paper we show how to determine the effective reasoning capability of an agent with limited memory by encoding the agent as a transition system and automatically verifying whether a state where the agent believes a certain conclusion is reachable from the start state. We present experimental results using (...) the Model Based Planner (MBP) which illustrates how the length of the deduction varies for different memory sizes. (shrink)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the nature (...) of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

The goal of the book is to present the latest research on the new challenges of data technologies. It will offer an overview of the social, ethical and legal problems posed by group profiling, big data and predictive analysis and of the different approaches and methods that can be used to address them. In doing so, it will help the reader to gain a better grasp of the ethical and legal conundrums posed by group profiling. The volume first maps the (...) current and emerging uses of new data technologies and clarifies the promises and dangers of group profiling in real life situations. It then balances this with an analysis of how far the current legal paradigm grants group rights to privacy and data protection, and discusses possible routes to addressing these problems. Finally, an afterword gathers the conclusions reached by the different authors and discuss future perspectives on regulating new data technologies. (shrink)

This article aims to contribute to a (post)extractivist aesthetics at a time of ontological shifts, meaning an aesthetics that focuses on the role of art in struggles for (post)extractivist worlds. First, it argues for a contextualized approach to the use of the extractivism framework and proposes that this framework is particularly productive for approaching the socio-environmental crisis due to the way it allows us to engage with the ontological basis of this crisis. The article then builds on empirical research conducted (...) in Argentina to develop the concept of prefigurative ontological design, one of the key functions, it is proposed, of artistic practice in anti- and post-extractivist movements. In this way, the article aims to expand our understanding of the potential of extractivism as a framework of analysis and contributes to the theorization of the relationship between art and extractivism through the lens of political ontology, offering new concepts for developing a (post)extractivist aesthetics. (shrink)

This book presents cutting edge research on the new ethical challenges posed by biomedical Big Data technologies and practices. 'Biomedical Big Data' refers to the analysis of aggregated, very large datasets to improve medical knowledge and clinical care. The book describes the ethical problems posed by aggregation of biomedical datasets and re-use/re-purposing of data, in areas such as privacy, consent, professionalism, power relationships, and ethical governance of Big Data platforms. Approaches and methods are discussed that can be used to address (...) these problems to achieve the appropriate balance between the social goods of biomedical Big Data research and the safety and privacy of individuals. Seventeen original contributions analyse the ethical, social and related policy implications of the analysis and curation of biomedical Big Data, written by leading experts in the areas of biomedical research, medical and technology ethics, privacy, governance and data protection. The book advances our understanding of the ethical conundrums posed by biomedical Big Data, and shows how practitioners and policy-makers can address these issues going forward. (shrink)

This chapter contains sections titled: Comments and Replies Conclusion Acknowledgments References.

This work fulfills the need for a conceptual and technical framework to improve understanding of Information Quality (IQ) and Information Quality standards. The meaning and practical implementation of IQ are addressed, as it is relevant to any field where there is a need to handle data and issues such as accessibility, accuracy, completeness, currency, integrity, reliability, timeliness, usability, the role of metrics and so forth are all a part of Information Quality. -/- In order to support the cross-fertilization of theory (...) and practice, the latest research is presented in this book. The perspectives of experts from beyond the origins of IQ in computer science are included: library and information science practitioners and academics, philosophers of information, of engineering and technology, and of science are all contributors to this volume. -/- The chapters in this volume are based on the work of a collaborative research project involving the Arts and Humanities Research Council and Google and led by Professor Luciano Floridi, University of Oxford. -/- This work will be of interest to anyone handling data, including those from commercial, public, governmental and academic organizations. The expert editors’ contributions introduce issues of interest to scientists, database curators and philosophers, even though the issues may be disguised in the language and examples common to a different discipline. (shrink)

This article develops an axiomatic theory of induction that speaks to the recent debate on Bayesian orgulity. It shows the exact principles associated with the belief that data can corroborate universal laws. We identify two types of disbelief about induction: skepticism that the existence of universal laws of nature can be determined empirically, and skepticism that the true law of nature, if it exists, can be successfully identified. We formalize and characterize these two dispositions toward induction by introducing novel axioms (...) for subjective probabilities. We also relate these dispositions to the axiom of σ-additivity. (shrink)

I first met Norman Malcolm in the fall of 1963 when, as a terrified sophomore, I took his course in Free Will and Determinism at Cornell. I believe I had already heard that Malcolm was a figure of almost legendary proportions.

Comportamento dell'idea nelle poetiche del Seicento.-Del wit: lettura di un passo di Locke.-"Vorrede" ed "Einleitung" alla Critica del giudizio.