Modular Programming and Reasoning for Living with Uncertainty.
Naoyasu UbayashiYasutaka KameiRyosuke SatoPublished in: ICSOFT (Selected Papers) (2018)
Keyphrases
- reasoning under uncertainty
- uncertain information
- incomplete knowledge
- uncertain knowledge
- programming language
- probabilistic reasoning
- model based reasoning
- knowledge representation
- modular structure
- reasoning problems
- spatial reasoning
- qualitative reasoning
- automated reasoning
- derivation rules
- reasoning systems
- reasoning process
- knowledge base
- data sets
- programming environment
- expected utility
- development environment
- production rules
- incomplete information
- database systems
- reasoning mechanisms
- database