A Predicate Connection Graph Based Logic with Flexible Control
Abstract
The FDE has been designed to support multiple search strategies for logic programs. This machine represents the knowledge base in a strategy independent fashion as a predicate connection graph which encodes potential unifications between predicates. It facilitates knowledge representation in the language of full first order predicate calculus Immediate developments include implementation of various database access strategies and addition of evaluable predicates and functions to the language. Long-term research will focus on exploration of search strategies, especially for parallel logic machines.
Cite
Text
Whitney et al. "A Predicate Connection Graph Based Logic with Flexible Control." International Joint Conference on Artificial Intelligence, 1985.Markdown
[Whitney et al. "A Predicate Connection Graph Based Logic with Flexible Control." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/whitney1985ijcai-predicate/)BibTeX
@inproceedings{whitney1985ijcai-predicate,
title = {{A Predicate Connection Graph Based Logic with Flexible Control}},
author = {Whitney, Richard and Van Buer, Darrel J. and McKay, Donald P. and Kogan, Dan and Hirschman, Lynette and Davis, Rebecca},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1985},
pages = {733-736},
url = {https://mlanthology.org/ijcai/1985/whitney1985ijcai-predicate/}
}