Negotiated Formal Agreements and International Relations
谈判的正式协议和国际关系
基本信息
- 批准号:8810207
- 负责人:
- 金额:$ 3.91万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:1988
- 资助国家:美国
- 起止时间:1988-07-01 至 1990-04-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Many Western observers of international relations believe that a major underlying problem remains the creation and management of orderly relations among states. A substantial degree of orderliness in relations is required for regularizing mutually beneficial economic and cultural exchange and for assuring the avoidance of mutually destructive violent conflicts. Defending and incrementally developing an existing order is thus seen to be a prime objective for responsible statecraft. To explain how incomplete international orders endure and change is the focus of a prominent and active subfield of international organization, called regime theory. A regime is a set of more or less mutually acknowledged rules - - including principles, norms and decision-making procedures as well as international agreements. International behavior in conformance with the rules can in some circumstances produce convergent expectations about the future and lead to shared recognitions of national security. This project undertakes methodological extension in two directions, by developing ways to utilize textual sources, and by constructing computational methods for analyzing data bases of rules derived from appropriate texts. First, the texts of formal negotiated agreements -- specifically the Anti-Ballistic Missile Treaty of 1972 and the treaty on the elimination of intermediate- range and shorter-range missiles (INF Treaty) of 1987 - - are used as source materials for the derivation and explication of rules which, if adhered to, constrain subsequent interactions between the United States and the Soviet Union. These agreements are selected because they contain both detailed quantitative limits and broad restrictive principles, and because they create new forums for joint management of their implementation. Second, the rules are expressed in a language which a computer can understand and are organized into a formal data base, similar to a numerical spreadsheet but containing not numbers but statements of permission and prohibition. Finally, a computational logic language is applied to pose questions to the data base concerning which activities conform and which violate the rule sets. The objective is to develop methods for constructing a data base of rules from textual materials, to demonstrate how international behavior can be related to rule-compliance or rule-violation, and thus to establish conceptual and methodological foundations for follow-on empirical analysis of regime possibilities in the very important area of superpower security relations.
许多西方国际关系观察家认为,一个主要的根本问题仍然是建立和管理国家之间的有序关系。为了使互惠的经济和文化交流正规化,并确保避免相互破坏性的暴力冲突,需要在很大程度上使关系井然有序。因此,捍卫和逐步发展现有秩序被视为负责任的治国之道的首要目标。解释不完整的国际秩序如何持续和变化,是国际组织一个重要而活跃的分支--政权理论--的焦点。制度是一套或多或少相互承认的规则--包括原则、规范和决策程序以及国际协定。遵守规则的国际行为在某些情况下可能会产生对未来的趋同预期,并导致对国家安全的共同认识。该项目在方法上进行了两个方向的扩展,开发了利用文本来源的方法,并构建了分析从适当文本中得出的规则数据库的计算方法。首先,正式谈判协定的案文--特别是1972年的《反弹道导弹条约》和1987年的《消除中程和短程导弹条约》(《中程和短程导弹条约》)--被用作派生和解释规则的原始材料,这些规则如果得到遵守,就会限制美国和苏联之间随后的互动。之所以选择这些协议,是因为它们既包含详细的数量限制,也包含广泛的限制性原则,还因为它们为联合管理其执行工作创造了新的论坛。其次,规则用计算机能够理解的语言表示,并被组织成一个正式的数据库,类似于数字电子表格,但包含的不是数字,而是允许和禁止的声明。最后,应用计算逻辑语言向数据库提出关于哪些活动符合规则集、哪些活动违反规则集的问题。其目的是开发方法,根据文本材料建立规则数据库,展示国际行为如何与遵守规则或违反规则有关,从而为超级大国安全关系这一非常重要的领域的制度可能性的后续经验分析奠定概念和方法基础。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
James Bennett其他文献
eP282: Alpelisib for the treatment of emPIK3CA/em-related head and neck lymphatic malformations and overgrowth
- DOI:
10.1016/j.gim.2022.01.317 - 发表时间:
2022-03-01 - 期刊:
- 影响因子:6.200
- 作者:
Tara Wenger;Jonathan Perkins;Madeleine Drusin;Michael Bindschadler;Randall Bly;Seth Friedman;Juliana Bonilla-Velez;John Dahl;Sheila Ganti;Ezgi Mercan;Erik Stuhaug;James Bennett;Zoe Nelson;Erika Lutsky;Catherine Bull;Dana Jensen;Victoria Dmyterko;Eden Palmer;William Dobyns;Jonathan Perkins - 通讯作者:
Jonathan Perkins
Intravenous access in children
- DOI:
10.1016/j.paed.2020.03.008 - 发表时间:
2020-06-01 - 期刊:
- 影响因子:
- 作者:
James Bennett;Mary Cheung - 通讯作者:
Mary Cheung
P099: Mosaic variant in <em>RHOA</em> in an adolescent with a multisystem disorder composed of congenital and progressive anomalies
- DOI:
10.1016/j.gimo.2023.100128 - 发表时间:
2023-01-01 - 期刊:
- 影响因子:
- 作者:
Aimee Allworth;Ian Glass;Anne Hing;Elizabeth Blue;Elisabeth Rosenthal;Sam Strohbehn;Gail Jarvik;Katrina Dipple;Andrew Stergachis;Virginia Sybert;Jane Ranchalis;Martha Horike-Pyne;Sirisak Chanprasert;Fuki Hisama;Michael Bamshad;James Bennett;Heather Brandling-Bennett;Michelle Cabrera;Mark Wener - 通讯作者:
Mark Wener
P014: Multiple cases of mosaic X-linked adrenoleukodystrophy in males identified through newborn screening
- DOI:
10.1016/j.gimo.2024.100891 - 发表时间:
2024-01-01 - 期刊:
- 影响因子:
- 作者:
Alexandra Keefe;Dana Jensen;Renee Bend;Michelle Morrow;Paul Kruszka;Lauren O'Grady;Florian Eichler;Angela Sun;James Bennett - 通讯作者:
James Bennett
A Chemical Probe For Tudor Domain Protein Spin1 to Investigate Chromatin Functions
用于研究染色质功能的 Tudor 结构域蛋白 Spin1 的化学探针
- DOI:
10.26434/chemrxiv.7673129.v1 - 发表时间:
2019 - 期刊:
- 影响因子:0
- 作者:
Vincent Fagan;C. Johansson;C. Gileadi;Octovia P. Monteiro;James Dunford;R. Nibhani;M. Philpott;J. Malzahn;Graham Wells;Ruth Farham;A. Cribbs;Nadia Halidi;Fengling Li;Irene Chau;H. Greschik;Srikannathasan Velupillai;Abdellalh Allali;James Bennett;Thomas Christott;Charline Giroud;Andrew M. Lewis;K. Huber;Nicholas Athanasou;C. Bountra;Manfred Jung;R. Schüle;M. Vedadi;C. Arrowsmith;Yan Xiong;Jian Jin;O. Fedorov;G. Farnie;Paul E. Brennan;U. Oppermann - 通讯作者:
U. Oppermann
James Bennett的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('James Bennett', 18)}}的其他基金
Evaluating people-environment trade-offs through low-tech intensification of livestock management in communal grazing systems in South Africa.
通过南非公共放牧系统中牲畜管理的低技术集约化来评估人与环境的权衡。
- 批准号:
BB/S014683/1 - 财政年份:2019
- 资助金额:
$ 3.91万 - 项目类别:
Research Grant
StoryFutures: Gateway Cluster Partnership for Audiovisual Digital Creativity
StoryFutures:视听数字创意网关集群合作伙伴关系
- 批准号:
AH/S002758/1 - 财政年份:2018
- 资助金额:
$ 3.91万 - 项目类别:
Research Grant
Multiplatforming Public Service Broadcasting: The Specialist Factual Independent Production Ecology in the UK's Digital Television Landscape
多平台公共服务广播:英国数字电视领域的专业事实独立制作生态
- 批准号:
AH/H018522/2 - 财政年份:2011
- 资助金额:
$ 3.91万 - 项目类别:
Research Grant
Multiplatforming Public Service Broadcasting: The Specialist Factual Independent Production Ecology in the UK's Digital Television Landscape
多平台公共服务广播:英国数字电视领域的专业事实独立制作生态
- 批准号:
AH/H018522/1 - 财政年份:2010
- 资助金额:
$ 3.91万 - 项目类别:
Research Grant
Doctoral Dissertation Research in Political Science
政治学博士论文研究
- 批准号:
8207615 - 财政年份:1982
- 资助金额:
$ 3.91万 - 项目类别:
Standard Grant
相似海外基金
Automated Formal Verification of Quantum Protocols for the Quantum Era
量子时代量子协议的自动形式验证
- 批准号:
24K20757 - 财政年份:2024
- 资助金额:
$ 3.91万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
CAREER: SAIF: Security Assurance through AI and Formal Approaches for System-on-Chips
职业:SAIF:通过人工智能和片上系统的正式方法提供安全保证
- 批准号:
2339971 - 财政年份:2024
- 资助金额:
$ 3.91万 - 项目类别:
Continuing Grant
CAREER: Robust and Lightweight Formal Methods for Mobile Robot System Development
职业:用于移动机器人系统开发的稳健且轻量级的形式化方法
- 批准号:
2338706 - 财政年份:2024
- 资助金额:
$ 3.91万 - 项目类别:
Continuing Grant
CAREER: Programming Abstractions and Formal Reasoning for IoT Application Development
职业:物联网应用程序开发的编程抽象和形式推理
- 批准号:
2340479 - 财政年份:2024
- 资助金额:
$ 3.91万 - 项目类别:
Continuing Grant
SHF: Medium: Neurosymbolic Agents for Formal Theorem-Proving
SHF:介质:用于形式定理证明的神经符号代理
- 批准号:
2403211 - 财政年份:2024
- 资助金额:
$ 3.91万 - 项目类别:
Continuing Grant
CAREER: Formal Guarantees for Neurosymbolic Programs via Conformal Prediction
职业:通过保形预测对神经符号程序提供正式保证
- 批准号:
2338777 - 财政年份:2024
- 资助金额:
$ 3.91万 - 项目类别:
Continuing Grant
Formal methods and Koopman-model predictive control
形式化方法和库普曼模型预测控制
- 批准号:
23H01434 - 财政年份:2023
- 资助金额:
$ 3.91万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Cyber Risk-Resilience of Wind Plants: A Formal Approach to Verify Safety and Stability of Wind Turbines and Power Plants
风力发电厂的网络风险抵御能力:验证风力涡轮机和发电厂安全性和稳定性的正式方法
- 批准号:
2881978 - 财政年份:2023
- 资助金额:
$ 3.91万 - 项目类别:
Studentship
FMitF: Track I: Formal Verification for Mechanism Design
FMITF:第一轨:机制设计的形式验证
- 批准号:
2319186 - 财政年份:2023
- 资助金额:
$ 3.91万 - 项目类别:
Standard Grant
REU SITE: From Formal Computer Science Education to Real World Data Science Research to Policy Decision Making
REU 站点:从正规计算机科学教育到现实世界数据科学研究再到政策决策
- 批准号:
2244271 - 财政年份:2023
- 资助金额:
$ 3.91万 - 项目类别:
Standard Grant