Filters








1,900 Hits in 7.6 sec

Deduction Beyond Satisfiability (Dagstuhl Seminar 19371)

Carsten Fuhs, Philipp Rümmer, Renate Schmidt, Cesare Tinelli, Michael Wagner
2020 Dagstuhl Reports  
, program synthesis, model checking (where interpolation or abductive reasoning can be used to achieve scale), and ontology-based information processing.  ...  in deduction and automated reasoning such as model counting, quantifier elimination, interpolation, abduction, or optimization; and consumers of deduction technology who need answers to more complex queries  ...  These could be used to create new smaller ontologies tailor-made for a particular purpose required by a new application of specific vendors.  ... 
doi:10.4230/dagrep.9.9.23 dblp:journals/dagstuhl-reports/FuhsRST19 fatcat:j6moci5zgvgjzgpsqblemwsrlm

Performance Assessment to Measure Student's Mathematical Proving Ability Based on the Abductive-Deductive Approach

Ellis Salsabila, Wardani Rahayu,, Pinta Deniyanti Sampoerno
2020 KnE Social Sciences  
which can be answered with deductive reasoning, and 3) "What conditions connect the conditions of conclusions and the implications of premise?"  ...  The items of performance assessment were arranged referring to the abductive-deductive reasoning approach which has a pattern containing three main questions: 1) "What conditions can be obtained from the  ...  Solving the mathematical proving problem by using the abductive-deductive approach, is leading students to use a combination of reasoning abductively and deductively.  ... 
doi:10.18502/kss.v4i14.7892 fatcat:i5lpkfldpvgubjbpjbtiiqu7w4

Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents [chapter]

Robert Kowalski, Fariba Sadri
2009 Lecture Notes in Computer Science  
The semantics and proof procedures are based on abductive logic programming, in which logic programs are integrated with integrity constraints that behave like production rules.  ...  In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework.  ...  We have advocated an approach that combines the two kinds of rules in an observation-thought-decision-action cycle, along the lines of ALP agents, and sketched an approach that combines a declarative,  ... 
doi:10.1007/978-3-642-05082-4_1 fatcat:btdhdr5b5rg5favxoixqz2e534

A Functional Perspective on Machine Learning via Programmable Induction and Abduction [chapter]

Steven Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe
2018 Lecture Notes in Computer Science  
We present a programming language for machine learning based on the concepts of 'induction' and 'abduction' as encountered in Peirce's logic of science.  ...  Both an idealised abductive calculus and its implementation as a PPX extension of OCaml are presented, along with several simple examples.  ...  Peirce's view of deduction, induction, and abduction as the key reasoning processes in the logic of science.  ... 
doi:10.1007/978-3-319-90686-7_6 fatcat:in7f6outbbfttgvzajqhd6ke6q

Explosive Proofs of Mathematical Truths [article]

Scott Viteri, Simon DeDeo
2020 arXiv   pre-print
Here we show that under a cognitively-plausible belief formation mechanism that combines deductive and abductive reasoning, mathematical arguments can undergo what we call an epistemic phase transition  ...  Mathematical proofs are both paradigms of certainty and some of the most explicitly-justified arguments that we have in the cultural record.  ...  Acknowledgements We thank Jeremy Avigad, Kevin Zollman, Scott Aaronson, and Cait Lamberton for helpful discussions, and Kent Chang for assistance with data entry.  ... 
arXiv:2004.00055v1 fatcat:xdruiwyphneyvo3jljraeqewoa

Abductive Plan Recognition by Extending Bayesian Logic Programs [chapter]

Sindhu Raghavan, Raymond J. Mooney
2011 Lecture Notes in Computer Science  
Therefore, we extend BLPs to use logical abduction to construct Bayesian networks and call the resulting model Bayesian Abductive Logic Programs (BALPs).  ...  In order to overcome these limitations, we develop an approach to plan recognition using Bayesian Logic Programs (BLPs), which combine first-order logic and Bayesian networks.  ...  This research was funded by MURI ARO grant W911NF-08-1-0242 and Air Force Contract FA8750-09-C-0172 under the DARPA Machine Reading Program.  ... 
doi:10.1007/978-3-642-23783-6_40 fatcat:s4m6l6545farbonobi4xkuvo7a

Special issue: abductive logic programming

Marc Denecker, Antonis Kakas
2000 The Journal of Logic Programming  
Similarly, in the problem of knowledge assimilation a new piece of information is assimilated via abduction by ®nding a coherent reason for this information according to the current state of the knowledge  ...  This process is otherwise known by the name of abduction.  ...  This forms an extension of logic programming where abduction is supported directly by providing a suitable high-level representation scheme and proof procedures to compute abduction.  ... 
doi:10.1016/s0743-1066(99)00078-3 fatcat:eazj3ukecrdephhdclbfaewwqe

Information Mining for Big Information [chapter]

Yuichi Goto
2014 Studies in Big Data  
and epistemic programming can be used for support tools of the information mining with strong relevant logicbased reasoning.  ...  Consistent verification, information abstraction, hypothesis generation, hypothesis verification, and information deduction are activities of information mining.  ...  processes of deductive reasoning, inductive reasoning, and abductive reasoning by using a forward reasoning engine and a truth maintenance system.  ... 
doi:10.1007/978-3-319-08254-7_2 fatcat:ehqivuyy7rf5vnxa5iecbdbj4a

Plan Recognition Using Statistical–Relational Models [chapter]

Sindhu Raghavan, Parag Singla, Raymond J. Mooney
2014 Plan, Activity, and Intent Recognition  
Specifically, we introduce two new approaches to abductive plan recognition using Bayesian Logic Programs (BLPs) and Markov Logic Networks (MLNs).  ...  Neither of these formalisms is suited for abductive reasoning because of the deductive nature of the underlying logical inference.  ...  This research was funded by MURI ARO grant W911NF-08-1-0242 and Air Force Contract FA8750-09-C-0172 under the DARPA Machine Reading Program.  ... 
doi:10.1016/b978-0-12-398532-3.00003-8 fatcat:eevob56uqzafxndf55l7yzthou

Recently-Published-Book Precis

2002 Artificial Intelligence  
Yet it is also a philosophical enterprise in the way it represents the world and creates and manipulates models of reality, people, and action.  ...  This edition contains expanded coverage of probabilistic graphical models and the applications of neural networks, as well as a new chapter on microarrays and gene expression.  ...  The new book Abduction, Reason, and Science, contributes to this research in several ways.  ... 
doi:10.1016/s0004-3702(02)00188-1 fatcat:xwd5jexdg5gnrmugs4ufuqayva

ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language [article]

Oyvind Tafjord, Bhavana Dalvi Mishra, Peter Clark
2021 arXiv   pre-print
On the RuleTaker dataset, the accuracy of ProofWriter's proofs exceed previous methods by +9% absolute, and in a way that generalizes to proof depths unseen in training and on out-of-domain problems.  ...  We also show that generative techniques can perform a type of abduction with high precision: Given a theory and an unprovable conclusion, identify a missing fact that allows the conclusion to be proved  ...  B.2 Abduction: Generalization to New Tasks Section 5.5.2 summarized the results of testing abductive reasoning on abductive versions of the Birds-Electricity(OWA) theories.  ... 
arXiv:2012.13048v2 fatcat:gidtqqoeuvahdclhxipq6vhwsq

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

2001 Mathematical Reviews  
The proof that i, is a hyperbase was obtained by using the automated reasoning program Otter 3.0.4.” For the web version of Mathematical Reviews, see http: //www.ams.org/mathscinet  ...  Specifically, three ques- tions in this regard are investigated: (1) Do automated theorem provers actually create valid proofs and if so how?  ... 

Critical Computation: Digital Automata and General Artificial Thinking

Luciana Parisi
2019 Theory, Culture and Society. Explorations in Critical Social Science  
newly formed space between critical reasoning, logical inference, and sheer calculation.  ...  Since the 1980s, computational systems of information processing have evolved to include not only deductive methods of decision, whereby results are already implicated in their premises, but have crucially  ...  According to Peirce, instead, abduction mainly concerns a process of creating new "explanatory" hypothesis.  ... 
doi:10.1177/0263276418818889 fatcat:jb3nk7tdafairgmmtztpbntr6i

A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials

Stefano Bistarelli, Fabio Martinelli, Francesco Santini
2012 Computers and Mathematics with Applications  
Moreover, we show that we can model the deduction and abduction reasoning with semiring-based soft constraints: deduction can validate or not the access request, while abduction can be used to compute  ...  If the check fails, (iii) by using abductive reasoning the server finds a (minimal) solution set of (disclosable) missing credentials that unlocks the desired resource and (iv) returns them to the client  ...  The research is partially supported by MIUR PRIN 20089M932N project: ''Innovative and multi-disciplinary approaches for constraint and preference reasoning'', by CCOS FLOSS project ''Software open source  ... 
doi:10.1016/j.camwa.2011.12.017 fatcat:v6zqrlgc25gjvcr53htaox743m

Naturalism and scientific creativity: new tools for analyzing science

Daniel Burnston
2011 Meta Science  
proofs in geometry and algebra (Glas).  ...  The project is defined by its interdisciplinary nature, applying the combined resources of philosophy, social science, and cognitive science to the complex issues surrounding scientific concepts, practice  ...  One of the persistent criticisms of positivistic and deductive views of science has been that purely deductive systems leave the generation of new content a complete mystery.  ... 
doi:10.1007/s11016-010-9513-1 fatcat:feto47qfjjdcfi6vud6zwfodpa
« Previous Showing results 1 — 15 out of 1,900 results