Clearing algorithms are at the core of modern payment systems, facilitating the settling of multilateral credit messages with (near) minimum transfers of currency. Traditional clearing procedures use batch processing based on MILP - mixed-integer linear programming algorithms. The MILP approach demands intensive computational resources; moreover, it is also vulnerable to operational risks generated by possible defaults during the inter-batch period. This paper presents TORC3 - the Token-Ring Clearing Algorithm for Currency Circulation. In contrast to the MILP approach, TORC3 is (...) a real time heuristic procedure, demanding modest computational resources, and able to completely shield the clearing operation against the participating agents’ risk of default. (shrink)

Throughout 2012 and the first quarter of 2013, Vietnamese households and businesspeople lived in uncertainty and fears about the nation’s falling economic performance.

Vietnamese media keep telling the public about the problem of rising financial burdens caused by interest rates and shrinking funds availability, pushing many non-financial SMEs to the verge of collapse. However, little attention was paid to the issue of rising inventories at manufacturing and processing firms, which potentially could lead to more emergent and apparent risks.

We present epistemic multilateral logic, a general logical framework for reasoning involving epistemic modality. Standard bilateral systems use propositional formulae marked with signs for assertion and rejection. Epistemic multilateral logic extends standard bilateral systems with a sign for the speech act of weak assertion (Incurvati and Schlöder 2019) and an operator for epistemic modality. We prove that epistemic multilateral logic is sound and complete with respect to the modal logic S5 modulo an appropriate translation. The logical framework (...) developed provides the basis for a novel, proof-theoretic approach to the study of epistemic modality. To demonstrate the fruitfulness of the approach, we show how the framework allows us to reconcile classical logic with the contradictoriness of so-called Yalcin sentences and to distinguish between various inference patterns on the basis of the epistemic properties they preserve. (shrink)

ASP.net is one of the most widely used languages in web developing of its many advantages, so there are many lessons that explain its basics, so it should be an intelligent tutoring system that offers lessons and exercises for this language.why tutoring system? Simply because it is one-one teacher, adapts with all the individual differences of students, begins gradually with students from easier to harder level, save time for teacher and student, the student is not ashamed to make mistakes, and (...) more. Therefore, in this paper, we describe the design of an Intelligent Tutoring System for teaching ASP.net to help students learn ASP.net easily and smoothly. Tutor provides beginner level in ASP.net. Finally, we evaluated our tutor and the results were excellent by students and teacher. (shrink)

In this paper I argue for a theory of punishment I call Multilateral Retributivism. Typically retributive notions of justice are unilateral: focused on one person’s desert. I argue that our notions of desert are multilateral: multiple people are owed when a moral crime is committed. I argue that the purpose of punishment is communication with the end-goal of reconciling the offender to society. This leads me to conclude that the death penalty and life without parole are unjustified because (...) they necessarily cut communication short. (shrink)

We show how to embed a framework for multilateral negotiation, in which a group of agents implement a sequence of deals concerning the exchange of a number of resources, into linear logic. In this model, multisets of goods, allocations of resources, preferences of agents, and deals are all modelled as formulas of linear logic. Whether or not a proposed deal is rational, given the preferences of the agents concerned, reduces to a question of provability, as does the question of (...) whether there exists a sequence of deals leading to an allocation with certain desirable properties, such as maximising social welfare. Thus, linear logic provides a formal basis for modelling convergence properties in distributed resource allocation. (shrink)

Union Citizenship as currently implemented in the European Union introduces a distinct concept of citizenship that necessitates an adequate normative approach. The objective of this paper is to assess EU Citizenship against the theoretical background of multilateral democracy. This approach is specifically suited for this task, as it does not rely on a nation-state paradigm or the presumption of a further transformation into a federation or union. We propose three criteria by which to assess multilevel citizenship: equal individual rights, (...) equal sovereignty of peoples and the balancing of individuals' and peoples' interests. We argue that the current practice of Union Citizenship does not fully meet the proposed standards, regarding equal rights within and equal access to, the political system. Based on our assessment, we propose reform options of access to national and supranational citizenship and argue for supranational participation rights and equal transnational rights to gradually re-establish full membership for individuals. (shrink)

These involved theorems on sweeping nets, saddle maps and complex analysis are a thorough examination of the method an its fundamental mechanics. The basic foundation of this analytical method is useful to any artificer of mechanical programs or development of software applications that involve computer vision or graphics. These methods will have application to further theories and methods in string theory and cosmology or even approximation of environmental factors for machine learning. -/- .

Non-technical summary: -/- When developing and deploying negative emissions technologies (NETs), little attention has been paid to where. On the one hand, one might develop NETs where they are likely to contribute most to global mitigation targets, contributing to a global climate solution. On the other hand, one might develop NETs where they can help support development on a regional basis, justified by regional demands. I defend these arguments and suggest that they reflect the values of efficiency and responding to (...) need, respectively. To the extent that these values conflict, they introduce what I call the Need-Efficiency Trade-off Effect (‘NET Effect’). -/- Technical summary: -/- Unlike other geoengineering methods, the effectiveness of negative emissions technologies (NETs) tends to be sensitive to regional siting. This paper argues that this point raises morally and legally important implications by identifying a trade-off between ‘efficiency’ and ‘need’. First, it introduces two arguments justifying NETs: one focused on contributions to global mitigation and the other focused on contributions to regional development. Second, reflecting the two arguments, the paper discusses the moral values of efficiency and need, respectively. For instance, if the strategy is to try to use NETs to maximize expected mitigation contributions to reflect efficiency, then deployment should occur in regions with the best prospects for success (e.g. Western countries). However, if the strategy is to try to use NETs to improve the chances of simultaneous development and mitigation to respond to need, then deployment should occur in regions with limited development and expected growth of demand for NETs (e.g. Asian countries). When these values conflict, I call that a Need-Efficiency Trade-off Effect (‘NET Effect’). The paper concludes by considering the NET Effect in the context of bioenergy with carbon capture and storage as well as direct air carbon capture and storage. [Open access]. (shrink)

Digital media has become an integral part of people’s lives, and its ubiquity and pervasiveness in our everyday lives raise new ethical, social, cultural, political, economic and legal issues. Many of these issues have primarily been dealt with in terms of what is ‘right’ or ‘just’ with digital media and digitally-mediated practices, and questions about the relations between digital media and the good life are often left in the background. In short, what is often missing is an explicit discussion of (...) the relations between digital media and the good life. Under the label of ‘Net recommendation’, the present study aims to offer a balanced and constructive normative analysis of digital media, focusing on the relations between digital media and the good life. The project of Net recommendation aims to (re)assert the importance of actual discourses in our normative analysis of the relations between digital media and the good life. I pursue this project with a Walzerian approach to digital media and the good life that takes seriously (and, ideally, also interacts with) actual discourses. This approach allows us to have a better understanding of our normative judgements on the impacts of digital media has (or will have) on the good life and, at the same time, allows us to answer the question of ‘how should we live with digital media?’ more adequately. Moreover, the Walzerian approach is useful in both an intra-cultural and an inter¬cultural context. Using China’s Internet as a case study, I show that the relations between digital media and the good life in each culture should be examined in its own right. Together, I hope, this study provides an adequate illustration and defence of the project of Net recommendation that does not start with the assumption of digital media being a source of moral problem and strives to recommending specific ways to reform and/or transform digital media and digitally-mediated practices that allow us to have better relations with digital media and enable us to live better lives with them. (shrink)

The purpose of the work is to form the net structure of management of the system of administrative services provision on the basis of implementation of subject-to-subject interactions between state sector and civil society. Methodology. The methodology basis for the investigation is the abstract-logical analysis of theoretical and methodological backgrounds for management of relations and interactions. For the theoretical generalization and formation of net structure, there are used scientific recommendations of Ukrainian scientists regarding the necessity to implement subject-to-subject relations in (...) the system of administrative services provision. Results. The investigations allowed confirming that the hierarchical structure of the state governance system does not give an opportunity to implement equal interaction between a subject of provision and a subject of an appeal as these relations have one – way communication and the feedback channel has a formal character. Moreover, the civil society is not considered by state sector to be a source of methods and ways to develop the system of state governance, in particular, the management system of administrative services provision. Practical meaning. The net structure of management will allow implementing the subject-subject relations in the system, under which the actions of the subject of provision – that means state sector – will be directed to the realization of rights and interests of the subjects of appeal. In their turn, apart from the performance of all legislative responsibilities that they should perform, they can carry out activities directed to the development of management activity in the system of administrative services provision and the whole system of state governance as an integral system of management. Meaning/Distinction. The provided model of the net structure will allow involving citizens in the processes of state governance and increasing the impact of the civil sector during the making of state and management decisions and, as a result, to confirm subject-to-subject positions in the relations. (shrink)

The democratic criteria for representation in the European Union are complex since its representation involves several delegation mechanisms and institutions. This paper develops institutional design principles for the representation of peoples and individuals and suggests reform options of the European Union on the basis of the theory of multilateral democracy. In particular, it addresses how the equality of individuals can be realised in EU representation while guaranteeing the mutual recognition of peoples. Unlike strict intergovernmental institutions, the EU requires an (...) additional and independent legislative chamber in which individuals are directly represented. However, strict equality of individuals cannot be the guiding principle for this chamber. In order to avoid the overruling of peoples through supranational majorities, it is necessary to bind the chamber's composition by a principle of degressive proportionality. The representation of peoples, on the other hand, needs to be connected to their domestic democratic institutions. (shrink)

Atomically precise manufacturing (APM) is the assembly of materials with atomic precision. APM does not currently exist, and may not be feasible, but if it is feasible, then the societal impacts could be dramatic. This paper assesses the net societal impacts of APM across the full range of important APM sectors: general material wealth, environmental issues, military affairs, surveillance, artificial intelligence, and space travel. Positive effects were found for material wealth, the environment, military affairs (specifically nuclear disarmament), and space travel. (...) Negative effects were found for military affairs (specifically rogue actor violence and AI. The net effect for surveillance was ambiguous. The effects for the environment, military affairs, and AI appear to be the largest, with the environment perhaps being the largest of these, suggesting that APM would be net beneficial to society. However, these factors are not well quantified and no definitive conclusion can be made. One conclusion that can be reached is that if APM R&D is pursued, it should go hand-in-hand with effective governance strategies to increase the benefits and reduce the harms. (shrink)

Brains, unlike artificial neural nets, use symbols to summarise and reason about perceptual input. But unlike symbolic AI, they “ground” the symbols in the data: the symbols have meaning in terms of data, not just meaning imposed by the outside user. If neural nets could be made to grow their own symbols in the way that brains do, there would be a good prospect of combining neural networks and symbolic AI, in such a way as to combine the good features (...) of each. The article argues the cluster analysis provides algorithms to perform the task, and that any solution to the task must be a form of cluster analysis. (shrink)

We present a formal mechanical analysis using sweeping net methods to approximate surfacing singularities of saddle maps. By constructing densified sweeping subnets for individual vertices and integrating them, we create a comprehensive approximation of singularities. This approach utilizes geometric concepts, analytical methods, and theorems that demonstrate the robustness and stability of the nets under perturbations. Through detailed proofs and visualizations, we provide a new perspective on singularities and their approximations in analytic geometry.

We present a novel approach to defining the mathematical constant π through the infinite den- sification of a sweeping net, which approximates a circle as the net becomes infinitely dense. By developing and enhancing notation related to sweeping nets and saddle maps, we establish a rigor- ous framework for expressing π in terms of the densification process using reverse integration. This method, inspired by the concept that numbers ”come from infinity,” leverages a reverse integral approach to model the transition from (...) infinite densification to the finite circle. Our work not only offers a new perspective on the geometric interpretation of π but also provides insights into reverse integration techniques and their applications in mathematical analysis. (shrink)

From September 11 to 13, 2024, Phenikaa University hosted the ATU-Net Student Leader Forum 2024 (SeLF), an annual event organized by the Asia Technological University Network (ATU-Net), a strategic international alliance of 34 universities from 15 countries. This event brings together exceptional students and young leaders from ATU-Net member institutions and partners, providing a platform for knowledge exchange, and mutual learning, and fostering both regional connections and a global identity.

This paper describes an Intelligent Tutoring System for helping users with ADO.NET called ADO-Tutor. The Intelligent Tutoring System was designed and developed using (ITSB) authoring tool for building intelligent educational systems. The user learns through the intelligent tutoring system ADO.NET, the technology used by Microsoft.NET to connect to databases. The material includes lessons, examples, and questions. Through the feedback provided by the intelligent tutoring system, the user's understanding of the material is assessed, and accordingly can be guided to different difficulty (...) level of exercises and/or the lessons. The Intelligent Tutoring System was evaluated by a group of users and the results were more than satisfactory in terms of the quality of the material and the design of the system. (shrink)

Published with great thanksgiving for Yaohushua, the living One Yahowah, "Jesus Christ." -/- In previous work, Formalizing Mechanical Analysis Using Sweeping Net Methods I, sweeping net methods have been extended to complex analysis, relying on the argument of complex functions defined on the unit circle. In this paper, we reformulate these methods purely within a real-valued and geometric framework, avoiding the use of complex analysis. By redefining the sweeping net constructs and the associated theorems using real functions and geometric interpretations (...) on the unit circle, we demonstrate how singularities and their approximations can be effectively analyzed without the need for imaginary numbers. This approach provides intuitive geometric insights and broadens the applicability of sweeping net methods in mathematical analysis. (shrink)

In the introduction to his Philosophy of Nature, Hegel speaks of metaphysics as “the entire range of the universal determinations of thought, as it were the diamond net into which everything is brought and thereby first made intelligible. Every educated consciousness has its metaphysics, an instinctive way of thinking”. Both Wittgenstein and Hegel see our many languages and forms of life as constituted by different diamond nets of categories/grammars. I argue that both Wittgenstein and Hegel take a non-reductive attitude toward (...) this plurality of local ontologies, but that they disagree about what that plurality implies for history and philosophy. Their disagreements come in part from their differing choice of examples, influenced by atomism and holism. Even more, their disagreements stem from divergent notions about the structure and mode of being of those diamond nets. During the discussion, I distinguish three uses of the word “ontology”, and I ask each thinker about what might improve the other’s philosophical project. (shrink)

The Internet was born in 1960’s, then Internet ethics appeared as a branch of information ethics. It seems, however, our status on the Net is not yet scrutinized. We investigate this problem with the help of philosophers like Dreyfus, Merleau-Ponty, and Austin.

This article is a modified version of a paper I gave to the conference Philosophy & Informatics - First Italian Conference on the use of ICT in philosophical disciplines, promoted by the Italian Philosophical Association (University of Rome "La Sapienza", 23-24 November, 1995).

We work with a large spatialized array of individuals in an environment of drifting food sources and predators. The behavior of each individual is generated by its simple neural net; individuals are capable of making one of two sounds and are capable of responding to sounds from their immediate neighbors by opening their mouths or hiding. An individual whose mouth is open in the presence of food is “fed” and gains points; an individual who fails to hide when a predator (...) is present is “hurt” by losing points. Opening mouths, hiding, and making sounds each exact an energy cost. There is no direct evolutionary gain for acts of cooperation or “successful communication” per se. In such an environment we start with a spatialized array of neural nets with randomized weights. Using standard learning algorithms, our individuals “train up” on the behavior of successful neighbors at regular intervals. Given that simple setup, will a community of neural nets evolve a simple language for signaling the presence of food and predators? With important qualifications, the answer is “yes.” In a simple spatial environment, pursuing individualistic gains and using partial training on successful neighbors, randomized neural nets can learn to communicate. (shrink)

The Riemann zeta function ζ(s) is a central object in number theory and complex analysis, defined for complex variables and intimately connected to the distribution of prime numbers through its zeros. The famous Riemann Hypothesis conjectures that all non-trivial zeros of the zeta function lie on the critical line Re(s) = 1 2 . In this paper, we explore the Riemann zeta function through the lens of set-theoretic and sweeping net methods, leveraging creative comparisons of specific sets to gain deeper (...) insight into the distribution of its zeros. By rewording and analyzing the Riemann Hypothesis using set-theoretic arguments, applying sweeping net techniques, and integrating modal logic interpretations, we aim to provide new perspectives and support for this profound conjecture. Our objectives are: • Define the zeta function and its properties relevant to the zeros. • Reword the Riemann Hypothesis using set-theoretic language and establish logical equivalence. • Introduce and compare specific sets related to the zeros of ζ(s). • Apply set-theoretic and sweeping net methods to analyze the distribution of zeros. • Provide rigorous proofs about the absence of zeros in certain regions, including mechanical justifi- cations with all steps. • Incorporate modal logic interpretations into the proof. • Discuss implications for the Riemann Hypothesis. (shrink)

We model scientific theories as Bayesian networks. Nodes carry credences and function as abstract representations of propositions within the structure. Directed links carry conditional probabilities and represent connections between those propositions. Updating is Bayesian across the network as a whole. The impact of evidence at one point within a scientific theory can have a very different impact on the network than does evidence of the same strength at a different point. A Bayesian model allows us to envisage and analyze the (...) differential impact of evidence and credence change at different points within a single network and across different theoretical structures. (shrink)

Abstract: ASP dot net is one of the most widely used languages in web developing of its many advantages, so there are many lessons that explain its basics, so it should be an intelligent tutoring system that offers lessons and exercises for this language.why tutoring system? Simply because it is one-one teacher, adapts with all the individual differences of students, begins gradually with students from easier to harder level, save time for teacher and student, the student is not ashamed to (...) make mistakes, and more. Therefore, in this paper, we describe the design of an Intelligent Tutoring System for teaching ASP dot net to help students learn ASP dot net easily and smoothly. Tutor provides beginner level in ASP dot net. Finally, we evaluated our tutor and the results were excellent by students and teacher. (shrink)

The paper proposes a method for approximating surfacing singularities of saddle maps using a sweeping net. The method involves constructing a densified sweeping subnet for each individual vertex of the saddle map, and then combining each subnet to create a complete approximation of the singularities. The authors also define two functions $f_1$ and $f_2$, which are used to calculate the charge density for each subnet. The resulting densified sweeping subnet closely approximates the surfacing saddle map near a circular region.

This paper provides a realist analysis of the EU's legitimacy. We propose a modification of Bernard Williams' theory of legitimacy, which we term critical responsiveness. For Williams, 'Basic Legitimation Demand + Modernity = Liberalism'. Drawing on that model, we make three claims. (i) The right side of the equation is insufficiently sensitive to popular sovereignty; (ii) The left side of the equation is best thought of as a 'legitimation story': a non-moralised normative account of how to shore up belief in (...) legitimacy while steering clear of both raw domination and ideological distortions. (iii) The EU's current legitimation story draws on a tradition of popular sovereignty that sits badly with the supranational delegation and pooling of sovereign powers. We conclude by suggesting that the EU's legitimation deficit may be best addressed demoicratically, by recovering the value of popular sovereignty at the expense of a degree of state sovereignty. (shrink)

A crucial question for artificial cognition systems is what meaning is and how it arises. In pursuit of that question, this paper extends earlier work in which we show that emergence of simple signaling in biologically inspired models using arrays of locally interactive agents. Communities of "communicators" develop in an environment of wandering food sources and predators using any of a variety of mechanisms: imitation of successful neighbors, localized genetic algorithms and partial neural net training on successful neighbors. Here we (...) focus on environmental variability, comparing results for environments with (a) constant resources, (b) random resources, and (c) cycles of "boom and bust." In both simple and complex models across all three mechanisms of strategy change, the emergence of communication is strongly favored by cycles of "boom and bust." These results are particularly intriguing given the importance of environmental variability in fields as diverse as psychology, ecology and cultural anthropology. (shrink)

In spite of all the industrious efforts Peirce scholars have made so far, Peirce’s biography still retains a number of gaps, among which the problem of identity of Peirce’s second wife, Juliette Froissy, stands out most significantly. It is all the more important that, as some scholars suggest, the discovery of any reliable facts about Juliette could provide an explanation to some of the decisions Peirce had made, which irrevocably changed the course of his life, as well as his semiotic (...) theory. By courtesy of Professor Dr. Nathan Houser and the Peirce Edition Project, the writer of the present paper was granted access to the archive materials containing the Max H. Fisch — Maurice Auger correspondence and Victor Lenzen’s notes on Juliette. The paper aims at arranging the dispersed data obtained from these and other sources into a set of several distinct versions, which curiously refer to each other and collectively impose a certain order on some major abductions concerning Juliette’s identity. (shrink)

This article presents a two level hierarchical forecasting model developed in a consulting project for a Brazilian magazine publishing company. The first level uses a VARMA model and considers econometric variables. The second level takes into account qualitative aspects of each publication issue, and is based on polynomial networks generated by Genetic Programming (GP).

J.G. Frazer tells us about a last resort technique which Cambodian hunters use when they have caught nothing in their nets. The “technique” is they act as if they themselves have got caught in the net. Frazer explains this as the consequence of magical thinking, but I propose a different explanation.

On-line, just as off-line, there are ways of assessing the credibility of information sources. The Internet, although it arguably makes for nothing wholly new in this regard, complicates the ordinary task of assessing credibility. In the first section, I consider a specific example and argue that Internet content providers have no clear interest in resolving these comlications. In the second, I consider four general ways that we might assess credibility and explore how they apply to life online. Finally, I argue (...) that even careful information gathering may pose subtle pitfalls but that some of these may be mitigated on-line. (shrink)

Jordan agreed to extensive liberalization undertakings under the General Agreement on Trade in Services (“GATS”) that would open some sectors that were previously closed or restricted to foreign suppliers and investors. It undertook horizontal commitments in cross-border movement of individuals and commercial presence covering all types of services.

This chapter explores the personal and professional obstacles faced by Humanities and Social Science scholars contemplating pre-publication of their scholarly work in an on-line network. Borrowing a theoretical framework from the radical educational theorist Ivan Illich, it also develops the idea that pre-publication networks offer higher education a bottom-up, decentralized alternative to business-modeled e-learning. If learners would only embrace this more anarchical medium, appreciating writing for pre-publication as a process of open-ended discovery rather than product delivery, then the prospect of (...) deinstitutionalizing e-learning could become an exciting new reality. The chapter’s methodology is a combination of normative-theoretical analysis and small sample (n=2) case study based on the author’s personal and professional experiences. While the generalizability (or external validity) of the conclusions is limited, the author hopes to motivate further inquiry into the connection between on-line pre-publication and e-learning. (shrink)

This article presents a new model for valuing financial contracts subject to credit risk and collateralization. Examples include the valuation of a credit default swap (CDS) contract that is affected by the trilateral credit risk of the buyer, seller and reference entity. We show that default dependency has a significant impact on asset pricing. In fact, correlated default risk is one of the most pervasive threats in financial markets. We also show that a fully collateralized CDS is not equivalent to (...) a risk-free one. In other words, full collateralization cannot eliminate counterparty risk completely in the CDS market. (shrink)

The book, providing a broad analysis of trade liberalization initiatives from the inception of the World Trade Organization (WTO) to 2013, is essential reading for trade lawyers, researchers, and students alike who are interested in getting a glimpse of the future directions for trade liberalization. The book attempts to ask and answer the following key question: What are the alternatives to trade liberalization in the WTO system?

The goal of philosophy of information is to understand what information is, how it operates, and how to put it to work. But unlike ‘information’ in the technical sense of information theory, what we are interested in is meaningful information. To understand the nature and dynamics of information in this sense we have to understand meaning. What we offer here are simple computational models that show emergence of meaning and information transfer in randomized arrays of neural nets. These we take (...) to be formal instantiations of a tradition of theories of meaning as use. What they offer, we propose, is a glimpse into the origin and dynamics of at least simple forms of meaning and information transfer as properties inherent in behavioral coordination across a community. (shrink)

Trong khu vực Đông Nam Á, Indonesia là nền kinh tế lớn và cũng là quốc gia phát thải khí nhà kính lớn nhất. Tuy nhiên, Indonesia cũng cam kết mạnh mẽ với mục tiêu giảm mạnh ảnh hưởng phát thải của khu vực sản xuất điện năng của mình, hiện nay đang chủ yếu vận hành các nhà máy nhiệt điện đốt than.

The rapid proliferation of artificial intelligence (AI) technologies has ushered in a new era of opportunities and challenges, prompting nations to grapple with the concept of AI sovereignty. This article delves into the definition and implications of AI sovereignty, drawing parallels to the well-established notion of cyber sovereignty. By exploring the connotations of AI sovereignty, including control over AI development, data sovereignty, economic impacts, national security considerations, and ethical and cultural dimensions, the article provides a comprehensive understanding of this emerging (...) paradigm. The potential controversies surrounding AI sovereignty, such as the tension between national interests and global cooperation, technological protectionism, human rights and privacy issues, and the risk of exacerbating global inequalities, are critically examined. To navigate these complexities and facilitate responsible AI governance, the article proposes a multifaceted international governance framework. Key recommendations include fostering multilateral cooperation and standards-setting, implementing transparency and accountability measures, establishing ethical guidelines and human rights protections, developing mechanisms for technology transfer and capacity building, and instituting robust dispute resolution and enforcement protocols. Ultimately, this article underscores the need for a balanced and collaborative approach to AI governance that aligns technological advancement with ethical integrity and global solidarity. (shrink)

This paper examines the conservative point of view about distributive justice. The first section explains the methodology used to develop this point of view. The second section describes one conservative point of view and briefly provides empirical evidence that it reflects the viewpoint of many ordinary conservatives. The third section explains how this conservative view can ground objections to social safety net programs, using as examples the recent health reform legislation and more extensive proposals for a true national health system. (...) The fourth section sketches ways that non-conservative philosophers might try to refute those objections. Examining a conservative point of view leads to several important conclusions. One is that the conservative point of view is not properly represented in contemporary philosophical discussions. Another is that the conservative point of view cannot be refuted by appealing to existing egalitarian writings. A third is that if progressive philosophers such as myself want to address the conservative point of view, we must expand the range of issues that we discuss in contemporary political philosophy. Doing so is a vital task, because otherwise we ignore the political views held by as much as half the American population. (shrink)

Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in the (...) traditional monograph "Introduction to Metamathematics". We analyze four different translations of intuitionistic logic into linear logic and compare their proofs using a linear logic based prover with focusing. In order to enhance the set of problems in our library, we apply the three provability-preserving translations to the propositional benchmarks in the ILTP Library. Finally, we generate a comprehensive set of reachability problems for Petri nets and encode such problems as linear logic sequents, thus enlarging our collection of problems. (shrink)

The general aim of this article is to carry out a reconstruction of the theory of Population Dynamics (DP) in Ecology, according to Castle’s (2001) general stance with regard to the semantic view of theories, but doing it within the framework of metatheoretical structuralism. Thus, we will first identify Population Dynamics’ basic theory-element: its core K(DP) – with the class of potential models, the class of models (through the identification of its fundamental law) and the class of partial potential models (...) (though leaving aside the identification of its constraints and its intertheoretical links) –, and its domain of intended applications I(DP). Then, we will establish the general guiding lines of its theory-net, developing in some detail one of its main lines of specialization – namely, that related to the so-called “continuous growing” of the considered populations –, with DP’s principal “models”, and leave developing of the other of its main lines of specialization – namely, that related to the so-called “discrete growing” of the considered populations – for a further publication. (shrink)

The main purpose of this paper is not to create another detailed lexical definition of light in accordance to the principles of theory, but rather to examine the methodology as well as the way of defining the light as a lexical unit by scholars (Dobaczewski 1999a, 1999b, 2001a, 2001b; Dyszak 1999a, 1999b). I argue that a semantic deposit (SD) domain of lexical unit light could be understood only if supplemented with semantic units that possess a high-abstractive meaning value organized in (...) Semantic Net structure (Semantic Net hereinafter referred to as SN). Therefore, lexical unit light cannot be defined as a property of semantic primitives’ faculty. (shrink)

The goal of the Department of Defense Net-Centric Data Strategy is to improve data sharing throughout the DoD. Data sharing is a critical element of interoperability in the emerging system-of-systems. Achieving interoperability requires the elimination of two types of data heterogeneity: differences of syntax and differences of semantics. This paper builds a path toward semantic uniformity through application of a disciplined approach to ontology. An ontology is a consensus framework representing the types of entities within a given domain and the (...) relations between them. The construction of an ontology begins when a Community of Interest (COI) identifies its authoritative data sources (ADS), which are usually manifest in relevant doctrinal publications, glossaries, data dictionaries, and logical data models. The identified terms are then defined in relation to a common logical framework that has been designed to ensure interoperability with other ontologies created on the basis of the same strategy. As will be described, the Command and Control (C2) Ontology will include representations of a substantial number of entities within the Command and Control (C2) domain. If domain ontologies (e.g. Strike and Counterinsurgency) semantically align with the C2 Ontology, then a substantial barrier to systems interoperability is thereby crossed. (shrink)

English: Effective altruism has focused on moral efficiency, i.e. the ratio of the resources used (money, time ...) to the moral benefit achieved, in addition to the extent of our moral commitment, and has called for the maximum efficiency of moral commitment. This raises two questions, among others, which are the subject of this paper: 1. How does one calculate moral efficiency? 2. Is maximum moral efficiency the right moral decision-making criterion? In the article, efficiency calculations of donations for two (...) charitable projects are presented in detail (question 1): distribution of mosquito nets in malaria areas in sub-Saharan Africa and maintenance of a children's village in Guatemala. The result is that the children's village project is clearly less efficient. Should it therefore be abandoned, although it seems to be a very useful project (question 2)? (shrink)

The article considers the problem of images and the role they play in our reflection turning to evidence provided by two seemingly very distant theories of mind together with two sorts of corresponding visions: dreams as analyzed by Freud who claimed that they are pictures of our thoughts, and their mechanical counterparts produced by neural networks designed for object recognition and classification. Freud’s theory of dreams has largely been ignored by philosophers interested in cognition, most of whom focused solely on (...) the linguistic incarnation of thoughts, but even though commonly neglected by respectable theories of thinking, dream images may prove to be the key to the black box of thought. As argued in this article, when seen from the right perspective and approached with the right set of questions, oneiric visions yield groundbreaking insights into the mechanism of how concepts and judgments are formed. Support for this conclusion comes from a tradition seemingly remote, if not opposed to psychoanalysis: the mechanical model of the mind conceived by information sciences and embodied in the form of artificial neural nets which mirror the activity of human visual cortex producing visions strikingly similar to those created by the sleeping mind. These purely mechanical, artificial ‘dreams’ constitute byproducts of algorithms designed for object recognition and classification, which, as I shall argue, reveals the true purpose of our own oneiric visual formations. Just like their mechanical counterparts produced by neural networks, condensations and displacements encountered in dreams are in fact visual universals. (shrink)

A large text presents the history of Computer Art. The history of the artistic uses of computers and computing processes is reconstructed from its beginnings in the fifties to its present state. It points out hypertextual, modular and generative modes to use computing processes in Computer Art and features examples of early developments in media like cybernetic sculptures, video tools, computer graphics and animation (including music videos and demos), video and computer games, pervasive games, reactive installations, virtual reality, evolutionary art (...) and net art. The functions of relevant art works are explained more detailed than is usual in such histories. From October 2011 to December 2012 the chapters have been published successively in German (The English translation started in August 2013 and was completed in June 2014). (shrink)