摘要:

A new hybrid system called Sphinx is presented which combines classification-based reasoning with logic programming technique. It consists of two major components: a terminological component and an assertional one. The former uses a frame-based knowledge representation scheme based on classification and the latter is a theorem prover based on Horn logic. The assertional component can also handle a first-order query language and wh-questions. A new knowledge base maintenance mechanism based on the negation as failure inference rule enables Sphinx to support incremental assertions and retractions. In addition, Sphinx provides explanation capability to help the user in developing and debugging knowledge bases.

ISSN:0883-9514    

DOI:10.1080/08839518808949905

出版商:Taylor & Francis Group    

年代:1988

数据来源: Taylor

摘要:

Expert systems have become an increasingly important area of research for marketing academicians and practitioners. This paper describes an expert system called INNOVATOR that screens new product ideas and provides an approve/reject/reevaluate decision. If desired, the system can explain the logical reasoning it used to arrive at the decision. INNOVATOR uses a rule base consisting of regular IF and fuzzy IF rules and a backward chaining strategy to make recommendations. The paper explains the knowledge (expertise) requirements of the system, as well as the knowledge elicitation process and the knowledge representation scheme. Die system has been implemented on an IBM 4381 using a shell called Expert System Environment (ESE). INNOVATOR, in its current form, assists consultants in financial service organizations in deciding whether to offer specific product innovations to their customers. The system is operational and has been validated by comparing its decisions with those of experts in the field.

ISSN:0883-9514    

DOI:10.1080/08839518808949906

出版商:Taylor & Francis Group    

年代:1988

数据来源: Taylor

摘要:

It is practically advantageous and theoretically meaningful to base both a natural language generator and a parser on the same linguistic data. Neutrality of the representation can be advocated for all unification-based grammars. Yet the basic process in generation can also have several points in common with parsing. Specifically, not only is a unification-based approach proposed that produces from the initial semantic representation the sentence together with a functional structure but also the process is based on an adaptation of the concept of chart, which we call bi-chart (bidimensional chart). The chart is cast over the semantic representation and not over the string but has the same qualities as the classic one. The other relevant point here is that most of the data used in the process are distributed throughout the lexicon, and this results in a very flexible system.

ISSN:0883-9514    

DOI:10.1080/08839518808949907

出版商:Taylor & Francis Group    

年代:1988

数据来源: Taylor