Formalizing a Language for Institutions and Norms

机译：规范制度和规范语言

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way in which it may be possible to create that initial trust is through the abstract notion of an institution, defined in terms of norms and the scenes within which (software) agents may play roles in different trading activities, governed by those norms. We present here a case for institutions in electronic trading, a specification language for institutions (covering norms, performative structure, scenes, roles, etc.) and its semantics and how this may be mapped into formal languages such as process algebra and various forms of logic, so that there is a framework within which norms can be stated and proven.

机译：实物交易系统的信任来源之一是其实物资产，而仅仅是其存在。电子交易系统不存在类似的基准，但是建立初始信任的一种可能方式是通过机构的抽象概念，该概念根据规范和（软件）代理可能在其中发挥作用的场景进行定义在那些交易活动中的角色，受这些规范约束。我们在这里为电子交易中的机构提供一个案例，为机构提供一种规范语言（涵盖规范，执行结构，场景，角色等）及其语义，以及如何将其映射成正式语言，例如过程代数和各种形式的逻辑，因此存在一个可以陈述和证明规范的框架。

著录项

来源
《8th International Workshop on Intelligent Agents VIII: Agent Theories, Architectures, and Languages ATAL 2001, Aug 1-3, 2001, Seattle, WA, USA》|2001年|p.348-366|共19页
会议地点 Seattle WA(US);Seattle WA(US)
作者
Marc Esteva; Julian Padget; Carles Sierra;
展开▼
作者单位

Artificial Intelligence Research Institute, IIIA Spanish Council for Scientific Research, CSIC 08193 Bellaterra, Barcelona, Spain;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. To formalize or not to formalize: Entrepreneurship and pro-market institutions [J] . Luis Alfonso Dau, Alvaro Cuervo-Cazurra Journal of business venturing . 2014,第5期

机译：正规化或非正规化：企业家精神和支持市场的机构
2. Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages [J] . Marcus V.M. Ramos, José Carlos Bacelar Almeida, Nelma Moreira, Electronic Notes in Theoretical Computer Science . 2019,第1期

机译：上下文无关语言的抽取引文形式化的一些应用
3. Alfred Tarski and the "Concept of Truth in Formalized Languages" [J] . Kashtan David History and philosophy of logic . 2019,第3期

机译：阿尔弗雷德·塔斯基和“ 在形式化语言真理观 ”
4. Formalizing a Language for Institutions and Norms [C] . Marc Esteva, Julian Padget, Carles Sierra International Workshop on Agent Theories, Architectures, and Languages . 2002

机译：正式化机构和规范的语言
5. Subjectivity, second/foreign language pragmatic use, and instruction: Evidence of accommodation and resistance. Study I. Emulating and resisting pragmatic norms: Learner subjectivity and foreign language pragmatic use. Study II. Centering second language (SL) speakers' experience: A study of SL speakers' resistance to pragmatic norms of the SL community. Study III. Web-based curriculum for pragmatics instruction in Japanese as a foreign language: An explicit awareness-raising approach. [D] . Ishihara, Noriko. 2006

机译：主观性，第二/外语的语用和用法：适应和抵制的证据。研究I.模拟和抵制实用规范：学习者的主观性和外语的实用性。研究二。以讲第二语言的人的经历为中心：研究讲第二语言者对SL社区的实用规范的抵制。研究III。基于网络的日语作为外语的语用学教学课程：一种明确的提高认识的方法。
6. What can we talk about in which language in what way and with whom? Sami patients experiences of language choice and cultural norms in mental health treatment [O] . Inger Dagsvold, Snefrid Møllersen, Vigdis Stordahl 2015

机译：我们可以谈论什么用什么语言用什么方式以及与谁？萨米人患者在心理健康治疗中的语言选择和文化规范经验
7. Formalizing a Language for Institutions and Norms [O] . Marc Esteva, Julian Padget, Carles Sierra 2002

机译：将机构和规范的语言形式化

Formalizing a Language for Institutions and Norms

摘要

著录项

相似文献

相关主题

期刊订阅