ISO/IEC 22989:2022(en) 3.1.17, prot. Nr. 626 (01.12.2023)
LZA TK ITTEA protokoli
64 Tehnoloģija
ENinference
LVslēdziens
ISO 2382 20.03.01, prot. Nr. 512 (02.02.2018)
LZA TK ITTEA protokoli
64 Tehnoloģija
ENinference
LVizvedums
RUлогический вывод
Definīcija:Formāla pierādījuma metode, kas ir loģiskās dedukcijas pamats.
LZA TK ITTEA terminu datubāze
64 Tehnoloģija
ENinference
LVizvedums
RUлогический вывод
Definīcija:Ekspertsistēmās - jauns fakts, ko var iegūt no datiem un izvedumkārtulām, kas glabājas zināšanu bāzē.
LZA TK ITTEA terminu datubāze
64 Tehnoloģija
ENinference
LVsecināšana; secinājums
ISO 2382 28.03.01, prot. Nr. 259 (16.12.2005)
LZA TK ITTEA protokoli
64 Tehnoloģija
ENinference
LVizvedums
RUлогический вывод
Definīcija:1. Ekspertsistēmās - jauns fakts, ko var iegūt no datiem un izvedumkārtulām, kas glabājas zināšanu bāzē. 2. Formāla pierādījuma metode, kas ir loģiskās dedukcijas pamats.
Datu pārraides un apstrādes sistēmas. Angļu-krievu-latviešu skaidrojošā vārdnīca — R., SWH, 1995
64 Tehnoloģija
ENinference
LVsecinājums
VVC izstrādātie lauksaimniecības, mežsaimniecības, zivsaimniecības un pārtikas rūpniecības termini