FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1796402938> ?p ?o ?g. }

• W1796402938 abstract "The thesis describes a logical formalization of natural-language database interfacing. We assume the existence of a ``natural language engine'' capable of mediating between surface linguistic string and their representations as ``literal'' logical forms: the focus of interest will be the question of relating ``literal'' logical forms to representations in terms of primitives meaningful to the underlying database engine. We begin by describing the nature of the problem, and show how a variety of interface functionalities can be considered as instances of a type of formal inference task which we call ``Abductive Equivalential Translation'' (AET); functionalities which can be reduced to this form include answering questions, responding to commands, reasoning about the completeness of answers, answering meta-questions of type ``Do you know...'', and generating assertions and questions. In each case, a ``linguistic domain theory'' (LDT) $Gamma$ and an input formula $F$ are given, and the goal is to construct a formula with certain properties which is equivalent to $F$, given $Gamma$ and a set of permitted assumptions. If the LDT is of a certain specified type, whose formulas are either conditional equivalences or Horn-clauses, we show that the AET problem can be reduced to a goal-directed inference method. We present an abstract description of this method, and sketch its realization in Prolog. The relationship between AET and several problems previously discussed in the literature is discussed. In particular, we show how AET can provide a simple and elegant solution to the so-called ``Doctor on Board'' problem, and in effect allows a ``relativization'' of the Closed World Assumption. The ideas in the thesis have all been implemented concretely within the SRI CLARE project, using a real projects and payments database. The LDT for the example database is described in detail, and examples of the types of functionality that can be achieved within the example domain are presented." @default.
• W1796402938 created "2016-06-24" @default.
• W1796402938 creator A5076385236 @default.
• W1796402938 date "1994-05-26" @default.
• W1796402938 modified "2023-09-27" @default.
• W1796402938 title "Abductive Equivalential Translation and its application to Natural Language Database Interfacing" @default.
• W1796402938 cites W128386071 @default.
• W1796402938 cites W1497849277 @default.
• W1796402938 cites W1499457203 @default.
• W1796402938 cites W1605950165 @default.
• W1796402938 cites W1766332311 @default.
• W1796402938 cites W1792465007 @default.
• W1796402938 cites W1980717258 @default.
• W1796402938 cites W2005003668 @default.
• W1796402938 cites W2011623898 @default.
• W1796402938 cites W2016235026 @default.
• W1796402938 cites W2023578426 @default.
• W1796402938 cites W2057670927 @default.
• W1796402938 cites W2113634327 @default.
• W1796402938 cites W2117519076 @default.
• W1796402938 cites W2142115151 @default.
• W1796402938 hasPublicationYear "1994" @default.
• W1796402938 type Work @default.
• W1796402938 sameAs 1796402938 @default.
• W1796402938 citedByCount "18" @default.
• W1796402938 crossrefType "posted-content" @default.
• W1796402938 hasAuthorship W1796402938A5076385236 @default.
• W1796402938 hasConcept C11413529 @default.
• W1796402938 hasConcept C154945302 @default.
• W1796402938 hasConcept C195324797 @default.
• W1796402938 hasConcept C199360897 @default.
• W1796402938 hasConcept C204321447 @default.
• W1796402938 hasConcept C2776214188 @default.
• W1796402938 hasConcept C2779231336 @default.
• W1796402938 hasConcept C2780882242 @default.
• W1796402938 hasConcept C41008148 @default.
• W1796402938 hasConcept C44291984 @default.
• W1796402938 hasConcept C81721847 @default.
• W1796402938 hasConceptScore W1796402938C11413529 @default.
• W1796402938 hasConceptScore W1796402938C154945302 @default.
• W1796402938 hasConceptScore W1796402938C195324797 @default.
• W1796402938 hasConceptScore W1796402938C199360897 @default.
• W1796402938 hasConceptScore W1796402938C204321447 @default.
• W1796402938 hasConceptScore W1796402938C2776214188 @default.
• W1796402938 hasConceptScore W1796402938C2779231336 @default.
• W1796402938 hasConceptScore W1796402938C2780882242 @default.
• W1796402938 hasConceptScore W1796402938C41008148 @default.
• W1796402938 hasConceptScore W1796402938C44291984 @default.
• W1796402938 hasConceptScore W1796402938C81721847 @default.
• W1796402938 hasLocation W17964029381 @default.
• W1796402938 hasOpenAccess W1796402938 @default.
• W1796402938 hasPrimaryLocation W17964029381 @default.
• W1796402938 hasRelatedWork W114428419 @default.
• W1796402938 hasRelatedWork W119949051 @default.
• W1796402938 hasRelatedWork W141143859 @default.
• W1796402938 hasRelatedWork W15066456 @default.
• W1796402938 hasRelatedWork W1509171145 @default.
• W1796402938 hasRelatedWork W1529572122 @default.
• W1796402938 hasRelatedWork W1561700732 @default.
• W1796402938 hasRelatedWork W164524185 @default.
• W1796402938 hasRelatedWork W180232814 @default.
• W1796402938 hasRelatedWork W1820600149 @default.
• W1796402938 hasRelatedWork W185856915 @default.
• W1796402938 hasRelatedWork W195252322 @default.
• W1796402938 hasRelatedWork W206823374 @default.
• W1796402938 hasRelatedWork W209988247 @default.
• W1796402938 hasRelatedWork W53998823 @default.
• W1796402938 hasRelatedWork W104479256 @default.
• W1796402938 hasRelatedWork W134758939 @default.
• W1796402938 hasRelatedWork W41139025 @default.
• W1796402938 hasRelatedWork W7111448 @default.
• W1796402938 hasRelatedWork W95726286 @default.
• W1796402938 isParatext "false" @default.
• W1796402938 isRetracted "false" @default.
• W1796402938 magId "1796402938" @default.
• W1796402938 workType "article" @default.