AD-CASPAR: Abductive-Deductive Cognitive Architecture based on Natural Language and First Order Logic Reasoning.
Carmelo Fabio LongoCorrado SantoroPublished in: NL4AI@AI*IA (2020)
Keyphrases
- first order logic
- cognitive architecture
- knowledge representation
- proof procedure
- natural language
- conceptual representation
- cognitive architectures
- knowledge structures
- probabilistic reasoning
- expressive power
- logic programming
- computational model
- propositional logic
- inference rules
- abductive reasoning
- mental imagery
- logical formulas
- theorem proving
- intelligent behavior
- logical rules
- computational models
- theorem prover
- information processing
- probabilistic logic
- representation language
- transitive closure
- natural language processing
- knowledge base
- predicate calculus
- inductive logic programming
- machine learning
- symbolic representation
- natural language understanding
- description logics
- tour guide robot
- reasoning tasks
- markov logic networks
- knowledge acquisition
- object oriented
- expert systems
- semantic interpretation
- knowledge based systems
- robotic systems
- artificial intelligence
- databases
- database