Mycin
article-link
What links here
Inference engine
Metaobject
article-link
Nicholas Rescher
article-link
Forward chaining
article-link
Backward chaining
article-link
OPS5
article-link
Knowledge engineering
article-link
Conceptual graph
article-link
Symbolic artificial intelligence
article-link
Rule of inference
article-link
Rete algorithm
article-link
Ontology (information science)
article-link
Lisp (programming language)
article-link
Knowledge representation and reasoning
article-link
Expert system
article-link
Cyc
article-link