A well-ingrained and recommended engineering practice in safety-critical software systems is to separate safety concerns from other aspects of the system. Along these lines, there have been calls for operating systems that implement ethical controls in an ethical layer separate from, and not amenable to tampering by, developers and modules in higher-level intelligence or cognition layers. There have been no implementations that demonstrate such a marshalling of ethical principles into an ethical layer. To address this, we present (...) three different tracks for implementing such systems, and offer a prototype implementation of the third track. We end by addressing objections to our approach. (shrink)

In this work, a virtual submerged floating operational system based on parallel and serial robotic platforms is proposed. The primary aim behind its development lies in carrying out simulated underwater manipulation experiments in an easier and safer way. This VSFOS is consisted of a six-degree-of-freedom parallel platform, an ABB serial manipulator, an inertial sensor, and a real-time industrial computer. The 6-DOF platform is used to simulate the movement of an underwater vehicle, whose attitude is measured by the inertial sensor. The (...) ABB manipulator, controlled by the real-time industrial computer, works as an operational tool to perform underwater manipulation tasks. In the control system architecture, software is developed to receive the data collected by the inertial sensor, to communicate and send instructions. Furthermore, the real-time status of the manipulator is displayed in this software. To validate the proposed system, two experiments have been conducted to test its performance. In the first experiment, the test is carried out to check the communication function of VSFOS, while in the second one, the manipulator is intended to follow the movement of the parallel platform and perform simulated operational task in the space. The obtained results from these two experiments show clearly the effectiveness and the performance of the proposed VSFOS. (shrink)

Pervasive, easy-to-use privacy services are keys to enabling users to maintain control of their private data in the online environment. This paper proposes (1) an online privacy lifecycle from the user perspective that drives and categorizes the development of these services, (2) a layered platform design solution for online privacy, (3) the evolution of the PeCAN (Personal Context Agent Networking) architecture to a platform for pervasively providing multiple contexts for user privacy preferences and online informational privacy services, and (4) use (...) of platform network effects for increasing wide-scale user adoption of privacy services. One implication of this paper’s concepts is that platform-mediated networks, which are reportedly the vehicles for most of the revenue earned by 60 of the world’s largest companies, and other platforms that commonly host millions of users, will not have to individually reinvent and manage sophisticated user services for privacy protection since universal privacy platforms can be layered on them in future. (shrink)

This paper is mainly concerned with proof-theoretic analysis of some second-order systems of explicit mathematics with a non-constructive minimum operator. By introducing axioms for variable types we extend our first-order theory BON to the elementary explicit type theory EET and add several forms of induction as well as axioms for μ. The principal results then state: EET plus set induction is proof-theoretically equivalent to Peano arithmetic PA <0).

In the paper [8], the first author developped a topos- theoretic approach to reference and modality. (See also [5]). This approach leads naturally to modal operators on locales (or spaces without points). The aim of this paper is to develop the theory of such modal operators in the context of the theory of locales, to axiomatize the propositional modal logics arising in this context and to study completeness and decidability of the resulting systems.

Feferman, S. and G. Jäger, Systems of explicit mathematics with non-constructive μ-operator. Part I, Annals of Pure and Applied Logic 65 243-263. This paper is mainly concerned with the proof-theoretic analysis of systems of explicit mathematics with a non-constructive minimum operator. We start off from a basic theory BON of operators and numbers and add some principles of set and formula induction on the natural numbers as well as axioms for μ. The principal results then state: BON plus (...) set induction is proof-theoretically equivalent to Peano arithmetic PA; BON plus formula induction is proof-theoretically equivalent to the system <0 of second-order arithmetic. (shrink)

In 1990, J. L. Krivine introduced the notion of storage operator to simulate “call by value” in the “call by name” strategy. J. L. Krivine has showed that, using Gödel translation of classical into intuitionistic logic, one can find a simple type for the storage operators in AF2 type system. This paper studies the ∀-positive types and the Gödel transformations of TTR type system. We generalize by using syntactical methods Krivine's theorem about these types and for these transformations. We give (...) a proof of this result in the case of the type of recursive integers. (shrink)

The aim of this article is to give the proof-theoretic analysis of various subsystems of Feferman's theory T1 for explicit mathematics which contain the non-constructive μ-operator and join. We make use of standard proof-theoretic techniques such as cut-elimination of appropriate semiformal systems and asymmetrical interpretations in standard structures for explicit mathematics.

The study aims to contribute to understand the Vitruvian design system through the analysis of the temples described in the text leading to the three key concepts related: proportio, commensus and commodulatio. At first, it is proposed a conceptual discussion about the origin of the compositional elements, and further it is discussed the concept of proportio as an operation of sizing and scaling these elements individually. Analyzed the definition and types of elements, it is proposed to continue the discussion on (...) the relationship that must be built as a way of associating elements in a consistent way, leading to the notion of symmetria, understood as an ideal state in which the elements maintain dimensional and/or geometrical relationships between them, creating a relational harmony. From the operational point of view, it is sought to demonstrate that the Vitruvian symmetria is fetched from two types of relations: a modular and a dimensional. (shrink)

In 1990, J.L. Krivine introduced the notion of storage operator to simulate 'call by value' in the 'call by name' strategy. J.L. Krivine has shown that, using Gödel translation of classical into intuitionitic logic, we can find a simple type for the storage operators in AF2 type system. This paper studies the $forall$-positive types (the universal second order quantifier appears positively in these types), and the Gödel transformations (a generalization of classical Gödel translation) of TTR type system. We generalize, by (...) using syntaxical methods, the J.L. Krivine's Theorem about these types and for these transformations. We give a proof of this result in the case of the type of recursive integers. (shrink)

This work adopts H. Kelsen’s concept of legal system, proposes a formal definition for such notion, and introduces an operational semantical framework for legal systems that are situated in agent societies. Agent societies are defined. Relevant formal properties of situated legal systems are discussed; the way they are exposed in the operational semantical framework is explained, and their truth formally proved. Also, for the sake of a better understanding of the legal-theoretic assumptions of the paper, recurring issues regarding (...) Kelsen’s theory of law are briefly reviewed. They are put in confrontation with the points of view of R. Dworkin, H. Hart, and J. Raz, and an attempt is made to clarify them from the perspective of the provided formalization. A brief case study in agent-based modeling and simulation of public policy processes is presented, as an illustration of the way of using situated legal systems, and the proposed operational semantical framework, in a practical application. (shrink)

Disaster response is a highly collaborative and critical process that requires the involvement of multiple emergency responders (ERs), ideally working together under a unified command, to enable a rapid and effective operational response. Following the 9/11 and 11/13 terrorist attacks and the devastation of hurricanes Katrina and Rita, it is apparent that inadequate communication and a lack of interoperability among the ERs engaged on-site can adversely affect disaster response efforts. Within this context, we present a scenario-based terrorism case study to (...) highlight the challenges of operational disaster command and response. In this article, which is based on the French emergency response doctrine, we outline a semantics-based common operational command system that is designed to guarantee an efficient information flow among ERs. Our focus is on offering to all ERs, a real-time operational picture of the situation in order to enable multilevel coordination among firefighters, police, healthcare units, public authorities, and other stakeholders. Our approach consolidates information to promote timely sharing of data among ERs. The proposed system is based on an ontology that has been developed to represent the different types of knowledge on the part of ERs, providing a shared vocabulary that covers a variety of interoperability concerns. (shrink)

The purpose of this article is to provide a multi-perspective examination of one of the most important contemporary security issues: weaponized, and especially lethal, artificial intelligence. This technology is increasingly associated with the approaching dramatic change in the nature of warfare. What becomes particularly important and evermore intensely contested is how it becomes embedded with and concurrently impacts two social structures: ethics and law. While there has not been a global regime banning this technology, regulatory attempts at establishing a ban (...) have intensified along with acts of resistance and blocking coalitions. This article aims to reflect on the prospects and limitations, as well as the ethical and legal intensity, of the emerging regulatory framework. To allow for such an investigation, a power-analytical approach to studying international security regimes is utilized. (shrink)

. In this paper, the significance of using general logic-systems and finite consequence operators defined on non-organized languages is discussed. Results are established that show how properties of finite consequence operators are independent from language organization and that, in some cases, they depend only upon one simple language characteristic. For example, it is shown that there are infinitely many finite consequence operators defined on any non-organized infinite language L that cannot be generated from any finite logic-system. On the other (...) hand, it is shown that for any nonempty language L, a set map is a finite consequence operator if and only if it is defined by a general logic-system. Simple logic-system examples that determine specific consequence operator properties are given. (shrink)

The functional capabilities that consciousness seems to provide to biological systems can supply valuable principles in the design of more autonomous and robust technical systems. These functional concepts keep a notable similarity to those underlying the notion of operating system in software engineering, which allows us to specialize the computer metaphor for the mind into that of the operating system metaphor for consciousness. In this article, departing from these ideas and a model-based theoretical framework for cognition, (...) we present an architectural proposal for machine consciousness, called the Operative Mind. According to it, machine consciousness could be implemented as a set of services, in an operative system fashion, based on modeling of the own control architecture, that supervise the adequacy of the system architectural structure to the current objectives, triggering and managing adaptativity mechanisms. (shrink)

The research aims to identify the impact of the management requirements on operating of computerized management information systems to improve performance, and discuss the perceptions of respondents to develop the performance of employees in the Gaza Electricity Distribution Company, the researchers used the stratified sample method, (360) questionnaires were distributed on the study sample, (306) questionnaires were recoved with a percentage of (85%). The most important findings of the study: computerized MI have a positive impact on the development (...) of performance in the Gaza Electricity Distribution Company systems. The is statistical significance impact between “the physical, software supplies, human and organizational” requirements for the management and operation of computerized management information systems and performance development in the Gaza Electricity Distribution Company. -/- The research also concluded a series of recommendations: the need to strengthen the company's management interest in the use of computerized management information systems in all its components and elements of being an important variable which contributes to the effect on performance development. It's essential that we develop the infrastructure for information technology in general, and computerized management information systems, in particular for the development of performance. Increased interest in providing the material of equipment and devices used in the computerized management information system requirements. Interest in providing technical inputs to the computerized management information systems through keeping pace with technological means and modern techniques and work on the training of personnel to use those systems. And increased attention to human inputs of computerized management information systems "specialists technicians and end-users" through a variety of disciplines working in the field of computerized management information systems. (shrink)

If anyone deserves the title "father of social cognition," it is William J. McGuire who, along with his wife and colleague Claire V. McGuire, has written the ...

Internet of thing building sensors can capture several types of building operations, performances, and conditions and send them to a central dashboard to analyze data to support decision-making. Traditionally, laptops and cell phones are the majority of Internet-connected devices. IoT tracking allows customers to close the distance between devices and enterprises by collecting and analyzing various IoT data through connected devices, customers, and applications on the network. There is a lack of requirements for IoT edge applications security and approval. There (...) are no best practices regarding operations focused on IoT incidents. IoT elements are not covered by audit and logging requirements. In this article, a big data analytics-based customer operation system analyzes the operation. With the exponential rise in data usage, the explosive development in the IoT devices reflects the ideal overlap of big data growth with IoT. Big data analytics continuously evolving network raises trivial questions about the performance, distribution of data, analysis, and protection of data collection. IoT modifies almost all the construction industry characteristics. Human-centered artificial intelligence is described as systems that always improve because of human input while also delivering an effective experience between the human and the robotic. The IoT is the key factor that ensures greater building performance. It was the first evolution of technology in a long time to turn genuine inventions into an industry that depended heavily on paper and manual processes. The benefits of the IoT in construction are now quite obviously much heavier than those of current manual processes. As a result, more construction companies explore and incorporate IoT strategies to address their productivity challenges, increasing efficiencies and profits. The simulation analysis shows that the proposed BDA-CO model enhances the trust score of 98.5%, accuracy detection ratio of 93.4%, probability ratio of 97.6%, and security ratio of 98.7% and reduces the false negative ratio of 21.3%, response time of 10.5%, delay rate of 19.9%, and packet loss ratio of 15.4% when compared to other existing techniques. (shrink)

The objective of this study is to propose a new operation method based on the universal grey number to overcome the shortcomings of typical interval operation in solving system fault trees. First, the failure probability ranges of the bottom events are described according to the conversion rules between the interval number and universal grey number. A more accurate system reliability calculation is then obtained based on the logical relationship between the AND gates and OR gates of a fault tree and (...) universal grey number arithmetic. Then, considering an aircraft landing gear retraction system as an example, the failure probability range of the top event is obtained through universal grey operation. Next, the reliability of the aircraft landing gear retraction system is evaluated despite insufficient statistical information describing failures. The example demonstrates that the proposed method provides many advantages in resolving the system reliability problem despite poor information, yielding benefits for the function of the interval operation, and overcoming the drawback of solution interval enlargement under different orders of interval operation. (shrink)

We present the Dirac and Laplacian operators on Clifford bundles over space–time, associated to metric compatible linear connections of Cartan–Weyl, with trace-torsion, Q. In the case of nondegenerate metrics, we obtain a theory of generalized Brownian motions whose drift is the metric conjugate of Q. We give the constitutive equations for Q. We find that it contains Maxwell’s equations, characterized by two potentials, an harmonic one which has a zero field (Bohm-Aharonov potential) and a coexact term that generalizes the Hertz (...) potential of Maxwell’s equations in Minkowski space.We develop the theory of the Hertz potential for a general Riemannian manifold. We study the invariant state for the theory, and determine the decomposition of Q in this state which has an invariant Born measure. In addition to the logarithmic potential derivative term, we have the previous Maxwellian potentials normalized by the invariant density. We characterize the time-evolution irreversibility of the Brownian motions generated by the Cartan–Weyl laplacians, in terms of these normalized Maxwell’s potentials. We prove the equivalence of the sourceless Maxwell equation on Minkowski space, and the Dirac-Hestenes equation for a Dirac-Hestenes spinor field written on Minkowski space provided with a Cartan–Weyl connection. If Q is characterized by the invariant state of the diffusion process generated on Euclidean space, then the Maxwell’s potentials appearing in Q can be seen alternatively as derived from the internal rotational degrees of freedom of the Dirac-Hestenes spinor field, yet the equivalence between Maxwell’s equation and Dirac-Hestenes equations is valid if we have that these potentials have only two components corresponding to the spin-plane. We present Lorentz-invariant diffusion representations for the Cartan–Weyl connections that sustain the equivalence of these equations, and furthermore, the diffusion of differential forms along these Brownian motions. We prove that the construction of the relativistic Brownian motion theory for the flat Minkowski metric, follows from the choices of the degenerate Clifford structure and the Oron and Horwitz relativistic Gaussian, instead of the Euclidean structure and the orthogonal invariant Gaussian. We further indicate the random Poincaré–Cartan invariants of phase-space provided with the canonical symplectic structure. We introduce the energy-form of the exact terms of Q and derive the relativistic quantum potential from the groundstate representation. We derive the field equations corresponding to these exact terms from an average on the invariant state Cartan scalar curvature, and find that the quantum potential can be identified with 1 / 12R(g), where R(g) is the metric scalar curvature. We establish a link between an anisotropic noise tensor and the genesis of a gravitational field in terms of the generalized Brownian motions. Thus, when we have a nontrivial curvature, we can identify the quantum nonlocal correlations with the gravitational field. We discuss the relations of this work with the heat kernel approach in quantum gravity. We finally present for the case of Q restricted to this exact term a supersymmetric system, in the classical sense due to E.Witten, and discuss the possible extensions to include the electromagnetic potential terms of Q. (shrink)

The concept of an operator is used in a variety of practical and theoretical areas. Operators, as both conceptual and physical entities, are found throughout the world as subsystems in nature, the human mind, and the manmade world. Operators, and what they operate, i.e., their substrates, targets, or operands, have a wide variety of forms, functions, and properties. Operators have explicit philosophical significance. On the one hand, they represent important ontological issues of reality. On the other hand, epistemological operators form (...) the basic mechanism of cognition. At the same time, there is no unified theory of the nature and functions of operators. In this work, we elaborate a detailed analysis of operators, which range from the most abstract formal structures and symbols in mathematics and logic to real entities, human and machine, and are responsible for effecting changes at both the individual and collective human levels. Our goal is to find what is common in physical objects called operators and abstract mathematical structures, with the name operator providing foundations for building a unified but flexible theory of operators. The paper concludes with some reflections on functionalism and other philosophical aspects of the ‘operation’ of operators. (shrink)

Minimizing the costs that others impose upon oneself and upon those in whom one has a fitness stake, such as kin and allies, is a key adaptive problem for many organisms. Our ancestors regularly faced such adaptive problems (including homicide, bodily harm, theft, mate poaching, cuckoldry, reputational damage, sexual aggression, and the infliction of these costs on one's offspring, mates, coalition partners, or friends). One solution to this problem is to impose retaliatory costs on an aggressor so that the aggressor (...) and other observers will lower their estimates of the net benefits to be gained from exploiting the retaliator in the future. We posit that humans have an evolved cognitive system that implements this strategy – deterrence – which we conceptualize as a revenge system. The revenge system produces a second adaptive problem: losing downstream gains from the individual on whom retaliatory costs have been imposed. We posit, consequently, a subsidiary computational system designed to restore particular relationships after cost-imposing interactions by inhibiting revenge and motivating behaviors that signal benevolence for the harmdoer. The operation of these systems depends on estimating the risk of future exploitation by the harmdoer and the expected future value of the relationship with the harmdoer. We review empirical evidence regarding the operation of these systems, discuss the causes of cultural and individual differences in their outputs, and sketch their computational architecture. (shrink)

The thermodynamic behavior is analyzed of a single classical charged particle in thermal equilibrium with classical electromagnetic thermal radiation, while electrostatically bound by a fixed charge distribution of opposite sign. A quasistatic displacement of this system in an applied electrostatic potential is investigated. Treating the system nonrelativistically, the change in internal energy, the work done, and the change in caloric entropy are all shown to be expressible in terms of averages involving the distribution of the position coordinates alone. A convenient (...) representation for the probability distribution is shown to be the ensemble average of the absolute square value of an expansion over the eigenstates of a Schrödinger-like equation, since the heat flow is shown to vanish for each hypothetical “state.” Subject to key assumptions highlighted here, the demand that the entropy be a function of state results in statistical averages in agreement with the form in quantum statistical mechanics. Examining the very low and very high temperature situations yields Planck's and Boltzmann's constants. The blackbody radiation spectrum is then deduced. From the viewpoint of the theory explored here, the method in quantum statistical mechanics of statistically counting the “states” at thermal equilibrium by using the energy eigenvalue structure, is simply a convenient counting scheme, rather than actually representing averages involving physically discrete energy states. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express metalogical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the logics of formal inconsistency and by the logics of formal undeterminedness. LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the validity of (...) the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core—in the case studied here, this common core is classical positive propositional logic. The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of LFI and undeterminedness, namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion one at a time. The last sections offer an algebraic account for such logics by adapting the swap structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite nondeterministic matrices. (shrink)

The notion of a context in formal concept analysis and that of an approximation space in rough set theory are unified in this study to define a Kripke context. For any context (G,M,I), a relation on the set G of objects and a relation on the set M of properties are included, giving a structure of the form ((G,R), (M,S), I). A Kripke context gives rise to complex algebras based on the collections of protoconcepts and semiconcepts of the underlying context. (...) On abstraction, double Boolean algebras (dBas) with operators and topological dBas are defined. Representation results for these algebras are established in terms of the complex algebras of an appropriate Kripke context. As a natural next step, logics corresponding to classes of these algebras are formulated. A sequent calculus is proposed for contextual dBas, modal extensions of which give logics for contextual dBas with operators and topological contextual dBas. The representation theorems for the algebras result in a protoconcept-based semantics for these logics. (shrink)