Knowledge Representation . A chapter from Chris Welty's Dissertation , 1996. A successful representation of some knowledge must, then, be in a form that is understandable by humans, and must cause the system using the knowledge to behave as if it knows it. The 'structural ingredients' that accomplish these goals are typically found in the languages for KR, both implemented and theoretical, that have been developed over the years. Language at CIRL .
Some languages can be more expressive than others, but they usually tend to be hard to work with.
Other languages that can be easy to work with from a practical point of view may not be expressive enough to capture all that needs to be represented about the world. Our work focuses on a variety of languages. All of the languages we work with are logic-based in the sense that they label sentences as true or false, without an attempt to incorporate probabilistic or other 'fuzzy' information. From the Department of Computing and Mathematics, Faculty of Informatics, University of Ulster. Knowledge Structures .