Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Inverting Entailment and Progol
View through CrossRef
Abstract
This paper firstly provides a re-appraisal of the development of techniques for inverting deduction, secondly introduces Mode-Directed Inverse Entailment (MDIE) as a generalisation and enhancement of previous approaches and thirdly describes an implementation of MDIE in the Progol system. Progol is implemented in C and available by anonymous ftp. The re-assessment of previous techniques in terms of inverse entailment leads to new results for learning from positive data and inverting implication between pairs of clauses.
Title: Inverting Entailment and Progol
Description:
Abstract
This paper firstly provides a re-appraisal of the development of techniques for inverting deduction, secondly introduces Mode-Directed Inverse Entailment (MDIE) as a generalisation and enhancement of previous approaches and thirdly describes an implementation of MDIE in the Progol system.
Progol is implemented in C and available by anonymous ftp.
The re-assessment of previous techniques in terms of inverse entailment leads to new results for learning from positive data and inverting implication between pairs of clauses.
Related Results
Recognizing Textual Entailment: Challenges in the Portuguese Language
Recognizing Textual Entailment: Challenges in the Portuguese Language
Recognizing textual entailment comprises the task of determining semantic entailment relations between text fragments. A text fragment entails another text fragment if, from the me...
Passing a USA National Bar Exam – a First Experiment
Passing a USA National Bar Exam – a First Experiment
Bar exams provide are a key watershed by which legal professionals demonstrate their knowledge of the law and its application. Passing the bar entitles one to practice the law in a...
In Support of Valerie Plumwood
In Support of Valerie Plumwood
This paper offers general support for what Valerie Plumwood’s paper is trying to achieve by supporting the rejection of each of her four “false laws of logic”:...
Successive approximation type resistance to digital converter
Successive approximation type resistance to digital converter
Abstract
Successive approximation type direct resistance to digital converter (SAR RDC) topology is presented here. The conventional SAR type ADC is augmented with a...
Inverting marine terrace morphology to constrain paleo sea-level
Inverting marine terrace morphology to constrain paleo sea-level
<p>Quantifying paleo sea-level changes is an important challenge given its intricate relation with paleo-climate, -ice-sheets and geodynamics, but pre-Holocene uncert...
Practical Reasoning for Defeasible Description Logics
Practical Reasoning for Defeasible Description Logics
Description Logics (DLs) are a family of logic-based languages for formalisingontologies. They have useful computational properties allowing the developmentof automated reasoning e...
Preferential vs Rational Description Logics: which one for Reasoning About Typicality?
Preferential vs Rational Description Logics: which one for Reasoning About Typicality?
Extensions of Description Logics (DLs) to reason about typicality and defeasible inheritance have been largely investigated. In this paper, we consider two such extensions, namely ...
Feature Interaction as a Context Sharing Problem
Feature Interaction as a Context Sharing Problem
We argue that the feature interaction problem arises primarily from sharing of context and hence features should be structured and analysed through a notation that makes context ex...