|
|
|
|
|
|
|
|
|
Negated equalities rather
| Глоссарий по искусственному интеллекту |
Than equalities. the rule is sound if the functions involved satisfy certain cancellation-like properties. for example, from ab and ac=d, we can derive bcd by negative paramodulation provided that a right cancellation holds for a product. see also: hyperresolution, paramodulation.
|
|
Cancellation, английский
- Отмена; стирание (записи)
- Отмена (вылета)
- Аннулирование (регистрации товарного знака по мотивированному ходатайству заинтересованного лица)
- Отмена
- Аннулирование
Properties, английский
- A dockable window that displays the properties that are set on the selected object. in most cases, the property values can be edited in the window.
- A ui element that users can click to display information about a selected object.
Paramodulation, английский
Paramodulation is an inference rule that can be used in automated reasoning systems. paramodulation always focuses on two clauses, requiring that one of the clauses contain at least one literal asserting the equality of two expressions. see also: hyperresoltion.
Hyperresolution, английский
Hyperresolution is an inference rule that can be used in automated reasoning systems. it focuses on two or more clauses, requiring one of the clauses (the nucleus) contain at least one negative literal and the remaining (the satellites) contain no negative literals. briefly, a conclusion is yielded if a unifier (substitution of terms for variables can be found that, when applied, makes identical (except for sign) pairs of literals, one negative literal from the nucleus with one positive from a satellite. the conclusion is yielded by ignoring the paired literals, applying the unifier simultaneously to the nucleus and the satellites, and taking the union of the resulting literals. it can be considered a generalization of binary resolution, which considers exactly two clauses simultaneously. see also: ur-resolution.
|
System for, английский
Pathology reports and has been implemented in the induct-rdr machine learning algorithm. see also: induct-rdr, pathology expert interpretative reporting system, http://www.cse.unsw.edu.au/~s2176432/about.html r-mini an algorithm for the generation of minimal classification rules. it is an adaptation of the mini algorithm for minimizing two-level logic and switching functions used in vlsi design.
Rotation on, английский
The input data; and when the number of nodes in this layer is less than the number of inputs, the layer is reducing dimensionality. see also: elliptical basis function network, nonlinear principal components analysis.
|
|
|
|
|
|
|
