Ethics and Formal Theories of Decision

决策的伦理学和形式理论

基本信息

  • 批准号:
    DP0879681
  • 负责人:
  • 金额:
    $ 6.92万
  • 依托单位:
  • 依托单位国家:
    澳大利亚
  • 项目类别:
    Discovery Projects
  • 财政年份:
    2008
  • 资助国家:
    澳大利亚
  • 起止时间:
    2008-06-27 至 2012-06-30
  • 项目状态:
    已结题

项目摘要

The benefits of this project will include improved methods for making ethically-informed decisions in various practical situations. Among the more important applications are legal decisions and conservation management. The theory developed in this project will also help shed light on both the statistical and ethical issues raised in much-debated areas such as racial profiling. The project will also serve to enhance Australia's reputation in technical philosophy and decision theory.
该项目的好处将包括改进在各种实际情况下作出合乎道德的决策的方法。其中更重要的应用是法律决定和保护管理。在这个项目中开发的理论还将有助于阐明在种族貌相等备受争议的领域提出的统计和伦理问题。该项目还将有助于提高澳大利亚在技术哲学和决策理论方面的声誉。

项目成果

期刊论文数量(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 }}

Prof Mark Colyvan其他文献

Prof Mark Colyvan的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Prof Mark Colyvan', 18)}}的其他基金

Formal approaches to legal reasoning
法律推理的正式方法
  • 批准号:
    DP180103549
  • 财政年份:
    2018
  • 资助金额:
    $ 6.92万
  • 项目类别:
    Discovery Projects
Laws, models and analogies in ecology
生态学中的定律、模型和类比
  • 批准号:
    DP170104924
  • 财政年份:
    2017
  • 资助金额:
    $ 6.92万
  • 项目类别:
    Discovery Projects
Mathematical notation: a philosophical account
数学符号:哲学解释
  • 批准号:
    DP120102871
  • 财政年份:
    2012
  • 资助金额:
    $ 6.92万
  • 项目类别:
    Discovery Projects
Mathematical explanation
数学解释
  • 批准号:
    FT110100909
  • 财政年份:
    2012
  • 资助金额:
    $ 6.92万
  • 项目类别:
    ARC Future Fellowships
A Paraconsistent Approach to Vagueness
模糊性的并行一致方法
  • 批准号:
    DP0666020
  • 财政年份:
    2006
  • 资助金额:
    $ 6.92万
  • 项目类别:
    Discovery Projects
The Role of Naturalism in Ontology and Scientific Methodology
自然主义在本体论和科学方法论中的作用
  • 批准号:
    DP0209896
  • 财政年份:
    2002
  • 资助金额:
    $ 6.92万
  • 项目类别:
    Discovery Projects

相似海外基金

Automated Formal Verification of Quantum Protocols for the Quantum Era
量子时代量子协议的自动形式验证
  • 批准号:
    24K20757
  • 财政年份:
    2024
  • 资助金额:
    $ 6.92万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
CAREER: SAIF: Security Assurance through AI and Formal Approaches for System-on-Chips
职业:SAIF:通过人工智能和片上系统的正式方法提供安全保证
  • 批准号:
    2339971
  • 财政年份:
    2024
  • 资助金额:
    $ 6.92万
  • 项目类别:
    Continuing Grant
CAREER: Robust and Lightweight Formal Methods for Mobile Robot System Development
职业:用于移动机器人系统开发的稳健且轻量级的形式化方法
  • 批准号:
    2338706
  • 财政年份:
    2024
  • 资助金额:
    $ 6.92万
  • 项目类别:
    Continuing Grant
CAREER: Programming Abstractions and Formal Reasoning for IoT Application Development
职业:物联网应用程序开发的编程抽象和形式推理
  • 批准号:
    2340479
  • 财政年份:
    2024
  • 资助金额:
    $ 6.92万
  • 项目类别:
    Continuing Grant
SHF: Medium: Neurosymbolic Agents for Formal Theorem-Proving
SHF:介质:用于形式定理证明的神经符号代理
  • 批准号:
    2403211
  • 财政年份:
    2024
  • 资助金额:
    $ 6.92万
  • 项目类别:
    Continuing Grant
CAREER: Formal Guarantees for Neurosymbolic Programs via Conformal Prediction
职业:通过保形预测对神经符号程序提供正式保证
  • 批准号:
    2338777
  • 财政年份:
    2024
  • 资助金额:
    $ 6.92万
  • 项目类别:
    Continuing Grant
FMitF: Track I: Formal Verification for Mechanism Design
FMITF:第一轨:机制设计的形式验证
  • 批准号:
    2319186
  • 财政年份:
    2023
  • 资助金额:
    $ 6.92万
  • 项目类别:
    Standard Grant
REU SITE: From Formal Computer Science Education to Real World Data Science Research to Policy Decision Making
REU 站点:从正规计算机科学教育到现实世界数据科学研究再到政策决策
  • 批准号:
    2244271
  • 财政年份:
    2023
  • 资助金额:
    $ 6.92万
  • 项目类别:
    Standard Grant
Formal methods and Koopman-model predictive control
形式化方法和库普曼模型预测控制
  • 批准号:
    23H01434
  • 财政年份:
    2023
  • 资助金额:
    $ 6.92万
  • 项目类别:
    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
  • 资助金额:
    $ 6.92万
  • 项目类别:
    Studentship
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了