Toward Autonomy: Symbiotic Formal and Statistical Machine Reasoning.
J. Sukarno MertogunoPublished in: CogMI (2019)
Keyphrases
- formal models
- formal model
- meta level
- statistical analysis
- knowledge representation
- statistical models
- information systems
- logical reasoning
- multi agent systems
- reasoning processes
- rule based reasoning
- production rules
- automated reasoning
- statistical approaches
- legal argument
- knowledge processing
- real time
- reasoning systems
- legal reasoning
- reasoning process
- reasoning tasks
- data driven
- special case
- knowledge base
- machine learning