Rule-Based Reasoning using State Space Search.
Dieter De PaepeRuben VerborghErik MannensPublished in: ISWC (Posters & Demos) (2016)
Keyphrases
- state space search
- rule based reasoning
- case based reasoning
- heuristic search
- decision support system
- inference mechanism
- search problems
- domain independent
- search algorithm
- knowledge representation
- artificial intelligence
- optimal planning
- iterative deepening
- expert systems
- reasoning tasks
- ai planning
- domain specific
- formal semantics
- owl ontologies
- beam search
- orders of magnitude
- management system
- admissible heuristics