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 |