Logical models for bounded reasoners

This dissertation aims at the logical modelling of aspects of human reasoning, informed by facts on the bounds of human cognition. We break down this challenge into three parts. In Part I, we discuss the place of logical systems for knowledge and belief in the Rationality Debate and we argue for systems that formalize an alternative picture of rationality -- one wherein empirical facts have a key role (Chapter 2). In Part II, we design logical models that encode explicitly the deductive reasoning of a single bounded agent and the variety of processes underlying it. This is achieved through the introduction of a dynamic, resource-sensitive, impossible-worlds semantics (Chapter 3). We then show that this type of semantics can be combined with plausibility models (Chapter 4) and that it can be instrumental in modelling the logical aspects of System 1 (“fast”) and System 2 (“slow”) cognitive processes (Chapter 5). In Part III, we move from single- to multi-agent frameworks. This unfolds in three directions: (a) the formation of beliefs about others (e.g. due to observation, memory, and communication), (b) the manipulation of beliefs (e.g. via acts of reasoning about oneself and others), and (c) the effect of the above on group reasoning. These questions are addressed, respectively, in Chapters 6, 7, and 8. We finally discuss directions for future work and we reflect on the contribution of the thesis as a whole (Chapter 9)

Mathematical Methods, Modelling and Applications

This volume deals with novel high-quality research results of a wide class of mathematical models with applications in engineering, nature, and social sciences. Analytical and numeric, deterministic and uncertain dimensions are treated. Complex and multidisciplinary models are treated, including novel techniques of obtaining observation data and pattern recognition. Among the examples of treated problems, we encounter problems in engineering, social sciences, physics, biology, and health sciences. The novelty arises with respect to the mathematical treatment of the problem. Mathematical models are built, some of them under a deterministic approach, and other ones taking into account the uncertainty of the data, deriving random models. Several resulting mathematical representations of the models are shown as equations and systems of equations of different types: difference equations, ordinary differential equations, partial differential equations, integral equations, and algebraic equations. Across the chapters of the book, a wide class of approaches can be found to solve the displayed mathematical models, from analytical to numeric techniques, such as finite difference schemes, finite volume methods, iteration schemes, and numerical integration methods

Beautiful is Good and Good is Reputable: Multiple-Attribute Charity Website Evaluation and Initial Perceptions of Reputation Under the Halo Effect

The halo effect has been extensively used to understand how people make judgments about the quality of an object. Also, the halo effect has been known to occur when people evaluate multi-attribute objects. Although websites consist of multiple attributes and dimensions, prior research in information systems has paid little attention to how people evaluate multi-attribute websites and associated halos. Furthermore, research investigating how initial evaluations of reputation are formed toward unknown objects under the halo effect is scarce. Based on these two research gaps, the purposes of this study are to identify whether there is evidence of salient halos in the evaluation of multi-attribute websites and to theorize initial perceptions of reputation. To accomplish these objectives, we introduce a framework for classifying halos based on attributes and dimensions. Also, this study employs charity websites as a multi-attribute donation channel consisting of three attributes of information content quality (mission information, financial information, and donation information) and four attributes of system quality (navigability, download speed, visual aesthetics, and security). Based on the proposed framework, this study proposes four types of halos that are relevant to charity website evaluation—collective halo (attribute-to-attribute), aesthetics halo (attribute-to-dimension), reciprocal-quality halo (dimension-to-dimension), and quality halo (dimension-to-dimension). The results of structural equation modeling and other analyses provide evidence of the various proposed halos

An object-based codesign methodology.

The research into Codesign of Hardware and Software stems from the development of embedded systems, on which various systems restrictions are imposed. Typical restrictions can be the overall time (latency) to complete an assigned function and the space/power limits within the system. Although software can be used to undertake most tasks in an embedded system, ASIC (Application Specific Integrated Circuits) hardware components sometimes have to be recruited to meet the system constraints. Designing the restricted embedded system with both software and hardware components in it involves the analysis of not only individual hardware/software components but also their mutual influences. Using co-design principles, the approach is to consider both hardware and software from a coherent viewpoint.This thesis presents the results from our research project in the area of Codesign of Hardware and Software. In this project, we investigated previously published codesign approaches and their methodological supports. The investigation has identified shortcomings and problems with the existing codesign methodologies. A new object-based codesign approach (Co-PARSE) is thus developed in this project, which is supported by successive phases, guidelines, and techniques. This methodology offers a coherent design framework for real-time embedded systems and incorporates the criteria of system performance and hardware cost. Tools have been developed to facilitate the use of the methodology. Within the methodology, a high-level system modeling and specification approach has been developed and formalised in the Co-BSL (Codesign Behavior Specification Language). The means of transforming Co-BSL specifications to C and VHDL implementations is defined, and a library of VHDL components provided. The thesis documents the partitioning approach taken within the methodology and proposes a new multi-layered bus architecture as a basis for more flexible and efficient implementations. A means of simulating the performance characteristics of this architecture under different configurations is provided, and examples of simulation results are presented. A new embedded system (the Radio Data Computing System) is designed and simulated in the Co-PARSE methodology and simulation results analysed. The thesis concludes with an evaluation of the work carried out in the project and proposals for extending the results obtained in future research.The major contributions reported in this thesis can be summarised as follows. First, the unified system specification means has been designed, which is embodied in the Co-BSL. It captures overall dynamic aspects and performance constraints in the system under development. This high-level specification language is independent of implementation and does not bias the designer towards the use of hardware or software components at this early stage. Second, within Co-PARSE, the target architecture of the system under development has been exploited to improve the system performance and at the same time to reduce hardware cost. This novel concept has been realised by the introduction of an asynchronous bus protocol and the multi-layer bus communication structure. Third, in order to evaluate the strength and practicability of the Co-PARSE methodology, an extensive case study has been carried out. The new RDC (Radio Dada Computing) System has been designed in the proposed codesign approach. Codesign phases are subsequently applied and the guidelines and tools that are specially developed in support of the methodology are fully utilized

Elements of Theory for Electromagnetic Compatibility and Systems

International audienceThe purpose of this book is to submit a formalism constructed on the base of Kron's tensorial analysis of networks, and able to abord systems modeling. It was used to model electronic systems for electromagnetic compatibility. It appears that many systems can be analyzed through this approach. The author presents here personal proposals to analyze theoretically the complex systems

Actes du 17ème séminaire sur le raisonnement à partir de Cas, Paris (29--30 juin)

Actes du séminaire RàPC 2009