EPISTEMIC LOGIC AND INFORMATION UPDATE

2008 ◽  
pp. 361-455 ◽  
Author(s):  
Alexandru Baltag ◽  
Hans P. van Ditmarsch ◽  
Lawrence S. Moss
Synthese ◽  
2021 ◽  
Author(s):  
Carlo Proietti ◽  
Antonio Yuste-Ginel

AbstractThis paper introduces a multi-agent dynamic epistemic logic for abstract argumentation. Its main motivation is to build a general framework for modelling the dynamics of a debate, which entails reasoning about goals, beliefs, as well as policies of communication and information update by the participants. After locating our proposal and introducing the relevant tools from abstract argumentation, we proceed to build a three-tiered logical approach. At the first level, we use the language of propositional logic to encode states of a multi-agent debate. This language allows to specify which arguments any agent is aware of, as well as their subjective justification status. We then extend our language and semantics to that of epistemic logic, in order to model individuals’ beliefs about the state of the debate, which includes uncertainty about the information available to others. As a third step, we introduce a framework of dynamic epistemic logic and its semantics, which is essentially based on so-called event models with factual change. We provide completeness results for a number of systems and show how existing formalisms for argumentation dynamics and unquantified uncertainty can be reduced to their semantics. The resulting framework allows reasoning about subtle epistemic and argumentative updates—such as the effects of different levels of trust in a source—and more in general about the epistemic dimensions of strategic communication.


Author(s):  
Harkiran Kaur ◽  
Kawaljeet Singh ◽  
Tejinder Kaur

Background: Numerous E – Migrants databases assist the migrants to locate their peers in various countries; hence contributing largely in communication of migrants, staying overseas. Presently, these traditional E – Migrants databases face the issues of non – scalability, difficult search mechanisms and burdensome information update routines. Furthermore, analysis of migrants’ profiles in these databases has remained unhandled till date and hence do not generate any knowledge. Objective: To design and develop an efficient and multidimensional knowledge discovery framework for E - Migrants databases. Method: In the proposed technique, results of complex calculations related to most probable On-Line Analytical Processing operations required by end users, are stored in the form of Decision Trees, at the pre- processing stage of data analysis. While browsing the Cube, these pre-computed results are called; thus offering Dynamic Cubing feature to end users at runtime. This data-tuning step reduces the query processing time and increases efficiency of required data warehouse operations. Results: Experiments conducted with Data Warehouse of around 1000 migrants’ profiles confirm the knowledge discovery power of this proposal. Using the proposed methodology, authors have designed a framework efficient enough to incorporate the amendments made in the E – Migrants Data Warehouse systems on regular intervals, which was totally missing in the traditional E – Migrants databases. Conclusion: The proposed methodology facilitate migrants to generate dynamic knowledge and visualize it in the form of dynamic cubes. Applying Business Intelligence mechanisms, blending it with tuned OLAP operations, the authors have managed to transform traditional datasets into intelligent migrants Data Warehouse.


Electronics ◽  
2021 ◽  
Vol 10 (4) ◽  
pp. 516
Author(s):  
Tram Thi Bao Nguyen ◽  
Tuy Nguyen Tan ◽  
Hanho Lee

This paper presents a pipelined layered quasi-cyclic low-density parity-check (QC-LDPC) decoder architecture targeting low-complexity, high-throughput, and efficient use of hardware resources compliant with the specifications of 5G new radio (NR) wireless communication standard. First, a combined min-sum (CMS) decoding algorithm, which is a combination of the offset min-sum and the original min-sum algorithm, is proposed. Then, a low-complexity and high-throughput pipelined layered QC-LDPC decoder architecture for enhanced mobile broadband specifications in 5G NR wireless standards based on CMS algorithm with pipeline layered scheduling is presented. Enhanced versions of check node-based processor architectures are proposed to improve the complexity of the LDPC decoders. An efficient minimum-finder for the check node unit architecture that reduces the hardware required for the computation of the first two minima is introduced. Moreover, a low complexity a posteriori information update unit architecture, which only requires one adder array for their operations, is presented. The proposed architecture shows significant improvements in terms of area and throughput compared to other QC-LDPC decoder architectures available in the literature.


2005 ◽  
Vol 15 (6) ◽  
pp. 1059-1073 ◽  
Author(s):  
Sergei Artemov ◽  
Elena Nogina
Keyword(s):  

2010 ◽  
Vol 26 (3) ◽  
pp. 345-367 ◽  
Author(s):  
Olivier Roy

In this paper I study intentions of the form ‘I intend that we . . .’, that is, intentions with a we-content, and their role in interpersonal coordination. I focus on the notion of epistemic support for such intentions. Using tools from epistemic game theory and epistemic logic, I cast doubt on whether such support guarantees the other agents' conditional mediation in the achievement of such intentions, something that appears important if intentions with a we-content are to count as genuine intentions. I then formulate a stronger version of epistemic support, one that does indeed ensure the required mediation, but I then argue that it rests on excessively strong informational conditions. In view of this I provide an alternative set of conditions that are jointly sufficient for coordination in games, and I argue that these conditions constitute a plausible alternative to the proposed notion of epistemic support.


Author(s):  
Alexandru Baltag ◽  
Aybüke Özgün ◽  
Ana Lucia Vargas Sandoval

2017 ◽  
Vol 41 (4) ◽  
pp. 216-220 ◽  
Author(s):  
Sumeet Gupta ◽  
Udayan Khastgir

SummaryLithium is an established treatment for bipolar disorder and an augmenting agent for treatment-resistant depression. Despite awareness of renal adverse effects, including chronic kidney disease, for the past five decades, there has been a lack of research evidence. This has led to debates around the existence and magnitude of the risk. This article discusses the current evidence base regarding the link between lithium and chronic kidney disease, monitoring of renal functions and its clinical implications.


Sign in / Sign up

Export Citation Format

Share Document