Observational Effort and Formally Open Mappings

机译：观察努力和正式开放的映射

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

Starting off with Moss and Parikh's investigation into knowledge and topology, we propose a logical system which is capable of formally handling endomorphisms of subset spaces. The motivation for doing so originates from dynamic agent logics. Usually, these logics comprise certain epistemic actions. Our aim is to show that an appropriate extension of the Moss-Parikh system can serve similar purposes. In fact, since the semantics of an action can be described as a function inducing a change of the knowledge states of the involved agents, such transformations are to be modeled accordingly. Due to the ambivalence of the framework used here, this has some quasi-topological impact, too, in so far as a certain notion of open mapping can be captured now. The main issues of this paper concern the basic logical properties of the arising system, in particular, completeness. Our main technical resource for that is hybrid logic.

机译：从Moss和Parikh对知识和拓扑的研究开始，我们提出了一种逻辑系统，该系统能够形式化地处理子集空间的内同态。这样做的动机来自动态代理逻辑。通常，这些逻辑包括某些认知行为。我们的目的是证明适当地扩展Moss-Parikh系统可以达到类似的目的。实际上，由于可以将动作的语义描述为引起所涉及代理的知识状态发生变化的功能，因此需要对此类转换进行建模。由于此处使用的框架存在歧义，因此就目前可以捕获的某种开放映射概念而言，这也具有一些准拓扑影响。本文的主要问题涉及所产生系统的基本逻辑属性，尤其是完整性。我们为此的主要技术资源是混合逻辑。

著录项

来源
《》|2009年|197-208|共12页
会议地点 Tokyo(JP);Tokyo(JP)
作者
Bernhard Heinemann;
展开▼
作者单位

Fakultaet fuer Mathematik und Informatik,FernUniversitaet in Hagen,58084 Hagen, Germany;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类程序设计、软件工程;
关键词
topology and epistemic logic; subset spaces; hybrid logic; open mappings;

机译：拓扑和认知逻辑；子集空间；混合逻辑开放式对应;

相似文献

外文文献
中文文献
专利

1. Because Effort Matters! A Mapping Model for Assessing Project Effort in Requirements Engineering [J] . Frank Zickert, Roman Beck Business & Information Systems Engineering . 2010,第3期

机译：因为努力很重要！需求工程中项目工作量评估的映射模型
2. LANDFIRE Remap Prototype Mapping Effort: Developing a New Framework for Mapping Vegetation Classification, Change, and Structure [J] . Joshua J. Picotte, Daryn Dockter, Jordan Long, Fire . 2019,第2期

机译：Landfire Remap Prototype Mapping工作：开发用于映射植被分类，变化和结构的新框架
3. Strategic responses of stigmatized Chinese manufacturing firms to formal and informal environmental regulative pressures through enhanced corporate social responsibility effort [J] . Xu Jia, Wei Jiuchang, Chen Haipeng (Allan) Corporate Social Responsibility and Environmental Management . 2019,第6期

机译：被污名化的中国制造企业通过加强企业社会责任努力对正式和非正式环境法规压力的战略反应
4. Observational Effort and Formally Open Mappings [C] . Bernhard Heinemann International Workshop on Logic, Language, Information and Computation . 2009

机译：观察努力和正式打开映射
5. Total syntheses of (-)-Curvularin and Xestodecalactone A, formal total syntheses of (-)-Citreofuran, (+)-12-oxo-curvularin, (+)-Sporostatin, synthetic efforts toward (-)-Caylobolide A. [D] . De Joarder, Dripta. 2014

机译：（-）-Curvularin和Xestodecalactone A的总合成，（-）-Citreofuran，（+）-12-氧代-curvularin，（+）-Sporostatin的正式总合成，对（-）-Caylobolide A的合成。
6. Utilization of formal health services for children aged 1–5 in Aceh after the 2004 tsunami: Which children did not receive the health care they needed? Implications for other natural disaster relief efforts [O] . Bahie Mary Rassekh, Mathuram Santosham -1

机译：在2004年海啸之后为亚齐州1-5岁的儿童提供正式的医疗服务：哪些儿童没有得到他们需要的医疗服务？对其他自然灾害救济工作的影响
7. Analyzing Formal Verification and Testing Efforts of Different Fault Tolerance Mechanisms [O] . Meng Zhang, Anita Lungu, Daniel J. Sorin 2015

机译：不同容错机制的形式验证和测试努力分析

Observational Effort and Formally Open Mappings

摘要

著录项

相似文献

相关主题

期刊订阅