摘要
由节点和约束组成的约束满足网络(Constraint satisfaction networks,简称CSNs)能够描述许多问题,在AI中具有十分重要的地位.神经网络(Neural networks,简称NNs)能够被看作CSNs,而且被认为是适合于求解约束满足问题,因此NNs中必然有一个相应的逻辑理论.本文通过对比CSNs提出了弱推理理论和矛盾分析法,以研究二值神经网络的定性逻辑行为.文中用神经元(称为判决元)表示判决。
出处
《科学通报》
EI
CAS
CSCD
北大核心
1996年第1期82-85,共4页
Chinese Science Bulletin
基金
国家自然科学基金
国家"八六三"计划
国防预研基金资助项目
