Constraint satisfaction with an object-oriented knowledge representation language.
Yves CaseauPublished in: Appl. Intell. (1994)
Keyphrases
- constraint satisfaction
- knowledge representation language
- knowledge representation
- logic programming
- inference engine
- object oriented
- conceptual graphs
- constraint satisfaction problems
- deontic logic
- topic maps
- predicate logic
- constraint programming
- heuristic search
- knowledge base
- constraint propagation
- constraint relaxation
- arc consistency
- probabilistic reasoning
- programming language
- expert systems
- robust fault detection
- knowledge acquisition
- rule base
- logic programs
- knowledge based systems
- knowledge structures
- software engineering
- search space
- constraint problems
- artificial intelligence