| broader |
|
||||||
|---|---|---|---|---|---|---|---|
| definition | Formal expression of an inference rule for artificial intelligence (AI) computing. The expression is a generalised axiom in which specific values or cases are substituted for each symbol in the axiom to derive a specific inference. | ||||||
| editorial note | Expert review decision, 2021-22: No review this cycle | ||||||
| type |
|
||||||
| in scheme | rdmt original | ||||||