Our beliefs and opinions are shaped by others, making our social networks crucial in determining what we believe to be true. Sometimes this is for the good because peers help us form a more accurate opinion. it worse led astray. In context, address via agent-based computer simulations extent which patterns of connectivity within affect likelihood that initially undecided agents network converge on true opinion following group deliberation. The model incorporates fine-grained realistic...

Abstract According to popular belief, big data and machine learning provide a wholly novel approach science that has the potential revolutionise scientific progress will ultimately lead ‘end of theory’. Proponents this view argue advanced algorithms are able mine vast amounts relating given problem without any prior knowledge we do not need concern ourselves with causality, as correlation is sufficient for handling complex issues. Consequently, human contribution deemed be non-essential...

Artificial intelligence techniques, including machine learning (ML), have shown remarkable test results over the past decade but struggled with transfer to practical application. The present study applies action research investigate this last stage of a project implement an ML algorithm for predicting no-shows at Danish hospital. We approach implementation no-show as innovation process and identify 14 tactics that were employed provide necessary stage. span three analytic levels –...

In this paper the machinery of Hybrid Logic and logic public announcements are merged. order to bring two logics together properly underlying hybrid has been changed such that nominals only partially denote states. The contains nominals, satisfaction operators, downarrow binder as well global modality. Following this, an axiom system for Public Announcement is presented using reduction axioms general completeness (in usual style Logic) proved. allows easy way adding distributed knowledge....

Throughout the last decade, there has been an increased interest in various forms of dynamic epistemic logics to model flow information and effect this on knowledge multi-agent systems. This enterprise, however, mostly applicationally semantically driven. results a limited amount proof theory for logics. In paper, we try compensate part by presenting terminating tableau systems full logic with action models hybrid public announcement (both without common knowledge). The are extensions...

We present a logic which we call Hybrid Duration Calculus (HDC). HDC is obtained by adding the following hybrid logical machinery to Restricted (RDC): nominals, satisfaction operators, down-arrow binder, and global modality. RDC known be decidable, in this paper show that decidability retained when machinery. Decidability of shown reducing satisfiability problem Monadic Second-Order Theory Order. illustrate increased expressive power hybridizing showing HDC, contrast RDC, can express all 13...

In this paper we define a family of many-valued semantics for hybrid logic, where each is based on finite Heyting algebra truth-values.We provide sound and complete tableau systems these semantics.Moreover, show how the can be made terminating thereby give rise to decision procedures logics in question.Our turn out "intermediate" between intuitionistic logic classical specific sense explained paper.Our results that indeed natural enterprise.

Abstract This article introduces a logic to reason about well-known model of opinion dynamics in social networks initially developed by Morris DeGroot as well Keith Lehrer and Carl Wagner. The proposed is an extension Łukasiewicz' fuzzy with additional equational expressivity, modal operators, machinery from hybrid dynamic modalities. simple enough be easily grasped, but still complex have interesting mathematical properties applications. Thus, developing this particular serves paradigmatic...