Constructing Probability Models for Large Corpora of Well-Informed but Probabilistically Incoherent Judgments
Constructing Probability Models for Large Corpora of Well-Informed but Probabilistically Incoherent Judgments
批准号:
9978135
负责人:
Moshe Vardi
金额:
$59.4万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2000
资助国家:
美国
项目状态:
已结题
起止时间:
2000-09-01 至 2004-08-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
This interdisciplinary team (Psychology, Computational and Applied Mathematics, Statistics, Economics, Computer Science) has a goal of overcoming the weaknesses in inference engines in expert systems, decision support systems or in knowledge discovery systems that often work in environments with uncertain characteristics. The current techniques rely on Baysian theory and do not perform well in situations in which conditional independence cannot be guaranteed, or the probabilities provided by experts may not be sound. Since inferences based on probability calculations offer the best guarantee of sensible assessments of chance, efficient schemes have been developed for computing probabilities over complex event spaces. Underlying all such algorithms is a "probability model," i.e., a representation of the chances of various combinations of events. In turn, probability models are constructed from an initial set of facts about uncertainty in the environment. These facts can sometimes be extracted from databases, using relative frequency as probability. Often, however, the needed probabilities must be obtained from an expert, who responds intuitively. Reliance upon experts raises the specter of incoherence, i.e., judgments that cannot be reconciled with any probability model at all. Indeed, maintaining coherence across a large set of judgments is both computationally and psychologically taxing, and seldom achieved. Incoherent judgment on the part of a single judge is compounded when it is desired to integrate the opinions of several judges. To exploit potentially incoherent and inconsistent judgments, special optimization algorithms are used to construct a compact probability model that best approximates all the judgments in play. The algorithms are tested by applying them to a body of expert opinion in some complex domain. Development of the algorithms will facilitate the automatic construction of artificial expert systems. Whenever a body of expert judgment can be assembled, the algorithms can be applied in view of creating a compact representation of the collective wisdom of the judges. The results of the theoretical research on the probability models will be applied to the analysis of air quality policy in Houston. A large probabilistic database will be established by culling measurements from air quality control stations around the city, expert judgements in environmental science and medicine, and the output of econometric and environmental models of the region. The project has the potential to have a significant intellectual impact in probability, applied learning, and datamining research communities and also provide a useful tool to environmental researchers and Houston decision-makers.http://www.ruf.rice.edu/~osherson
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Conference: CISE: CCF: SHF: Support for the 2022 Federated Logic Conference
-
批准号:2223546
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2022
-
负责人:Moshe Vardi
-
依托单位:
CCRI: Medium: Collaborative Research: Open-Source, State-of-the-Art Symbolic Model-Checking Framework
-
批准号:2016656
-
项目类别:Standard Grant
-
资助金额:$25.66万
-
财政年份:2020
-
负责人:Moshe Vardi
-
依托单位:
Student Support for the 2018 Federated Logic Conference
-
批准号:1824944
-
项目类别:Standard Grant
-
资助金额:$3.5万
-
财政年份:2018
-
负责人:Moshe Vardi
-
依托单位:
SHF: Medium: Collaborative Research: Formal Analysis and Synthesis of Multiagent Systems with Incentives
-
批准号:1704883
-
项目类别:Standard Grant
-
资助金额:$80.0万
-
财政年份:2017
-
负责人:Moshe Vardi
-
依托单位:
A Conference on Humans, Machines and the Future of Work
-
批准号:1648897
-
项目类别:Standard Grant
-
资助金额:$2.5万
-
财政年份:2016
-
负责人:Moshe Vardi
-
依托单位:
III: Small: Sampling Techniques in Computational Logic
-
批准号:1527668
-
项目类别:Standard Grant
-
资助金额:$40.73万
-
财政年份:2015
-
负责人:Moshe Vardi
-
依托单位:
Student Support for the 2014 Federated Logic Conference
-
批准号:1419283
-
项目类别:Standard Grant
-
资助金额:$4.0万
-
财政年份:2014
-
负责人:Moshe Vardi
-
依托单位:
MRI: Acquisition of Big-Data Private-Cloud Research Cyberinfrastructure (BDPC)
-
批准号:1338099
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2013
-
负责人:Moshe Vardi
-
依托单位:
SHF: Small: Pushing the Frontier of Linear-Time Model-Checking Technology
-
批准号:1319459
-
项目类别:Standard Grant
-
资助金额:$30.46万
-
财政年份:2013
-
负责人:Moshe Vardi
-
依托单位:
Collaborative Research: Expeditions in Computer Augmented Program Engineering (ExCAPE): Harnessing Synthesis for Software Design
-
批准号:1139011
-
项目类别:Continuing Grant
-
资助金额:$100.0万
-
财政年份:2012
-
负责人:Moshe Vardi
-
依托单位:
Support for the 2010 Federated Logic Conference
-
批准号:1009103
-
项目类别:Standard Grant
-
资助金额:$3.0万
-
财政年份:2010
-
负责人:Moshe Vardi
-
依托单位:
Eager: Automated Synthesis for System Design
-
批准号:1049862
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2010
-
负责人:Moshe Vardi
-
依托单位:
An Automata-Theoretic Approach to Design Synthesis
-
批准号:0728882
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2007
-
负责人:Moshe Vardi
-
依托单位:
SOD:HCER: A Theory of Automated Design
-
批准号:0613889
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2006
-
负责人:Moshe Vardi
-
依托单位:
Automata-Theoretic Approach to Design Verification
-
批准号:0311326
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2003
-
负责人:Moshe Vardi
-
依托单位:
MRI: Acquisition of CITI Terascale Cluster (CTC)
-
批准号:0216467
-
项目类别:Standard Grant
-
资助金额:$115.0万
-
财政年份:2002
-
负责人:Moshe Vardi
-
依托单位:
Developing Linear-time Model-checking Technology
-
批准号:9988322
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2000
-
负责人:Moshe Vardi
-
依托单位:
Educational Innovation: "Collaborative Research:" Integrating Logic in the Computer Science Curriculum
-
批准号:0086264
-
项目类别:Standard Grant
-
资助金额:$48.96万
-
财政年份:2000
-
负责人:Moshe Vardi
-
依托单位:
Collaborative Research: Constraint Satisfaction, Database Query Evaluation, and Information Integration
-
批准号:9908435
-
项目类别:Continuing grant
-
资助金额:$20.81万
-
财政年份:2000
-
负责人:Moshe Vardi
-
依托单位:
Workshop on Application of Tree Automata in Rewriting, Logic and Programming in Frankfurt, Germany, October 20-24, 1997
-
批准号:9711212
-
项目类别:Standard Grant
-
资助金额:$0.9万
-
财政年份:1997
-
负责人:Moshe Vardi
-
依托单位:
海外基金