Title :
A deductive neural-logic system
Author :
Lim, Joo-Hwee ; Lui, Ho-Chung ; Teh, Hoon-Heng
Author_Institution :
Inst. of Syst. Sci., Nat. Univ. of Singapore, Singapore
Abstract :
A propositional logic deductive system based on a three-valued neural-logic network model that the authors proposed earlier is described. It is shown that neural logic enriches the classical Boolean logic, and a heuristic search with pruning and an adaptive search are proposed as the control strategies. A system prototype and its practicality are discussed
Keywords :
heuristic programming; inference mechanisms; neural nets; search problems; ternary logic; adaptive search; control strategies; deductive neural-logic system; heuristic search; propositional logic deductive system; pruning; system prototype; three-valued neural-logic network model; Boolean functions; Calculus; Fuzzy logic; Humans; Multilayer perceptrons; Neural networks; Neurons; Power system modeling; Probabilistic logic; Prototypes;
Conference_Titel :
Multiple-Valued Logic, 1992. Proceedings., Twenty-Second International Symposium on
Conference_Location :
Sendai
Print_ISBN :
0-8186-2680-1
DOI :
10.1109/ISMVL.1992.186783
