Information overload for (bounded) rational agents

Bayesian inference offers an optimal means of processing environmental information and so an advantage in natural selection. We consider the apparent, recent trend in increasing dysfunctional disagreement in e.g. political debate. This is puzzling because Bayesian inference benefits from powerful convergence theorems, precluding dysfunctional disagreement. Information overload is a plausible factor limiting the applicability of full Bayesian inference, but what is the link with dysfunctional disagreement? Individuals striving to be Bayesian-rational, but challenged by information overload, might simplify by using Bayesian Networks or the separation of questions into knowledge partitions, the latter formalized with quantum probability theory. We demonstrate the massive simplification afforded by either approach, but also show how they contribute to dysfunctional disagreement

Probabilities from Entanglement, Born's Rule from Envariance

I show how probabilities arise in quantum physics by exploring implications of {\it environment - assisted invariance} or {\it envariance}, a recently discovered symmetry exhibited by entangled quantum systems. Envariance of perfectly entangled ``Bell-like'' states can be used to rigorously justify complete ignorance of the observer about the outcome of any measurement on either of the members of the entangled pair. For more general states, envariance leads to Born's rule, $p_k \propto |\psi_k|^2$ for the outcomes associated with Schmidt states. Probabilities derived in this manner are an objective reflection of the underlying state of the system -- they represent experimentally verifiable symmetries, and not just a subjective ``state of knowledge'' of the observer. Envariance - based approach is compared with and found superior to pre-quantum definitions of probability including the {\it standard definition} based on the `principle of indifference' due to Laplace, and the {\it relative frequency approach} advocated by von Mises. Implications of envariance for the interpretation of quantum theory go beyond the derivation of Born's rule: Envariance is enough to establish dynamical independence of preferred branches of the evolving state vector of the composite system, and, thus, to arrive at the {\it environment - induced superselection (einselection) of pointer states}, that was usually derived by an appeal to decoherence. Envariant origin of Born's rule for probabilities sheds a new light on the relation between ignorance (and hence, information) and the nature of quantum states.Comment: Figure and an appendix (Born's rule for continuous spectra) added. Presentation improved. (Comments still welcome...

(Meta)inferential levels of entailment beyond the Tarskian paradigm

In this paper we discuss the extent to which the very existence of substructural logics puts the Tarskian conception of logical systems in jeopardy. In order to do this, we highlight the importance of the presence of different levels of entailment in a given logic, looking not only at inferences between collections of formulae but also at inferences between collections of inferences—and more. We discuss appropriate refinements or modifications of the usual Tarskian identity criterion for logical systems, and propose an alternative of our own. After that, we consider a number of objections to our account and evaluate a substantially different approach to the same problem.Fil: Barrio, Eduardo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; Argentina. Universidad de Buenos Aires; ArgentinaFil: Pailos, Federico Matias. Universidad de Buenos Aires; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; ArgentinaFil: Szmuc, Damián Enrique. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; Argentina. Universidad de Buenos Aires; Argentin

An holistic approach to architectural theory and structuralism

The author's interest in this subject emerges from seeing the environment as a whole, consisting of entities which are systems for transformation and which are responsible for the evolution of society.The approach comes from the mutual interaction of man and the environment. This interaction is expressed in many cases by building concepts, rules and theories. Architecture is considered one of the obvious means of this type of interaction by which man, over time, tried to clarify this interaction by building his shelter to accommodate his different life activities. This led to the creation and establishment of rules, constraints, and then theories in architecture that control this interaction.Architecture cannot be seen as a synchronic phenomenon but it is diachronic and in a continous evolution and development. There is a distinction between what one can see in the environment as surface structure and the embedded meaning and symbolism of deep structure. In order to analyse this distinction, the research adopts structuralism as an holistic tool to address this relationship within the environment.For this reason, architectural theories and structuralism are the two pillars to build and test the statement of the study that leads to the provision of an holistic approach to architectural theory based on structuralism.The study takes an empirical approach to test and confirm the holistic approach, hence, it adopts a methodology to analyse and interpret the case study entities. This methodology follows two main approaches to fulfil these objectives:Deductive: A theoretical investigation of the ideas of the interaction between man and the environment which leads to emphasising environmental entities as systems for transformation. This premise leads to the ji adoption of structuralism as an holistic method and as a tool for the better understanding and analysis of these entities.nductive: An empirical approach takes Salt city in Jordan as a case study area. This part represents a real field of information and application. The empirical work supports the propositions that architectural phenomena are an embodiment of cultural values and the social structure. The empirical work collected and elicited people's opinions and preferences through an open -ended questionnaire and drawings of cognitive maps.This study helps architects and designers to understand and then analyse the deep structure of the society as a base to design, after taking into consideration the mechanism that connects the surface structure to the underlying cultural values and meanings that are responding to people's needs and requirements. This may be achieved in architecture and urban planning through holistic thinking that is based on structuralism

A topological theory of (T,V)-categories

Lawvere's notion of completeness for quantale-enriched categories has been extended to the theory of lax algebras under the name of L-completeness. In this work we introduce the corresponding morphism concept and examine its properties. We explore some important relativized topological concepts like separation, density, compactness and compactification with respect to L-complete morphisms. We show that separated L-complete morphisms belong to a factorization system. Moreover, we investigate relativized topological concepts with respect to maps that preserve L-closure which is the natural symmetrized closure for lax algebras. We provide concrete characterizations of Zariski closure and Zariski compactness for approach spaces

Modèles algorithmes et méthodologie pour la conception de systèmes de sécurité physique basés sur des microcontrôleurs protégés des attaques cyber-physiques

Un moyen d'assurer la sécurité de systèmes basés sur des micro-contrôleurs (mCS) est de considérer une approche de génération à partir de spécifications. Malheureusement, les approches existantes souffrent d'inconvénients, et le but de la méthodologie présentée dans cette thèse est de les éviter dans le cas particulier des mCS pour la sécurité physique (mCS-Sec). Les principaux résultats de ce travail sont le développement de modèles, d'algorithmes, et d'une méthodologie originale de création de mCS-Sec, et leur implémentation. L'applicabilité de la méthode a été évaluée sur un système de robot de surveillance d'une zone. Dans ce cas, notre évaluation a montré que l'approche développée satisfaisait toutes les contraintes imposées, tout en offrant certains avantages par rapport aux solutions existantes. Nous pensons que cette approche permettra de réduire le nombre de faiblesses et les problèmes d'architecture dans les mCS, ce qui en réduira la surface d'attaque.One of the possible ways to ensure the security of microcontroller-based systems is the implementation of security by design approach. Unfortunately, existing approaches are not without drawbacks, that is why this thesis is aimed at developing the new one. Moreover, among all possible systems, in this work, only physical security systems were chosen as an area of the application. The main findings of the work are containing original models, algorithms, methodology and software implementation. Their correctness was checked on a system of mobile robots for perimeter monitoring. The evaluation of the developed solution showed that it satisfies all requirements while having advantages over commercial and scientific analogues, which means that the goal of this work was reached. It is assumed that the use of the developed solution will help to reduce the number of weak places and architectural defects in microcontroller-based systems, thereby significantly reducing their attack surface

Ubiquitous Integration and Temporal Synchronisation (UbilTS) framework : a solution for building complex multimodal data capture and interactive systems

Contemporary Data Capture and Interactive Systems (DCIS) systems are tied in with various technical complexities such as multimodal data types, diverse hardware and software components, time synchronisation issues and distributed deployment configurations. Building these systems is inherently difficult and requires addressing of these complexities before the intended and purposeful functionalities can be attained. The technical issues are often common and similar among diverse applications. This thesis presents the Ubiquitous Integration and Temporal Synchronisation (UbiITS) framework, a generic solution to address the technical complexities in building DCISs. The proposed solution is an abstract software framework that can be extended and customised to any application requirements. UbiITS includes all fundamental software components, techniques, system level layer abstractions and reference architecture as a collection to enable the systematic construction of complex DCISs. This work details four case studies to showcase the versatility and extensibility of UbiITS framework’s functionalities and demonstrate how it was employed to successfully solve a range of technical requirements. In each case UbiITS operated as the core element of each application. Additionally, these case studies are novel systems by themselves in each of their domains. Longstanding technical issues such as flexibly integrating and interoperating multimodal tools, precise time synchronisation, etc., were resolved in each application by employing UbiITS. The framework enabled establishing a functional system infrastructure in these cases, essentially opening up new lines of research in each discipline where these research approaches would not have been possible without the infrastructure provided by the framework. The thesis further presents a sample implementation of the framework on a device firmware exhibiting its capability to be directly implemented on a hardware platform. Summary metrics are also produced to establish the complexity, reusability, extendibility, implementation and maintainability characteristics of the framework.Engineering and Physical Sciences Research Council (EPSRC) grants - EP/F02553X/1, 114433 and 11394

Clifford Algebra: A Case for Geometric and Ontological Unification

Robert Batterman’s ontological insights (2002, 2004, 2005) are apt: Nature abhors singularities. “So should we,” responds the physicist. However, the epistemic assessments of Batterman concerning the matter prove to be less clear, for in the same vein he write that singularities play an essential role in certain classes of physical theories referring to certain types of critical phenomena. I devise a procedure (“methodological fundamentalism”) which exhibits how singularities, at least in principle, may be avoided within the same classes of formalisms discussed by Batterman. I show that we need not accept some divergence between explanation and reduction (Batterman 2002), or between epistemological and ontological fundamentalism (Batterman 2004, 2005). Though I remain sympathetic to the ‘principle of charity’ (Frisch (2005)), which appears to favor a pluralist outlook, I nevertheless call into question some of the forms such pluralist implications take in Robert Batterman’s conclusions. It is difficult to reconcile some of the pluralist assessments that he and some of his contemporaries advocate with what appears to be a countervailing trend in a burgeoning research tradition known as Clifford (or geometric) algebra. In my critical chapters (2 and 3) I use some of the demonstrated formal unity of Clifford algebra to argue that Batterman (2002) equivocates a physical theory’s ontology with its purely mathematical content. Carefully distinguishing the two, and employing Clifford algebraic methods reveals a symmetry between reduction and explanation that Batterman overlooks. I refine this point by indicating that geometric algebraic methods are an active area of research in computational fluid dynamics, and applied in modeling the behavior of droplet-formation appear to instantiate a “methodologically fundamental” approach. I argue in my introductory and concluding chapters that the model of inter-theoretic reduction and explanation offered by Fritz Rohrlich (1988, 1994) provides the best framework for accommodating the burgeoning pluralism in philosophical studies of physics, with the presumed claims of formal unification demonstrated by physicists choices of mathematical formalisms such as Clifford algebra. I show how Batterman’s insights can be reconstructed in Rohrlich’s framework, preserving Batterman’s important philosophical work, minus what I consider are his incorrect conclusions

Tradespace and Affordability – Phase 2

MOTIVATION AND CONTEXT: One of the key elements of the SERC’s research strategy is transforming the practice of systems engineering – “SE Transformation.” The Grand Challenge goal for SE Transformation is to transform the DoD community’s current systems engineering and management methods, processes, and tools (MPTs) and practices away from sequential, single stovepipe system, hardware-first, outside-in, document-driven, point-solution, acquisition-oriented approaches; and toward concurrent, portfolio and enterprise-oriented, hardware-software-human engineered, balanced outside-in and inside-out, model-driven, set-based, full life cycle approaches.This material is based upon work supported, in whole or in part, by the U.S. Department of Defense through the Office of the Assistant Secretary of Defense for Research and Engineering (ASD(R&E)) under Contract H98230-08- D-0171 (Task Order 0031, RT 046).This material is based upon work supported, in whole or in part, by the U.S. Department of Defense through the Office of the Assistant Secretary of Defense for Research and Engineering (ASD(R&E)) under Contract H98230-08- D-0171 (Task Order 0031, RT 046)