Currently one of the most active areas of knowledge representation research are projects associated with the Semantic web.
32.
An implementation of Transaction Logic has also been incorporated as part of the Flora-2 knowledge representation and reasoning system.
33.
The ultimate knowledge representation formalism in terms of expressive power and compactness is First Order Logic ( FOL ).
34.
Logic is used for knowledge representation and problem solving, but it can be applied to other problems as well.
35.
Cognitive musicology uses computer modeling to study music-related knowledge representation and has roots in artificial intelligence and cognitive science.
36.
Hayes and Kowalski in Edinburgh tried to reconcile the logic-based declarative approach to knowledge representation with Planner's procedural approach.
37.
The unification is significant not only for knowledge representation in artificial intelligence but also for statistical analysis and engineering computation.
38.
The Loom project's goal is the development and fielding of advanced tools for knowledge representation and reasoning in artificial intelligence.
39.
For an example of a computational implementation of semantic networks in knowledge representation, see Cravo and Martins ( 1993 ).
40.
It allows users to create abstract knowledge representations such as those required by the Semantic Web using a natural language interface.
