3,454,946 Hits in 4.8 sec

Logical approaches to imprecise probabilities

Thomas Lukasiewicz
2008 International Journal of Approximate Reasoning  
The last two articles present two approaches that are especially based on possibility theory, focusing on uncertain default reasoning and on a generic logic for reasoning with linear constraints.  ...  Editorial Logical approaches to imprecise probabilities This special issue of the International Journal of Approximate Reasoning (IJAR) collects several recent works in logical approaches to imprecise  ...  Last, but not least, I would like to thank the reviewers who contributed with their time to improve the quality of the papers in this special issue. Thomas Lukasiewicz  ... 
doi:10.1016/j.ijar.2007.08.004 fatcat:zlenk5w55fey5juugthfvcq3rm

On direct and indirect probabilistic reasoning in legal proof

Henry Prakken
2014 Law, Probability and Risk  
In this paper these approaches are discussed in light of a distinction between direct and indirect probabilistic reasoning.  ...  the need to estimate unconditional probabilities of the hypotheses.  ...  The main aim of this paper is to argue that (1) Reasoning from evidence to hypotheses can be done in agreement with the axioms of probability theory, so that adopting probability theory as a foundation  ... 
doi:10.1093/lpr/mgu013 fatcat:h22rxqs7nrb2zbawtebqjwp3uy

Probabilistic Plan Inference for Group Behavior Prediction

Wenji Mao, Jonathan Gratch, Xiaochen Li
2012 IEEE Intelligent Systems  
In this paper, we present a decision-theoretic approach to plan inference.  ...  Based on the assumption that a rational agent will adopt a plan that maximizes its expected utility, we view plan inference as reasoning about the decision-making strategy of the observed agent.  ...  Based on the realistic group data, we construct plan library and compare our model predictions with the results generated by the alternative probabilistic approach with respect to human results.  ... 
doi:10.1109/mis.2010.133 fatcat:3jpbuq25aveajhjvxbb6vawhbq

Uniform accountability for multiple modes of reasoning

Laveen Kanal, Donald Perlis
1988 International Journal of Approximate Reasoning  
An effort is made to sample the broad range of approaches in the literature, with an eye toward such a unification. * This paper is based on a much shorter commentary (Kanal and Perlis, [1]) that critiques  ...  We will occasionally refer to his paper, but our points now are much broader than simply a rejoinder to his stance.  ...  It appears to be agreed that many approaches are important in dealing with complex information. However, there is a need to integrate results from these approaches.  ... 
doi:10.1016/0888-613x(88)90119-3 fatcat:nqborndwn5enpnfi4b7vihlhwq

Some varieties of qualitative probability [chapter]

Michael P. Wellman
1995 Lecture Notes in Computer Science  
In this essay I present a general characterization of qualitative probability, including a partial taxonomy of possible approaches.  ...  I discuss some of these in further depth, identify central issues, and suggest some general comparisons.  ...  Rather, I aim to identify and delineate some general classes of approaches that relax precision in representation and reasoning within the probabilistic framework.  ... 
doi:10.1007/bfb0035948 fatcat:kwmscel3mzai3cfmugki3ehthy

Multi-disciplinary approaches to reasoning with imperfect information and knowledge - a synthesis and a roadmap of challenges (Dagstuhl Seminar 15221)

Igor Douven, Gabriele Kern-Isberner, Markus Knauff, Henri Prade, Marc Herbstritt
2016 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Seminar 15221 "Multi-disciplinary Approaches to Reasoning with Imperfect Information and Knowledge -a Synthesis and a Roadmap of Challenges  ...  The combination of introductory talks, presentations and discussions of current work of the participants and discussion groups dealing with general questions lead to fruitful discussions where challenges  ...  Approaches to Reasoning with Imperfect Information . . .  ... 
doi:10.4230/dagrep.5.5.92 dblp:journals/dagstuhl-reports/DouvenKKP15 fatcat:dymjupi6vbhrniwyjxmd3pr4wa

From statistical knowledge bases to degrees of belief

Joseph Y. Halpern
2006 Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '06  
It is able to integrate qualitative default reasoning with quantitative probabilistic reasoning by providing a language in which both types of information can be easily expressed.  ...  Bacchus, Adam Grove, and Daphne Koller [4] † method to deal with problems that are beyond the scope of many other non-deductive reasoning systems.  ...  One problem with the approach as stated so far is that, in general, we do not know the domain size N . Typically, however, N is known to be large.  ... 
doi:10.1145/1142351.1142367 dblp:conf/pods/Halpern06 fatcat:n66eyepe7nbsdmhluqumi3zcma

Page 1279 of Mathematical Reviews Vol. , Issue 2001B [page]

2001 Mathematical Reviews  
This result is obtained by a reduction of reasoning with cardinality restrictions to reasoning with the (in general weaker) terminological formalism of general axioms for ¥72@@ extended with nominals.  ...  Using the same reduction, we show that, for the extension of /#@@ with nominals, reasoning with general axioms is a NExpTime-complete problem.  ... 

Abductive Reasoning as Self-Supervision for Common Sense Question Answering [article]

Sathyanarayanan N. Aakur, Sudeep Sarkar
2019 arXiv   pre-print
We introduce a novel abductive reasoning approach based on Grenander's Pattern Theory framework to provide self-supervised domain adaptation cues or "pseudo-labels," which can be used instead of expensive  ...  In this work, we explore the ability of current question-answering models to generalize - to both other domains as well as with restricted training data.  ...  For comparison with weakly supervised approaches, we evaluate with models trained on the SNLI task for producing to obtain a probability set for entailment, neutral, and contradiction.  ... 
arXiv:1909.03099v2 fatcat:3hnmuilu4fej7lq3cdr5rwbzha

Editors' Review and Introduction: Models of Rational Proof in Criminal Law

Henry Prakken, Floris Bex, Anne Ruth Mackor
2020 Topics in Cognitive Science  
In this topic three approaches to rational reasoning about evidence in criminal law are compared in light of these demands: arguments, probabilities, and scenarios.  ...  The aim of this topic is to obtain more insight into how the different approaches can be applied in a legal context.  ...  Norman Fenton's group at the School of Electronic Engineering and Computer Science, Queen Mary University London, which enabled us to organize three successive workshops devoted to the Simonshaven case  ... 
doi:10.1111/tops.12519 pmid:33146468 fatcat:7uzjr4m4ajbata7bi6ai426zyi

The new psychology of reasoning: A mental probability logical perspective

Niki Pfeifer
2013 Thinking and Reasoning  
I discuss cases in which the psychological predictions of MPL on human reasoning about conditionals diverge from psychological predictions which are based on traditional approaches to probability in the  ...  Moreover, I report a new experiment on a generalized version of the probabilistic truth table task, which investigates the interpretation of conditionals under incomplete probabilistic knowledge.  ...  In the next section, I discuss a case, where traditional approaches to probability and the coherence approach diverge with respect to the predictions in the case of zero antecedent probabilities.  ... 
doi:10.1080/13546783.2013.838189 fatcat:4yo4o26juzecvclleswdifx3y4

Unifying Logical and Probabilistic Reasoning [chapter]

Rolf Haenni
2005 Lecture Notes in Computer Science  
More recently, computer scientists have discovered logic and probability theory to be the two key techniques for building intelligent systems which rely on reasoning as a central component.  ...  Despite numerous attempts to link logical and probabilistic reasoning, a satisfiable unified theory of reasoning is still missing.  ...  Logical reasoning deals with the provability of a hypothesis, whereas probabilistic reasoning is concerned with the probability of a hypothesis.  ... 
doi:10.1007/11518655_66 fatcat:sxnlzzuj7nbijjte7vrgnkeo6y

Page 6299 of Mathematical Reviews Vol. , Issue 2003h [page]

2003 Mathematical Reviews  
When the proposed probabilities are not consistent it is required to restore satisfiabil- ity with minimal changes, a form of nonmonotonic reasoning.  ...  We present a new approach called networks of probabilistic events in discrete time, for temporal reasoning with uncertainty in domains involving probabilistic events.  ... 

Forthcoming papers

1996 Artificial Intelligence  
Lozano-Perez, Solving the multiple-instance problem with axis-parallel rectangles A. Darwiche and J. Pearl, On the logic of iterated belief revision  ...  Shahar, A framework for knowledge-based temporal abstraction 0. Etzioni, K. Golden and D. Weld, Sound and efficient closed-world reasoning for planning G.  ...  This contrasts with the general idea that NMR can be used to make knowledge representation and reasoning simpler, not harder.  ... 
doi:10.1016/s0004-3702(96)90040-5 fatcat:gczy4kyh75abxk7mbqjx3ccine

Root Cause Analysis through Abduction in Markov Logic Networks

Joerg Schoenfisch, Janno von Stulpnagel, Jens Ortmann, Christian Meilicke, Heiner Stuckenschmidt
2016 2016 IEEE 20th International Enterprise Distributed Object Computing Conference (EDOC)  
We apply a method to extend a Markov Logic Network in order to conduct abductive reasoning, which is not naturally supported in this formalism.  ...  Our approach exhibits a high amount of reusability and enables users without specific knowledge of a concrete infrastructure to gain viable insights in the case of an incident.  ...  Instead of computing multiple candidate explanations, which is possible in purely logic based approaches, we are able to generate the most probable explanation with our approach, while still leveraging  ... 
doi:10.1109/edoc.2016.7579386 dblp:conf/edoc/SchoenfischSOMS16 fatcat:wt5ybyc3izadzcillxdx4fyvdq
« Previous Showing results 1 — 15 out of 3,454,946 results