-
Modular Belief Updates and Confusion about Measures of Certainty in Artificial Intelligence Research
Abstract: Over the last decade, there has been growing interest in the use or measures or change in belief for reasoning with uncertainty in artificial intelligence research. An important characteristic of several methodologies that reason with changes in belief or belief updates, is a property that we term modularity. We call updates that satisfy this property modular updates. Whereas probabilistic measure… ▽ More
Submitted 27 July, 2014; originally announced July 2014.
Comments: Appears in Proceedings of the First Conference on Uncertainty in Artificial Intelligence (UAI1985)
Report number: UAI-P-1985-PG-283-286
-
The Myth of Modularity in Rule-Based Systems
Abstract: In this paper, we examine the concept of modularity, an often cited advantage of the ruled-based representation methodology. We argue that the notion of modularity consists of two distinct concepts which we call syntactic modularity and semantic modularity. We argue that when reasoning under certainty, it is reasonable to regard the rule-based approach as both syntactically and semantically modula… ▽ More
Submitted 27 March, 2013; originally announced April 2013.
Comments: Appears in Proceedings of the Second Conference on Uncertainty in Artificial Intelligence (UAI1986)
Report number: UAI-P-1986-PG-115-122
-
Reasoning About Beliefs and Actions Under Computational Resource Constraints
Abstract: Although many investigators affirm a desire to build reasoning systems that behave consistently with the axiomatic basis defined by probability theory and utility theory, limited resources for engineering and computation can make a complete normative analysis impossible. We attempt to move discussion beyond the debate over the scope of problems that can be handled effectively to cases where it is… ▽ More
Submitted 27 March, 2013; originally announced April 2013.
Comments: Appears in Proceedings of the Third Conference on Uncertainty in Artificial Intelligence (UAI1987)
Report number: UAI-P-1987-PG-429-447
-
Bounded Conditioning: Flexible Inference for Decisions under Scarce Resources
Abstract: We introduce a graceful approach to probabilistic inference called bounded conditioning. Bounded conditioning monotonically refines the bounds on posterior probabilities in a belief network with computation, and converges on final probabilities of interest with the allocation of a complete resource fraction. The approach allows a reasoner to exchange arbitrary quantities of computational resource… ▽ More
Submitted 27 March, 2013; originally announced April 2013.
Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)
Report number: UAI-P-1989-PG-182-193
-
The Compilation of Decision Models
Abstract: We introduce and analyze the problem of the compilation of decision models from a decision-theoretic perspective. The techniques described allow us to evaluate various configurations of compiled knowledge given the nature of evidential relationships in a domain, the utilities associated with alternative actions, the costs of run-time delays, and the costs of memory. We describe procedures for sele… ▽ More
Submitted 27 March, 2013; originally announced April 2013.
Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)
Report number: UAI-P-1989-PG-162-173
-
Problem Formulation as the Reduction of a Decision Model
Abstract: In this paper, we extend the QMRDT probabilistic model for the domain of internal medicine to include decisions about treatments. In addition, we describe how we can use the comprehensive decision model to construct a simpler decision model for a specific patient. In so doing, we transform the task of problem formulation to that of narrowing of a larger problem.
Submitted 16 May, 2015; v1 submitted 27 March, 2013; originally announced April 2013.
Comments: Appears in Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (UAI1990)
Report number: UAI-P-1990-PG-82-89
-
Ideal Reformulation of Belief Networks
Abstract: The intelligent reformulation or restructuring of a belief network can greatly increase the efficiency of inference. However, time expended for reformulation is not available for performing inference. Thus, under time pressure, there is a tradeoff between the time dedicated to reformulating the network and the time applied to the implementation of a solution. We investigate this partition of re… ▽ More
Submitted 27 March, 2013; originally announced April 2013.
Comments: Appears in Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (UAI1990)
Report number: UAI-P-1990-PG-64-72
-
Time-Dependent Utility and Action Under Uncertainty
Abstract: We discuss representing and reasoning with knowledge about the time-dependent utility of an agent's actions. Time-dependent utility plays a crucial role in the interaction between computation and action under bounded resources. We present a semantics for time-dependent utility and describe the use of time-dependent information in decision contexts. We illustrate our discussion with examples of… ▽ More
Submitted 20 March, 2013; originally announced March 2013.
Comments: Appears in Proceedings of the Seventh Conference on Uncertainty in Artificial Intelligence (UAI1991)
Report number: UAI-P-1991-PG-151-158
-
An Approximate Nonmyopic Computation for Value of Information
Abstract: Value-of-information analyses provide a straightforward means for selecting the best next observation to make, and for determining whether it is better to gather additional information or to act immediately. Determining the next best test to perform, given a state of uncertainty about the world, requires a consideration of the value of making all possible sequences of observations. In practice, de… ▽ More
Submitted 16 May, 2015; v1 submitted 20 March, 2013; originally announced March 2013.
Comments: Appears in Proceedings of the Seventh Conference on Uncertainty in Artificial Intelligence (UAI1991)
Report number: UAI-P-1991-PG-135-141
-
Reformulating Inference Problems Through Selective Conditioning
Abstract: We describe how we selectively reformulate portions of a belief network that pose difficulties for solution with a stochastic-simulation algorithm. With employ the selective conditioning approach to target specific nodes in a belief network for decomposition, based on the contribution the nodes make to the tractability of stochastic simulation. We review previous work on BNRAS algorithms- random… ▽ More
Submitted 13 March, 2013; originally announced March 2013.
Comments: Appears in Proceedings of the Eighth Conference on Uncertainty in Artificial Intelligence (UAI1992)
Report number: UAI-P-1992-PG-49-54
-
Dynamic Network Models for Forecasting
Abstract: We have developed a probabilistic forecasting methodology through a synthesis of belief network models and classical time-series analysis. We present the dynamic network model (DNM) and describe methods for constructing, refining, and performing inference with this representation of temporal probabilistic knowledge. The DNM representation extends static belief-network models to more general dyna… ▽ More
Submitted 13 March, 2013; originally announced March 2013.
Comments: Appears in Proceedings of the Eighth Conference on Uncertainty in Artificial Intelligence (UAI1992)
Report number: UAI-P-1992-PG-41-48
-
A Synthesis of Logical and Probabilistic Reasoning for Program Understanding and Debugging
Abstract: We describe the integration of logical and uncertain reasoning methods to identify the likely source and location of software problems. To date, software engineers have had few tools for identifying the sources of error in complex software packages. We describe a method for diagnosing software problems through combining logical and uncertain reasoning analyses. Our preliminary results suggest t… ▽ More
Submitted 6 March, 2013; originally announced March 2013.
Comments: Appears in Proceedings of the Ninth Conference on Uncertainty in Artificial Intelligence (UAI1993)
Report number: UAI-P-1993-PG-285-291
-
Reasoning about the Value of Decision-Model Refinement: Methods and Application
Abstract: We investigate the value of extending the completeness of a decision model along different dimensions of refinement. Specifically, we analyze the expected value of quantitative, conceptual, and structural refinement of decision models. We illustrate the key dimensions of refinement with examples. The analyses of value of model refinement can be used to focus the attention of an analyst or an au… ▽ More
Submitted 6 March, 2013; originally announced March 2013.
Comments: Appears in Proceedings of the Ninth Conference on Uncertainty in Artificial Intelligence (UAI1993)
Report number: UAI-P-1993-PG-174-182
-
Utility-Based Abstraction and Categorization
Abstract: We take a utility-based approach to categorization. We construct generalizations about events and actions by considering losses associated with failing to distinguish among detailed distinctions in a decision model. The utility-based methods transform detailed states of the world into more abstract categories comprised of disjunctions of the states. We show how we can cluster distinctions into g… ▽ More
Submitted 6 March, 2013; originally announced March 2013.
Comments: Appears in Proceedings of the Ninth Conference on Uncertainty in Artificial Intelligence (UAI1993)
Report number: UAI-P-1993-PG-128-135
-
Exploiting System Hierarchy to Compute Repair Plans in Probabilistic Model-based Diagnosis
Abstract: The goal of model-based diagnosis is to isolate causes of anomalous system behavior and recommend inexpensive repair actions in response. In general, precomputing optimal repair policies is intractable. To date, investigators addressing this problem have explored approximations that either impose restrictions on the system model (such as a single fault assumption) or compute an immediate best ac… ▽ More
Submitted 20 February, 2013; originally announced February 2013.
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Report number: UAI-P-1995-PG-523-531
-
Reasoning, Metareasoning, and Mathematical Truth: Studies of Theorem Proving under Limited Resources
Abstract: In earlier work, we introduced flexible inference and decision-theoretic metareasoning to address the intractability of normative inference. Here, rather than pursuing the task of computing beliefs and actions with decision models composed of distinctions about uncertain events, we examine methods for inferring beliefs about mathematical truth before an automated theorem prover completes a proof.… ▽ More
Submitted 20 February, 2013; originally announced February 2013.
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Report number: UAI-P-1995-PG-306-314
-
Display of Information for Time-Critical Decision Making
Abstract: We describe methods for managing the complexity of information displayed to people responsible for making high-stakes, time-critical decisions. The techniques provide tools for real-time control of the configuration and quantity of information displayed to a user, and a methodology for designing flexible human-computer interfaces for monitoring applications. After defining a prototypical set of… ▽ More
Submitted 20 February, 2013; originally announced February 2013.
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Report number: UAI-P-1995-PG-296-305
-
A Graph-Theoretic Analysis of Information Value
Abstract: We derive qualitative relationships about the informational relevance of variables in graphical decision models based on a consideration of the topology of the models. Specifically, we identify dominance relations for the expected value of information on chance variables in terms of their position and relationships in influence diagrams. The qualitative relationships can be harnessed to generate… ▽ More
Submitted 13 February, 2013; originally announced February 2013.
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Report number: UAI-P-1996-PG-427-435
-
Time-Critical Reasoning: Representations and Application
Abstract: We review the problem of time-critical action and discuss a reformulation that shifts knowledge acquisition from the assessment of complex temporal probabilistic dependencies to the direct assessment of time-dependent utilities over key outcomes of interest. We dwell on a class of decision problems characterized by the centrality of diagnosing and reacting in a timely manner to pathological proce… ▽ More
Submitted 6 February, 2013; originally announced February 2013.
Comments: Appears in Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence (UAI1997)
Report number: UAI-P-1997-PG-250-257
-
Perception, Attention, and Resources: A Decision-Theoretic Approach to Graphics Rendering
Abstract: We describe work to control graphics rendering under limited computational resources by taking a decision-theoretic perspective on perceptual costs and computational savings of approximations. The work extends earlier work on the control of rendering by introducing methods and models for computing the expected cost associated with degradations of scene components. The expected cost is computed b… ▽ More
Submitted 6 February, 2013; originally announced February 2013.
Comments: Appears in Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence (UAI1997)
Report number: UAI-P-1997-PG-238-249
-
The Lumiere Project: Bayesian User Modeling for Inferring the Goals and Needs of Software Users
Abstract: The Lumiere Project centers on harnessing probability and utility to provide assistance to computer software users. We review work on Bayesian user models that can be employed to infer a users needs by considering a user's background, actions, and queries. Several problems were tackled in Lumiere research, including (1) the construction of Bayesian models for reasoning about the time-varying goal… ▽ More
Submitted 30 January, 2013; originally announced January 2013.
Comments: Appears in Proceedings of the Fourteenth Conference on Uncertainty in Artificial Intelligence (UAI1998)
Report number: UAI-P-1998-PG-256-265
-
Inferring Informational Goals from Free-Text Queries: A Bayesian Approach
Abstract: People using consumer software applications typically do not use technical jargon when querying an online database of help topics. Rather, they attempt to communicate their goals with common words and phrases that describe software functionality in terms of structure and objects they understand. We describe a Bayesian approach to modeling the relationship between words in a user's query for assist… ▽ More
Submitted 16 May, 2015; v1 submitted 30 January, 2013; originally announced January 2013.
Comments: Appears in Proceedings of the Fourteenth Conference on Uncertainty in Artificial Intelligence (UAI1998)
Report number: UAI-P-1998-PG-230-237
-
Attention-Sensitive Alerting
Abstract: We introduce utility-directed procedures for mediating the flow of potentially distracting alerts and communications to computer users. We present models and inference procedures that balance the context-sensitive costs of deferring alerts with the cost of interruption. We describe the challenge of reasoning about such costs under uncertainty via an analysis of user activity and the content of not… ▽ More
Submitted 23 January, 2013; originally announced January 2013.
Comments: Appears in Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence (UAI1999)
Report number: UAI-P-1999-PG-305-313
-
Collaborative Filtering by Personality Diagnosis: A Hybrid Memory- and Model-Based Approach
Abstract: The growth of Internet commerce has stimulated the use of collaborative filtering (CF) algorithms as recommender systems. Such systems leverage knowledge about the known preferences of multiple users to recommend items of interest to other users. CF methods have been harnessed to make recommendations about such items as web pages, movies, books, and toys. Researchers have proposed and evaluated ma… ▽ More
Submitted 16 January, 2013; originally announced January 2013.
Comments: Appears in Proceedings of the Sixteenth Conference on Uncertainty in Artificial Intelligence (UAI2000)
Report number: UAI-P-2000-PG-473-480
-
Conversation as Action Under Uncertainty
Abstract: Conversations abound with uncetainties of various kinds. Treating conversation as inference and decision making under uncertainty, we propose a task independent, multimodal architecture for supporting robust continuous spoken dialog called Quartet. We introduce four interdependent levels of analysis, and describe representations, inference procedures, and decision strategies for managing uncertain… ▽ More
Submitted 16 January, 2013; originally announced January 2013.
Comments: Appears in Proceedings of the Sixteenth Conference on Uncertainty in Artificial Intelligence (UAI2000)
Report number: UAI-P-2000-PG-455-464
-
A Bayesian Approach to Tackling Hard Computational Problems
Abstract: We are developing a general framework for using learned Bayesian models for decision-theoretic control of search and reasoningalgorithms. We illustrate the approach on the specific task of controlling both general and domain-specific solvers on a hard class of structured constraint satisfaction problems. A successful strategyfor reducing the high (and even infinite) variance in running time typi… ▽ More
Submitted 10 January, 2013; originally announced January 2013.
Comments: Appears in Proceedings of the Seventeenth Conference on Uncertainty in Artificial Intelligence (UAI2001)
Report number: UAI-P-2001-PG-235-244
-
Coordinates: Probabilistic Forecasting of Presence and Availability
Abstract: We present methods employed in Coordinate, a prototype service that supports collaboration and communication by learning predictive models that provide forecasts of users s AND availability.We describe how data IS collected about USER activity AND proximity FROM multiple devices, IN addition TO analysis OF the content OF users, the time of day, and day of week. We review applicat… ▽ More
Submitted 12 December, 2012; originally announced January 2013.
Comments: Appears in Proceedings of the Eighteenth Conference on Uncertainty in Artificial Intelligence (UAI2002)
Report number: UAI-P-2002-PG-224-233
-
Web-Based Question Answering: A Decision-Making Perspective
Abstract: We describe an investigation of the use of probabilistic models and cost-benefit analyses to guide resource-intensive procedures used by a Web-based question answering system. We first provide an overview of research on question-answering systems. Then, we present details on AskMSR, a prototype web-based question answering system. We discuss Bayesian analyses of the quality of answers generated by… ▽ More
Submitted 19 October, 2012; originally announced December 2012.
Comments: Appears in Proceedings of the Nineteenth Conference on Uncertainty in Artificial Intelligence (UAI2003)
Report number: UAI-P-2003-PG-11-19
-
Prediction, Expectation, and Surprise: Methods, Designs, and Study of a Deployed Traffic Forecasting Service
Abstract: We present research on developing models that forecast traffic flow and congestion in the Greater Seattle area. The research has led to the deployment of a service named JamBayes, that is being actively used by over 2,500 users via smartphones and desktop versions of the system. We review the modeling effort and describe experiments probing the predictive accuracy of the models. Finally, we presen… ▽ More
Submitted 4 July, 2012; originally announced July 2012.
Comments: Appears in Proceedings of the Twenty-First Conference on Uncertainty in Artificial Intelligence (UAI2005)
Report number: UAI-P-2005-PG-275-283
-
On Discarding, Caching, and Recalling Samples in Active Learning
Abstract: We address challenges of active learning under scarce informational resources in non-stationary environments. In real-world settings, data labeled and integrated into a predictive model may become invalid over time. However, the data can become informative again with switches in context and such changes may indicate unmodeled cyclic or other temporal dynamics. We explore principles for discarding,… ▽ More
Submitted 20 June, 2012; originally announced June 2012.
Comments: Appears in Proceedings of the Twenty-Third Conference on Uncertainty in Artificial Intelligence (UAI2007)
Report number: UAI-P-2007-PG-209-216