NeuroQL: A Neuro-Symbolic Language and Dataset for Inter-Subjective Reasoning.
Nick PapouliasPublished in: CoRR (2023)
Keyphrases
- language learning
- knowledge base
- artificial neural networks
- neural network
- proof theory
- symbolic reasoning
- uml class diagrams
- programming language
- reasoning mechanism
- natural language
- knowledge representation
- knowledge representation language
- reasoning systems
- specification language
- reasoning process
- spatial reasoning
- meta level
- synthetic datasets
- database
- probabilistic knowledge
- benchmark datasets
- logic programming
- feature set
- logic programming language
- highly expressive
- reasoning problems
- production rules
- objective measures
- intra class
- finite state machines
- neuro fuzzy
- image quality
- natural language processing
- expert systems
- high level
- artificial intelligence
- machine learning
- data sets