skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Parsing with logical variables (logic-based programming systems)

Abstract

Logic based programming systems have enjoyed an increasing popularity in applied AI work in the last few years. One of the contributions to computational linguistics made by the logic programming paradigm has been the definite clause grammar. In comparing DCGS with previous parsing mechanisms such as ATNS, certain clear advantages are seen. The authors feel that the most important of these advantages are due to the use of logical variables with unification as the fundamental operation on them. To illustrate the power of the logical variable, they have implemented an experimental atn system which treats atn registers as logical variables and provides a unification operation over them. They aim to simultaneously encourage the use of the powerful mechanisms available in DCGS and demonstrate that some of these techniques can be captured without reference to a resolution theorem prover. 14 references.

Authors:
;
Publication Date:
OSTI Identifier:
5420832
Alternate Identifier(s):
OSTI ID: 5420832
Resource Type:
Book
Country of Publication:
United States
Language:
English
Subject:
99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE; ARTIFICIAL INTELLIGENCE; PROGRAMMING 990200* -- Mathematics & Computers

Citation Formats

Finin, T.W., and Stone Palmer, M. Parsing with logical variables (logic-based programming systems). United States: N. p., 1983. Web.
Finin, T.W., & Stone Palmer, M. Parsing with logical variables (logic-based programming systems). United States.
Finin, T.W., and Stone Palmer, M. Sat . "Parsing with logical variables (logic-based programming systems)". United States.
@article{osti_5420832,
title = {Parsing with logical variables (logic-based programming systems)},
author = {Finin, T.W. and Stone Palmer, M.},
abstractNote = {Logic based programming systems have enjoyed an increasing popularity in applied AI work in the last few years. One of the contributions to computational linguistics made by the logic programming paradigm has been the definite clause grammar. In comparing DCGS with previous parsing mechanisms such as ATNS, certain clear advantages are seen. The authors feel that the most important of these advantages are due to the use of logical variables with unification as the fundamental operation on them. To illustrate the power of the logical variable, they have implemented an experimental atn system which treats atn registers as logical variables and provides a unification operation over them. They aim to simultaneously encourage the use of the powerful mechanisms available in DCGS and demonstrate that some of these techniques can be captured without reference to a resolution theorem prover. 14 references.},
doi = {},
journal = {},
number = ,
volume = ,
place = {United States},
year = {Sat Jan 01 00:00:00 EST 1983},
month = {Sat Jan 01 00:00:00 EST 1983}
}

Book:
Other availability
Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that hold this book.

Save / Share: