检索结果-内蒙古大学图书馆

Hybrid Public Announcement Logic with distributed knowledge

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2011年第1期273卷 33-50页

作者： Hansen, Jens Ulrik Roskilde Univ Programming Log & Intelligent Syst Res Grp POB 260 DK-4000 Roskilde Denmark Roskilde Univ Sci Studies Res Grp DK-4000 Roskilde Denmark

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

关键词： Hybrid Logic Public Announcement Logic distributed knowledge Completeness Reduction Axioms Epistemic Logic

来源：评论

学校读者我要写书评

暂无评论

How do we understand the determinants of health? An exploration of distributed knowledge and interprofessional health sciences education

引用

JOURNAL OF INTERPROFESSIONAL CARE 2017年第1期31卷 118-121页

作者： Russell, Regina G. Davidson, Heather Rhoads, Celia Petrusa, Emil R. Vanderbilt Univ Sch Med Off Teaching & Learning Med Nashville TN 37212 USA Vanderbilt Univ Sch Med VPIL Nashville TN 37212 USA Harvard Med Sch Boston MA USA Massachusetts Gen Hosp Dept Surg Boston MA 02114 USA

It is acknowledged that interprofessional communication and teamwork are foundational for high-quality, safe medical practice. The theory of distributed knowledge posits that each person has unique knowledge and experiences that can contribute to a broader group perspective. Patient care can be positively influenced by a robust and interprofessionally shared understanding of the complexities of health and illness. One would expect a variety of perspectives to be evident in all healthcare providers, including incoming health science students from different professional fields. To examine this notion, medical, nursing, and pharmacy students (n = 24) at the start of an interprofessional training experience were asked to write an essay on factors that contribute to health and/or illness. Their essays were thematically coded to generate a list of factors considered key to health/illness and compare responses across fields to better understand how knowledge is distributed across entering learners. Results show that students from different professional backgrounds emphasise some shared and some divergent factors. This distributed knowledge can be a rich source of understanding and shared thinking across professions. It is also a critical source of individual power to contribute to the construction of an ongoing, collaborative discourse about health.

关键词： Determinants of health distributed knowledge interprofessional education medical students nursing students pharmacy students

来源：评论

学校读者我要写书评

暂无评论

Public announcement logic with distributed knowledge: expressivity, completeness and complexity

引用

SYNTHESE 2013年第1期190卷 135-162页

作者： Wang, Yi N. Agotnes, Thomas Bergen Univ Coll Dept Comp Math & Phys Bergen Norway Univ Bergen Dept Informat Sci & Media Studies Bergen Norway

While dynamic epistemic logics with common knowledge have been extensively studied, dynamic epistemic logics with distributed knowledge have so far received far less attention. In this paper we study extensions of public announcement logic () with distributed knowledge, in particular their expressivity, axiomatisations and complexity. extended only with distributed knowledge is not more expressive than standard epistemic logic with distributed knowledge. Our focus is therefore on , the result of adding both common and distributed knowledge to , which is more expressive than each of its component logics. We introduce an axiomatisation of , which is not surprising: it is the combination of well-known axioms. The completeness proof, however, is not trivial, and requires novel combinations and extensions of techniques for dealing with knowledge, distributed knowledge, common knowledge and public announcements at the same time. We furthermore show that is decidable, more precisely that it is -complete. This result also carries over to with common and distributed knowledge operators for all coalitions (and not only the grand coalition). Finally, we propose a notion of a trans-bisimulation to generalise certain results and give deeper insight into the proofs.

关键词： Public announcement logic distributed knowledge Expressivity Completeness Decidability Computational complexity Unravelling Folding Trans-bisimulation

来源：评论

学校读者我要写书评

暂无评论

Craig Interpolation of Epistemic Logics with distributed knowledge 1

引用

11th International Symposium on Foundations of Information and knowledge Systems (FoIKS)

作者： Murai, Ryo Sano, Katsuhiko Hokkaido Univ Grad Sch Humanities & Human Sci Sapporo Japan Hokkaido Univ Fac Humanities & Human Sci Sapporo Japan

ISBN: (数字)9783030399511

ISBN: (纸本)9783030399511;9783030399504

distributed knowledge among agents is an important topic in multi-agent systems. While semantic studies of distributed knowledge have been done by several authors in the context of epistemic logic, there are a few proof-theoretic studies. This paper provides cut-free Gentzen-style sequent calculi for epistemic logics with distributed knowledge and establishes Craig Interpolation Theorem for the logics by a constructive method, i.e., Maehara method.

关键词： Epistemic logic distributed knowledge Sequent calculus Craig Interpolation Theorem

来源：评论

学校读者我要写书评

暂无评论

Articulating divides in distributed knowledge practice

引用

Information Communication and Society 2006年第6期9卷 761-780页

作者： Haythornthwaite, Caroline Graduate School of Library and Information Science University of Illinois at Urbana-Champaign United States Graduate School of Library and Information Science University of Illinois at Urbana-Champaign Champaign IL 61802 501 East Daniel Street United States

Working together has always been a challenge but recent trends in who works with whom, on what, and across what regions, cultures, disciplines and time zones have conspired to increase the complexity of team work, and in particular the complexity of knowledge work and communication across knowledge divides. Drawing from literature and examples of practice obtained during research on distributed, collaborative teams, this paper examines constraints to collaborative practice. It is argued that crossing knowledge divides requires articulating often invisible, taken-for-granted knowledge-based asset specificities that constrain what is recognized and accepted as practice in the different fields or occupations involved in the collaboration. Different types of specificities are discussed as examples to stimulate recognition and articulation of distributions in practice. The paper then discusses ways of recognizing domain constraints on the way to articulating divides and achieving collaboration across distributions in knowledge, practice and technology. © 2006 Taylor & Francis.

关键词： Asset specificities Collaboration distributed knowledge Interdisciplinarity

来源：评论

学校读者我要写书评

暂无评论

Semi-simplicial Set Models for distributed knowledge 38

Semi-simplicial Set Models for Distributed Knowledge

引用

38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

作者： Goubault, Eric Kniazev, Roman Ledent, Jeremy Rajsbaum, Sergio Ecole Polytech IP Paris CNRS LIX Palaiseau France Univ Paris Saclay ENS Paris Saclay CNRS LMF Gif Sur Yvette France Univ Strathclyde MSP Grp Glasgow Lanark Scotland Univ Nacl Autonoma Mexico Mexico City DF Mexico IRIF Paris France

ISBN: (纸本)9798350335873

In recent years, a new class of models for multiagent epistemic logic has emerged, based on simplicial complexes. Since then, many variants of these simplicial models have been investigated, giving rise to different logics and axiomatizations. In this paper, we present a further generalization, which encompasses all previously studied variants of simplicial models. Geometrically, this is achieved by generalizing beyond simplicial complexes, and considering instead semi-simplicial sets. By doing so, we define a new semantics for epistemic logic with distributed knowledge, where a group of agents may distinguish two worlds, even though each individual agent in the group is unable to distinguish them. As it turns out, these models are the geometric counterpart of a generalization of Kripke models, called "pseudomodels". We show how to recover the previously defined variants of simplicial models as sub-classes of our models;and give a sound and complete axiomatization for each of them.

关键词： Epistemic logic Simplicial sets distributed knowledge

来源：评论

学校读者我要写书评

暂无评论

A Reasoning System for Fuzzy distributed knowledge Representation in Multi-Agent Systems

A Reasoning System for Fuzzy Distributed Knowledge Represent...

引用

IEEE CIS International Conference on Fuzzy Systems (FUZZ-IEEE)

作者： Maruyama, Yoshihiro Australian Natl Univ Res Sch Comp Sci Canberra ACT Australia

ISBN: (纸本)9781665444071

knowledge does not necessarily exist only within a single agent;it may exist collectively within a number of agents combined together (cf. the wisdom of the crowd), and this sort of knowledge is called distributed knowledge. In light of bounded rationality and uncertainty, distributed knowledge can be incomplete, and there may be gradations in the certainty of distributed knowledge, that is, knowledge may be distributed within a system of agents up to some degree of certainty only. Fagin, Halpern, Moses, and Vardi gave an axiomatic system for reasoning about distributed knowledge, and developed a special technique to prove its fundamental properties such as completeness. Here we extend their classic results so as to incorporate fuzzy distributed knowledge;in addition we prove several other properties of fuzzy modal systems such as the finite model property and Godel-style translation theorems.

关键词： fuzzy logic epistemic logic distributed knowledge fuzzy modal logic finite model property Godel translation

来源：评论

学校读者我要写书评

暂无评论

The Ignorant Supervisor: About common worlds, epistemological modesty and distributed knowledge

引用

EDUCATIONAL PHILOSOPHY AND THEORY 2015年第12期47卷 1250-1264页

作者： Engels-Schwarzpaul, A. -Chr. AUT Univ Sch Art & Design Auckland New Zealand

When postgraduate researchers' interests lie outside the body(ies) of knowledge with which their supervisors are familiar, different supervisory approaches are called for. In such situations, questions concerning the appropriateness of traditional models arise, which almost invariably involve a budding candidate's relationship with a knowing-established researcher/supervisor. Supervisory relationships involving creative practice-led research in particular confront significant challenges by new and emerging themes, questions, processes and practices. My lack of disciplinary knowledge regarding two PhD candidates' projects led me some years ago to question the effects of this lack and to search for effective ways of dealing with it. A subsequent commitment to different modes of candidate/supervisor collaborations was based on three assumptions: One, a supervisor is not, in the first instance, a conveyor or purveyor of knowledge. Two, postgraduate researchers already have substantial and refined pockets of relevant knowledge to draw on. Three, and very importantly, they are able to activate networks of distributed knowledge, often outside of the University. The argument presented in this article draws theoretically on Jacques Ranciere and Hannah Arendt's ideas of pedagogy and public space, as well as notions of cosmopolitics (Cheah & Robbins), mode 2 knowledge (Gibbons et al.) and not-knowing in Art & Design (Jonas). Reflections on my experiences of supervising PhD and Master of Art & Design candidates, together with ideas offered by contributors to a book I have recently edited, will locate moments of choice and the emergence of the unforeseeable, of vigilance towards singular events as much as collective understanding.

关键词： creative practice-led research PhD supervision of non-traditional candidates not-knowing research networks distributed knowledge mode 2 knowledge cosmopolitics

来源：评论

学校读者我要写书评

暂无评论

DKEM: A distributed knowledge Based Evolution Model for Service Ecosystem 25

DKEM: A Distributed Knowledge Based Evolution Model for Serv...

引用

25th IEEE International Conference on Web Services (IEEE ICWS) Part of the IEEE World Congress on Services

作者： Wang, Xianghui Feng, Zhiyong Chen, Shizhan Huang, Keman Tianjin Univ Sch Comp Sci & Technol Tianjin Peoples R China Shandong Jianzhu Univ Sch Comp Sci & Technol Jinan Shandong Peoples R China MIT Sloan Sch Management Cambridge MA 02142 USA

ISBN: (纸本)9781538672471

With the popularity of cloud computing and micro service architectures, various service ecosystems including services, venders, and service-based processes continuously emerge on Internet or in an enterprise. Semantics of services from different venders may be described by distributed domain ontologies. distributed knowledge brings difficulty to competition and cooperation among services, and hampers the evolution of a service ecosystem. In this paper, we propose a distributed knowledge based evolution model (DKEM) to promote competition and cooperation among services from different venders. DKEM considers stability as key factor in competition, and a stability evaluation model is designed to compute stability of services, venders, and service-based processes according to service invocation histories. Based on the evaluation model, two evolution patterns are given, and they can automatically explore new and more stable cooperation among services by means of runtime self-adaption mechanism. A prototype system for DKEM is implemented and a series of experiments show that DKEM is effective for competition and cooperation among services with distributed knowledge, and, evolved processes have higher stability and response efficiency.

关键词： service ecosystem runtime self-adaptation distributed knowledge service evolution stability evaluation

来源：评论

学校读者我要写书评

暂无评论

The limits to designed orders: Authority under "distributed knowledge" conditions

引用

REVIEW OF AUSTRIAN ECONOMICS 2006年第4期19卷 261-274页

作者： Foss, Kirsten Foss, Nicolai Copenhagen Business Sch Ctr Strateg Management & Globalizat Porcelaenshaven 24 DK-2000 Federiksberg Denmark

We examine the argument, put forward by modern management writers and, in a somewhat different guise by Austrian economists, that authority is not a viable mechanism of coordination in the presence of "distributed knowledge" We define authority and distributed knowledge and argue that authority is compatible with distributed knowledge. Moreover, it is not clear on theoretical grounds how distributed knowledge impacts on economic organization. An implication is that the Austrian argument that designed orders are strongly constrained by the Hayekian dispersed knowledge (Hayek, Kirzner, Sautet) is less decisive than it has usually been taken to be. The positive flipside of this argument is that Austrians confront an exciting research agenda in theorizing how distributed knowledge impacts economic organization.

关键词： knowledge Designed orders distributed knowledge

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：