FGeo-HyperGNet: Geometry Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network.
Xiaokai ZhangNa ZhuYiming HeJia ZouCheng QinYang LiZhenbing ZengTuo LengPublished in: CoRR (2024)
Keyphrases
- neural network
- neural learning
- connectionist models
- fuzzy logic
- pattern recognition
- three dimensional
- back propagation
- feed forward neural networks
- neural network model
- solving problems
- artificial intelligence
- case based reasoning
- higher order
- information processing
- artificial neural networks
- pairwise
- formal model
- neural network is trained
- learning vector quantization
- formal methods
- symbolic representation
- orthogonal basis
- self organizing maps
- knowledge acquisition
- geometric structure
- backpropagation neural network
- explanation based learning
- high level
- knowledge level
- fault diagnosis
- ai systems
- analogical reasoning
- fuzzy artmap
- symbolic reasoning
- human problem solving
- image reconstruction from projections
- reasoning processes
- formal specification
- network architecture
- hidden layer
- multi layer
- np hard
- learning algorithm
- genetic algorithm