A logic-based knowledge source system for natural language documents

摘要

A methodology is described for creating and structuring a knowledge base system for storing and intelligently retrieving the types of knowledge found in regulations, specifications and other similar documents. The approach involves translating the document into a simple, formal, English-like rule-based language. The language combines production rules with constraints, hierarchies and scripts. Our methodology structures and guides the process of translation and verification using several software tools. The retrieval process is based on associative indexing of rules and facts. Though our current domain is government travel regulations, the method is general enough to be useful for most technical material, such as software descriptions, design or service specifications, or parts of training manuals.