Terms for subject Artificial intelligence containing О

Russian	English
автоматический доказатель теорем о выполнимости формул в теориях	automatic theorem prover for satisfiability modulo theories (Alex_Odeychuk)
дублирующая запись о факте	duplicate fact entry (Alex_Odeychuk)
дублирующая запись о факте	duplicate entry of a fact (Alex_Odeychuk)
задача о выполнении условий	constraint satisfaction problem (Alex_Odeychuk)
запись о факте	fact entry (Alex_Odeychuk)
запись о факте	entry of a fact (Alex_Odeychuk)
извлечение информации о предыдущих проблемах	surfacing information about previous issues (TechRepublic, 2018 Alex_Odeychuk)
модель представления знаний о естественном языке	neural language model (Alex_Odeychuk)
не основанный на опубликованных сведениях о фактах	non-factoid (Alex_Odeychuk)
рассуждения о категориях предметов	reasoning about object categories (singularityhub.com Alex_Odeychuk)
фрагменты знаний о предметной области	pieces of knowledge bearing the problem (Alex_Odeychuk)