Results 1  10
of
6,155
Reasoning the fast and frugal way: Models of bounded rationality.
 Psychological Review,
, 1996
"... Humans and animals make inferences about the world under limited time and knowledge. In contrast, many models of rational inference treat the mind as a Laplacean Demon, equipped with unlimited time, knowledge, and computational might. Following H. Simon's notion of satisncing, the authors have ..."
Abstract

Cited by 611 (30 self)
 Add to MetaCart
have proposed a family of algorithms based on a simple psychological mechanism: onereason decision making. These fast and frugal algorithms violate fundamental tenets of classical rationality: They neither look up nor integrate all information. By computer simulation, the authors held a competition
Quasiclassical Logic: Nontrivializable classical reasoning from inconsistent information
, 1995
"... . Here we present a new paraconsistent logic, called quasiclassical logic (or QC logic) that allows the derivation of nontrivializable classical inferences. For this it is necessary that queries are in conjunctive normal form and the reasoning process is essentially that of clause finding. We prese ..."
Abstract

Cited by 42 (13 self)
 Add to MetaCart
. Here we present a new paraconsistent logic, called quasiclassical logic (or QC logic) that allows the derivation of nontrivializable classical inferences. For this it is necessary that queries are in conjunctive normal form and the reasoning process is essentially that of clause finding. We
λµPRL – A Proof Refinement Calculus for Classical Reasoning
 in Computational Type Theory Diploma thesis, Institut für Informatik, Universität Potsdam
, 2009
"... Abstract. We present a hybrid proof calculus λµPRL that combines the propositional fragment of computational type theory with classical reasoning rules from the λµcalculi. The calculus supports the topdown development of proofs as well as the extraction of proof terms in a functional programming l ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Abstract. We present a hybrid proof calculus λµPRL that combines the propositional fragment of computational type theory with classical reasoning rules from the λµcalculi. The calculus supports the topdown development of proofs as well as the extraction of proof terms in a functional programming
How to improve Bayesian reasoning without instruction: Frequency formats
 Psychological Review
, 1995
"... Is the mind, by design, predisposed against performing Bayesian inference? Previous research on base rate neglect suggests that the mind lacks the appropriate cognitive algorithms. However, any claim against the existence of an algorithm, Bayesian or otherwise, is impossible to evaluate unless one s ..."
Abstract

Cited by 396 (29 self)
 Add to MetaCart
included simple versions of Fisherian and NeymanPearsonian inference. Is the mind, by design, predisposed against performing Bayesian inference? The classical probabilists of the Enlightenment, including Condorcet, Poisson, and Laplace, equated probability theory with the common sense of educated people
Representing Action and Change by Logic Programs
 Journal of Logic Programming
, 1993
"... We represent properties of actions in a logic programming language that uses both classical negation and negation as failure. The method is applicable to temporal projection problems with incomplete information, as well as to reasoning about the past. It is proved to be sound relative to a semantics ..."
Abstract

Cited by 414 (25 self)
 Add to MetaCart
We represent properties of actions in a logic programming language that uses both classical negation and negation as failure. The method is applicable to temporal projection problems with incomplete information, as well as to reasoning about the past. It is proved to be sound relative to a
Local Reasoning about Programs that Alter Data Structures
, 2001
"... We describe an extension of Hoare's logic for reasoning about programs that alter data structures. We consider a lowlevel storage model based on a heap with associated lookup, update, allocation and deallocation operations, and unrestricted address arithmetic. The assertion language is ba ..."
Abstract

Cited by 324 (28 self)
 Add to MetaCart
We describe an extension of Hoare's logic for reasoning about programs that alter data structures. We consider a lowlevel storage model based on a heap with associated lookup, update, allocation and deallocation operations, and unrestricted address arithmetic. The assertion language
Developments in the Measurement of Subjective WellBeing
 Psychological Science.
, 1993
"... F or good reasons, economists have had a longstanding preference for studying peoples' revealed preferences; that is, looking at individuals' actual choices and decisions rather than their stated intentions or subjective reports of likes and dislikes. Yet people often make choices that b ..."
Abstract

Cited by 284 (7 self)
 Add to MetaCart
F or good reasons, economists have had a longstanding preference for studying peoples' revealed preferences; that is, looking at individuals' actual choices and decisions rather than their stated intentions or subjective reports of likes and dislikes. Yet people often make choices
Temporal Planning with Mutual Exclusion Reasoning
 IJCAI99
, 1999
"... Many planning domains require a richer notion of time in which actions can overlap and have different durations. The key to fast performance in classical planners (e.g., Graphplan, ipp, and Blackbox) has been the use of a disjunctive representation with powerful mutual exclusion reasoning. Th ..."
Abstract

Cited by 150 (4 self)
 Add to MetaCart
Many planning domains require a richer notion of time in which actions can overlap and have different durations. The key to fast performance in classical planners (e.g., Graphplan, ipp, and Blackbox) has been the use of a disjunctive representation with powerful mutual exclusion reasoning
Realtime logics: complexity and expressiveness
 INFORMATION AND COMPUTATION
, 1993
"... The theory of the natural numbers with linear order and monadic predicates underlies propositional linear temporal logic. To study temporal logics that are suitable for reasoning about realtime systems, we combine this classical theory of in nite state sequences with a theory of discrete time, via ..."
Abstract

Cited by 252 (16 self)
 Add to MetaCart
The theory of the natural numbers with linear order and monadic predicates underlies propositional linear temporal logic. To study temporal logics that are suitable for reasoning about realtime systems, we combine this classical theory of in nite state sequences with a theory of discrete time, via
Reasoning
"... A formal logicbased knowledge representation language �“Description " about the world in terms of concepts (classes), roles (properties, relationships) and individuals (instances) Decidable fragments of FOL Widely used in database (e.g., DL CLASSIC) and semantic web (e.g., OWL language) 2 A “F ..."
Abstract
 Add to MetaCart
A formal logicbased knowledge representation language �“Description " about the world in terms of concepts (classes), roles (properties, relationships) and individuals (instances) Decidable fragments of FOL Widely used in database (e.g., DL CLASSIC) and semantic web (e.g., OWL language) 2 A
Results 1  10
of
6,155