A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
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
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
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
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, ) 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
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
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
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  † 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
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. ...
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
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
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
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
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. ...
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
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