<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="almiman-ramsay-2017-hybrid">
    <titleInfo>
        <title>A Hybrid System to apply Natural Language Inference over Dependency Trees</title>
    </titleInfo>
    <name type="personal">
        <namePart type="given">Ali</namePart>
        <namePart type="family">Almiman</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Allan</namePart>
        <namePart type="family">Ramsay</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <originInfo>
        <dateIssued>2017-09</dateIssued>
    </originInfo>
    <typeOfResource>text</typeOfResource>
    <relatedItem type="host">
        <titleInfo>
            <title>Proceedings of the International Conference Recent Advances in Natural Language Processing, RANLP 2017</title>
        </titleInfo>
        <name type="personal">
            <namePart type="given">Ruslan</namePart>
            <namePart type="family">Mitkov</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Galia</namePart>
            <namePart type="family">Angelova</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <originInfo>
            <publisher>INCOMA Ltd.</publisher>
            <place>
                <placeTerm type="text">Varna, Bulgaria</placeTerm>
            </place>
        </originInfo>
        <genre authority="marcgt">conference publication</genre>
    </relatedItem>
    <abstract>This paper presents the development of a natural language inference engine that benefits from two current standard approaches; i.e., shallow and deep approaches. This system combines two non-deterministic algorithms: the approximate matching from the shallow approach and a theorem prover from the deep approach for handling multi-step inference tasks. The theorem prover is customized to accept dependency trees and apply inference rules to these trees. The inference rules are automatically generated as syllogistic rules from our test data (FraCaS test suite). The theorem prover exploits a non-deterministic matching algorithm within a standard backward chaining inference engine. We employ continuation programming as a way of seamlessly handling the combination of these two non-deterministic algorithms. Testing the matching algorithm on “Generalized quantifiers” and “adjectives” topics in FraCaS (MacCartney and Manning 2007), we achieved an accuracy of 92.8% of the single-premise cases. For the multi-steps of inference, we checked the validity of our syllogistic rules and then extracted four generic instances that can be applied to more than one problem.</abstract>
    <identifier type="citekey">almiman-ramsay-2017-hybrid</identifier>
    <identifier type="doi">10.26615/978-954-452-049-6_010</identifier>
    <part>
        <date>2017-09</date>
        <extent unit="page">
            <start>64</start>
            <end>70</end>
        </extent>
    </part>
</mods>
</modsCollection>

%0 Conference Proceedings
%T A Hybrid System to apply Natural Language Inference over Dependency Trees
%A Almiman, Ali
%A Ramsay, Allan
%Y Mitkov, Ruslan
%Y Angelova, Galia
%S Proceedings of the International Conference Recent Advances in Natural Language Processing, RANLP 2017
%D 2017
%8 September
%I INCOMA Ltd.
%C Varna, Bulgaria
%F almiman-ramsay-2017-hybrid
%X This paper presents the development of a natural language inference engine that benefits from two current standard approaches; i.e., shallow and deep approaches. This system combines two non-deterministic algorithms: the approximate matching from the shallow approach and a theorem prover from the deep approach for handling multi-step inference tasks. The theorem prover is customized to accept dependency trees and apply inference rules to these trees. The inference rules are automatically generated as syllogistic rules from our test data (FraCaS test suite). The theorem prover exploits a non-deterministic matching algorithm within a standard backward chaining inference engine. We employ continuation programming as a way of seamlessly handling the combination of these two non-deterministic algorithms. Testing the matching algorithm on “Generalized quantifiers” and “adjectives” topics in FraCaS (MacCartney and Manning 2007), we achieved an accuracy of 92.8% of the single-premise cases. For the multi-steps of inference, we checked the validity of our syllogistic rules and then extracted four generic instances that can be applied to more than one problem.
%R 10.26615/978-954-452-049-6_010
%U https://doi.org/10.26615/978-954-452-049-6_010
%P 64-70

Markdown (Informal)

[A Hybrid System to apply Natural Language Inference over Dependency Trees](https://doi.org/10.26615/978-954-452-049-6_010) (Almiman & Ramsay, RANLP 2017)

• A Hybrid System to apply Natural Language Inference over Dependency Trees (Almiman & Ramsay, RANLP 2017)

ACL

• Ali Almiman and Allan Ramsay. 2017. A Hybrid System to apply Natural Language Inference over Dependency Trees. In Proceedings of the International Conference Recent Advances in Natural Language Processing, RANLP 2017, pages 64–70, Varna, Bulgaria. INCOMA Ltd..