Συγγραφέας: Jan van Eijck
Jan van Eijck: An Inference Engine with a Natural Language Interface (pdf, 40 pages)
‘all A are B’ ; A ⊆ B ‘no A are B’ ; A ⊆ B ‘some A are not B’ ; A ⊆ B ‘some A are B’ ; A ⊆ B (equivalently: A ∩ B = ∅). A knowledge base is a list of triples (Class1, Class2, Boolean) where (A, B, ) expresses that A ⊆ B, and (A, B, ⊥) expresses that A ⊆ B. |
