Filters








146 Hits in 5.0 sec

A prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation

Mark E. Stickel
1991 Annals of Mathematics and Artificial Intelligence  
Respondents should be aware that notwithstanding any other provision of law, no person shall be subject to a penalty for failing to comply with a collection of information if it does not display a currently  ...  Public reporting burden for the collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, gathering and maintaining  ...  A Prolog-like Inference System for Computing Minimum-Cost Abductive Explanations in Natural-Language InterpretationPrescribed by ANSI Std Z39-18 1. REPORT DATE SEP 1988 2. REPORT TYPE 3.  ... 
doi:10.1007/bf01531174 fatcat:kv2m7quu2fbqrjlqvam6oflpjq

ILP-based Inference for Cost-based Abduction on First-order Predicate Logic

Naoya Inoue, Kentaro Inui
2013 Journal of Natural Language Processing  
Abduction is desirable for many natural language processing (NLP) tasks.  ...  Abduction, defined here as inference to the best explanation, has long been studied in a wide range of contexts.  ...  In the context of ALP, Stickel (1991) showed how to formulate minimum-cost explanation finding in Prolog, a popular implementation of logic programming.  ... 
doi:10.5715/jnlp.20.629 fatcat:6scxf4xivjeqfhmzqjlbdgbfee

Abduction in Logic Programming [chapter]

Marc Denecker, Antonis Kakas
2002 Lecture Notes in Computer Science  
Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas  ...  of Computer Science.  ...  of definite logic programs [5] , failure of planning goals [13] and for semantic interpretation of temporal information in natural language [119] .  ... 
doi:10.1007/3-540-45628-7_16 fatcat:purq4epxdvbpdcno5r7duilxxa

Abductive Logic Programming

A. C. KAKAS, R. A. KOWALSKI, F. TONI
1992 Journal of Logic and Computation  
Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas  ...  of Computer Science.  ...  of definite logic programs [5] , failure of planning goals [13] and for semantic interpretation of temporal information in natural language [119] .  ... 
doi:10.1093/logcom/2.6.719 fatcat:3voi2rfiujdsrllrrgbhbf2qzq

A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints [chapter]

Stefano Bistarelli, Fabio Martinelli, Francesco Santini
2010 Lecture Notes in Computer Science  
In particular, we focus on the abduction process and we show how it can be implemented with a (soft) constraint removal operator.  ...  Moreover, when the level is not sufficient, abduction can be used to compute the missing credentials and the levels that grant the access, making the request a (weighted) logical consequence.  ...  The ACLP system is currently implemented on top of the CLP language of ECLiPSe as a meta-interpreter exploiting its underlying constraint solver for finite domains.  ... 
doi:10.1007/978-3-642-16576-4_20 fatcat:plikin6mbbc7vnieeou77kyxua

Human-understandable inference of causal relationships

Alva L. Couch, Mark Burgess
2010 2010 IEEE/IFIP Network Operations and Management Symposium Workshops  
We present a method for aiding humans in understanding causal relationships between entities in complex systems via a simplified calculus of facts and rules.  ...  Constraining facts and rules in this way allows one to treat abductive inference as a graph computation, to quickly answer queries about the most related entities to a chosen one, and to explain any derived  ...  ACKNOWLEDGMENT The authors would like to thank John Strassner for the opportunity to present this work, as well as years of thoughtful comments on the use of knowledge in management.  ... 
doi:10.1109/nomsw.2010.5486560 fatcat:ruu4lfujuje4hkke2gwifr5jvi

Reading comprehension tests for computer-based understanding evaluation

BEN WELLNER, LISA FERRO, WARREN GREIFF, LYNETTE HIRSCHMAN
2005 Natural Language Engineering  
We present a methodology for evaluation of the application of modern natural language technologies to the task of responding to RC tests.  ...  Our work is based on ABCs (Abduction Based Comprehension system), an automated system for taking tests requiring short answer phrases as responses.  ...  For deduction, we have employed a standard backward-chaining inference engine: SLD resolution as found in Prolog.  ... 
doi:10.1017/s1351324905004018 fatcat:d7s74es2nbezhn5scnipj2i4w4

Bayesian integration in sensorimotor learning

Konrad P. Körding, Daniel M. Wolpert
2004 Nature  
Sarkans, A. Tamaddoni, M. Sternberg, A. Sloman and D. Michie for their help and advice, and D. Struttman for technical assistance.  ...  Ghahramani for discussions, and J. Ingram for technical support. This work was supported by the Wellcome Trust, the McDonnell Foundation and the Human Frontiers Science Programme.  ...  In these we used the AAA Prolog model and the ASE-Progol inference system, and we took the results of manual experiments.  ... 
doi:10.1038/nature02169 pmid:14724638 fatcat:5xtr4wxhkvebrc4xvjqv3hcmfa

Functional genomic hypothesis generation and experimentation by a robot scientist

Ross D. King, Kenneth E. Whelan, Ffion M. Jones, Philip G. K. Reiser, Christopher H. Bryant, Stephen H. Muggleton, Douglas B. Kell, Stephen G. Oliver
2004 Nature  
Sarkans, A. Tamaddoni, M. Sternberg, A. Sloman and D. Michie for their help and advice, and D. Struttman for technical assistance.  ...  Ghahramani for discussions, and J. Ingram for technical support. This work was supported by the Wellcome Trust, the McDonnell Foundation and the Human Frontiers Science Programme.  ...  In these we used the AAA Prolog model and the ASE-Progol inference system, and we took the results of manual experiments.  ... 
doi:10.1038/nature02236 pmid:14724639 fatcat:cyiskj5qwfetxpkepb33omcq6i

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  
Our goal is to use this language as a semantic foundation for trust-management languages, in order to express trust relationships associated with a preference (e.g., a cost, an uncertainty, a trust or  ...  CHR is a high-level language designed for writing user-defined constraint systems.  ...  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

Abductive Knowledge Induction From Raw Data [article]

Wang-Zhou Dai, Stephen H. Muggleton
2021 arXiv   pre-print
In this paper, we present Abductive Meta-Interpretive Learning (Meta_Abd) that unites abduction and induction to learn neural networks and induce logic theories jointly from raw data.  ...  Experimental results demonstrate that Meta_Abd not only outperforms the compared systems in predictive accuracy and data efficiency but also induces logic programs that can be re-used as background knowledge  ...  The second author acknowledges support from the UK's EPSRC Human-Like Computing Network, grant EP/R022291/1, for which he acts as director.  ... 
arXiv:2010.03514v2 fatcat:6mtsp6ucvnafnme47sama6vuru

Towards an Explanation Generation System for Robots: Analysis and Recommendations

Ben Meadows, Mohan Sridharan, Zenon Colaco
2016 Robotics  
Acknowledgments: The authors thank Pat Langley and Michael Gelfond for discussions related to the systems discussed in this paper. This work was supported in part by the U.S.  ...  Opinions and conclusions described in this paper are those of the authors.  ...  System II: UMBRA UMBRA is a cognitive system that leverages abductive inference to generate explanations for observations.  ... 
doi:10.3390/robotics5040021 fatcat:hiatuspuzvc2dlta62zdrztwsu

Probabilistic Inductive Querying Using ProbLog [chapter]

Luc De Raedt, Angelika Kimmig, Bernd Gutmann, Kristian Kersting, Vítor Santos Costa, Hannu Toivonen
2010 Inductive Databases and Constraint-Based Data Mining  
ProbLog can be regarded as a database system that supports both probabilistic and inductive reasoning through a variety of querying mechanisms.  ...  We study how probabilistic reasoning and inductive querying can be combined within ProbLog, a recent probabilistic extension of Prolog.  ...  Acknowledgements We would like to thank our co-workers Kate Revoredo, Bart Demoen, Ricardo Rocha and Theofrastos Mantadelis for their contributions to ProbLog.  ... 
doi:10.1007/978-1-4419-7738-0_10 fatcat:lpistivbwbgg5pjdq5o5orryl4

An algorithm for rinding MAPs for belief networks through cost-based abduction

Ashraf M. Abdelbar
1998 Artificial Intelligence  
In this paper, we present a provablycorrect linear-time transformation that allows algorithms and heuristic methods for cost-based abduction, such as Charniak and Shimony's best-first search method or  ...  In cost-based abduction, the objective is to find the least-cost set of hypotheses that are sufficient to explain the observed evidence.  ...  Stickel, A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation, Technical Note 45 I. SRI International. Menlo Park. CA. 1988.  ... 
doi:10.1016/s0004-3702(98)00074-5 fatcat:4ntyi5isend6zba6avgkilghmu

Fifty Years of Prolog and Beyond [article]

Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, Jose F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto
2022 arXiv   pre-print
Often, the features added by different systems were motivated by the interdisciplinary needs of programmers and implementors, yielding systems that, while sharing the "classic" core language, and, in particular  ...  Both logic programming in general, and Prolog in particular, have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed.  ...  The authors also endorse Paul McJones' efforts to maintain a historical archive on Prolog, at http://www.softwarepreservation.org/projects/prolog/, and thank all contributors.  ... 
arXiv:2201.10816v3 fatcat:grixngoazrdfjosno4zvnimsnq
« Previous Showing results 1 — 15 out of 146 results