Logic-based approach to expert systems in chemistry.
Tatsuya AkutsuEinoshin SuzukiSetsuo OhsugaPublished in: Knowl. Based Syst. (1991)
Keyphrases
- expert systems
- modal logic
- artificial intelligence
- knowledge engineering
- logic programming
- fuzzy logic
- knowledge based systems
- asynchronous circuits
- knowledge sources
- logical framework
- information retrieval
- case based reasoning
- predicate logic
- classical logic
- inference rules
- bayesian networks
- intelligent systems
- knowledge acquisition
- multi valued
- search algorithm
- formal theory
- epistemic logic
- natural deduction
- logic synthesis