Share Email Print

Proceedings Paper

Neural network solutions to logic programs with geometric constraints
Author(s): Jo Ann Parikh; Anne Werkheiser; V. S. Subrahmanian
Format Member Price Non-Member Price
PDF $17.00 $21.00

Paper Abstract

Hybrid knowledge bases (HKBs), proposed by Nerode and Subrahmanian, provide a uniform theoretical framework for dealing with the mixed data types and multiple reasoning modes required for solving logical deployment problems. Algorithms based on mixed integer linear programming techniques have been developed for the syntactic subset of HKBs corresponding to function-free Prolog-like logic programs. In this study, we examine the ability of neural networks to solve a more comprehensive set of problems expressed within the hybrid knowledge base framework. The objective of this research is to design and implement a nonlinear optimization procedure for solving extended logic programs with neural networks. We focus upon two types of extensions which are typically required in the formulation of logical deployment problems. The first type of extension, which we shall refer to as a Type I extension, consists of embedding numerical and geometric constraints into logic programs. The second type of extension, which we shall call a Type II extension, consists of incorporating optimization problems into logic clauses.

Paper Details

Date Published: 2 September 1993
PDF: 14 pages
Proc. SPIE 1965, Applications of Artificial Neural Networks IV, (2 September 1993); doi: 10.1117/12.152530
Show Author Affiliations
Jo Ann Parikh, Southern Connecticut State Univ. (United States)
Anne Werkheiser, U.S. Army Topographic Engineering Ctr. (United States)
V. S. Subrahmanian, Univ. of Maryland/College Park (United States)

Published in SPIE Proceedings Vol. 1965:
Applications of Artificial Neural Networks IV
Steven K. Rogers, Editor(s)

© SPIE. Terms of Use
Back to Top
Sign in to read the full article
Create a free SPIE account to get access to
premium articles and original research
Forgot your username?