Noncognitive formal approach to knowledge representation in artificial intelligence
With the entry of artificial intelligence (Al) into real-time applications, a rigorous analysis of Al expert systems is required in order to validate them for operational use. To satisfy this requirement for analysis of the associated knowledge representations, the techniques of formal language theory are used. A combination of theorems, proofs and problem-solving techniques from formal language theory are employed to analyze language equivalents of the more commonly used Al knowledge representations of production rules (excluding working memory or situation data) and semantic networks. Using formal language characteristics, it is shown that no single support-tool or automatic-programming tool can ever be constructed that can handle all possible production-rule or semantic-network variations. Additionally, it is shown that the entire set of finite production-rule languages is able to be stored in and retrieved from finite semantic-network languages. In effect, the semantic-network structure is shown to be a viable candidate for a centralized database of knowledge.
- Research Organization:
- Air Force Inst. of Tech., Wright-Patterson AFB, OH (USA)
- OSTI ID:
- 6891651
- Country of Publication:
- United States
- Language:
- English
Similar Records
NVL - a knowledge representation language based on semantic networks
A knowledge representation language for requirements engineering