| Interface | Description |
|---|---|
| StandardizeApartIndexical |
| Class | Description |
|---|---|
| CNFConverter |
Artificial Intelligence A Modern Approach (3rd Edition): page 345.
Every sentence of first-order logic can be converted into an inferentially equivalent CNF sentence. Note: Transformation rules extracted from 346 and 347, which are essentially the INSEADO method outlined in: INSEADO Rules |
| Connectors | |
| PredicateCollector | |
| Quantifiers | |
| StandardizeApart | |
| StandardizeApartIndexicalFactory |
This class ensures unique standardize apart indexicals are created.
|
| StandardizeApartInPlace | |
| StandardizeApartResult | |
| SubstVisitor | |
| SubsumptionElimination |
Artificial Intelligence A Modern Approach (3rd Edition): page 356.
The subsumption method eliminates all sentences that are subsumed by (that is, more specific than) an existing sentence in the KB. |
| Unifier |
Artificial Intelligence A Modern Approach (3rd Edition): Figure 9.1, page
328.
|
| VariableCollector |