Translator Disclaimer
2 September 1993 Neural network solutions to logic programs with geometric constraints
Author Affiliations +
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.
© (1993) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Jo Ann Parikh, Anne Werkheiser, and V. S. Subrahmanian "Neural network solutions to logic programs with geometric constraints", Proc. SPIE 1965, Applications of Artificial Neural Networks IV, (2 September 1993); https://doi.org/10.1117/12.152530
PROCEEDINGS
14 PAGES


SHARE
Advertisement
Advertisement
RELATED CONTENT

Algorithmic synthesis using Python compiler
Proceedings of SPIE (September 11 2015)
Routing in DiffServ multicast environment
Proceedings of SPIE (July 01 2002)
Simulated annealing and morphology neural networks
Proceedings of SPIE (June 01 1992)
Evolutionary algorithms for training neural networks
Proceedings of SPIE (May 20 2006)
Class of learning algorithms for multilayer perceptron
Proceedings of SPIE (March 01 1991)

Back to Top