Keyphrases
- predicate logic
- formal logic
- predicate calculus
- knowledge representation and reasoning
- computational linguistics
- temporal logic
- semantic net
- directed graph
- semantic network
- lower level
- knowledge based systems
- knowledge acquisition
- autonomous agents
- low level
- expert systems
- data analysis
- knowledge base
- artificial intelligence