61 resultados para Logic and Foundations
em BORIS: Bern Open Repository and Information System - Berna - Suiça
Resumo:
Rockfall protection barriers are connected to the ground using steel cables fixed with anchors and foundations for the steel posts. It is common practice to measure the forces in the cables, while to date measurements of forces in the foundations have been inadequately resolved. An overview is presented of existing methods to measure the loads on the post foundations of rockfall protection barriers. Addressing some of the inadequacies of existing approaches, a novel sensor unit is presented that is able to capture the forces acting on post foundations in all six degrees of freedom. The sensor unit consists of four triaxial force sensors placed between two steel plates. To correctly convert the measurements into the directional forces acting on the foundation a special in-situ calibration procedure is proposed that delivers a corresponding conversion matrix.
Resumo:
Policy forums are issue-based intermediary organizations where diverse types of political and societal actors repeatedly interact. Policy forums are important elements of modern governance systems as they allow actors to learn, negotiate, or build trust. They can vary in composition, size, membership logic, and other distinct features. This article lays the foundation of a theory of policy forums based on three interrelated elements: First, it discusses conditions for the formation of a forum and describes the logic of these organizations as one of an asymmetric multipartite exchange. Second, it enumerates the potential set of goals and motivations of participating actors that are fed into this exchange. Third, it proposes eight different dimensions on which policy forums differ and which affect the exchange mechanisms among actors. We claim that empirical work on policy forums should systematically take these elements into account and propose elements of a research agenda.
Resumo:
Justification Logic is a framework for reasoning about evidence and justification. Public Announcement Logic is a framework for reasoning about belief changes caused by public announcements. This paper develops JPAL, a dynamic justification logic of public announcements that corresponds to the modal theory of public announcements due to Gerbrandy and Groeneveld. JPAL allows us to reason about evidence brought about by and changed by Gerbrandy--Groeneveld-style public announcements.