Search results for: “richard waldinger”
-
Richard J. Waldinger
Principal Scientist, Artificial Intelligence Center
-
Natural Language Access: When Reasoning Makes Sense
We argue that to use natural language effectively, we must have both a deep understanding of the subject domain and a general-purpose reasoning capability.
-
What, Again? Automatic Deductive Synthesis of the Unification Algorithm
We describe work in progress towards deriving a unification algorithm automatically from a declarative specification using deductive methods.
-
Deductive Synthesis of the Unification Algorithm: The Automation of Introspection
We are working to create the first automatic deductive synthesis of a unification algorithm. The program is extracted from a proof of the existence of an output substitution that satisfies a given logical specification.
-
Natural Language Access to Data: It Takes Common Sense!
In a deductive approach to this problem, language processing technology translates English queries into a first-order logical form, which is regarded as a conjecture to be established by a theorem prover.
-
Deduction for Natural Language Access to Data
We outline a general approach to automated natural-language question answering that uses first-order logic and automated deduction. Our interest is in answering queries over structured data resources
-
English access to structured data
In this paper we present work in using a domain model to guide text interpretation, in the context of a project that aims to interpret English questions as queries to be answered from structured databases.
-
Accessing structured health information through English queries and automatic deduction
We describe a prototype system, Quadri, which answers questions about HIV treatment using the Stanford HIV Drug Resistance Database and other resources.
-
Accessing structured health information through English queries and automatic deduction
We describe ongoing research in using natural English text queries and automated deduction to obtain answers based on multiple structured data sources in a specific subject domain.
-
Deducing Answers to English Questions from Structured Data
We describe ongoing research using natural English text queries as an intelligent interface for inferring answers from structured data in a specific domain.
-
English Access to Structured Data
We present work on using a domain model to guide text interpretation, in the context of a project that aims to interpret English questions as a sequence of queries to be answered from structured databases.
-
Accessing Structured Health Information Through English Queries and Automatic Deduction
We describe ongoing research in using natural English text queries and automated deduction to obtain answers based on multiple structured data sources in a specific subject domain.