Predicate Logic Network: Vision Concept Formation.

Bang Chen Maonian Wu Bo Zheng Shaojun Zhu Wei Peng

Published in: AILA (2022)

Keyphrases

concept formation
predicate logic
proof planning
formal logic
knowledge representation and reasoning
machine learning
hypothesis formation
temporal logic
computational linguistics
semantic net
data analysis
knowledge representation
knowledge discovery
case based reasoning
theorem prover