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 clear that there are insufficient computational resources to perform an analysis deemed as complete. Under these conditions, we stress the importance of considering the expected costs and benefits of applying alternative approximation procedures and heuristics for computation and knowledge acquisition. We discuss how knowledge about the structure of user utility can be used to control value tradeoffs for tailoring inference to alternative contexts. We address the notion of real-time rationality, focusing on the application of knowledge about the expected timewise-refinement abilities of reasoning strategies to balance the benefits of additional computation with the costs of acting with a partial result. We discuss the benefits of applying decision theory to control the solution of difficult problems given limitations and uncertainty in reasoning resources.

Logic, Reasoning under Uncertainty and Causality

A Framework for Reasoning About Uncertainty in Ontologies

A Logical Approach to Doxastic Causal Reasoning.

Qualitative reasoning in a two-layered framework

Uncertain Reasoning with Interval-Set Algebra

The Study of Propositional Probability Logic and the Flexibility of Its Logical Relation

Reasoning in Social Settings

A New Logic for Uncertainty

New Framework for Fuzzy Logic Reasoning: A Robust Control Theoretic Approach

Choosing with unknown causal information: Action-outcome probabilities for decision making can be grounded in causal models

Uncertain Logic

Towards Unifying Perceptual Reasoning and Logical Reasoning

Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision and Variable Certainty Weights

Reasoning About Beliefs and Actions Under Computational Resource Constraints

A New Approach to Reasoning About Uncertainty

A Decision-Based View of Causality

Uncertainty-Based Knowing How Logic

A Quantitative Approach to Reasoning about Incomplete Knowledge.

A logical framework for data-driven reasoning

Inference of Abstraction for a Unified Account of Reasoning and Learning

On the logic of interventionist counterfactuals under indeterministic causal laws