|
|
|
|
|
|
|
|
|
Дизъюнкт
| Глоссарий по искусственному интеллекту |
Выражение вида b1 Ú b2 Ú ... Ú bn ¬ a1 & a2 &...& am, где (&,Ú,¬ ) соответственно символы конъюнкции, дизъюнкции и импликации. д. читается так: "если a1, и a2, и, am, то b1, или b2, или ,..., bn". правая или левая часть импликации может быть пустой. в этом случае д. интерпретируется иначе. для д. вида b1 Ú b2 Ú ... Ú bn интерпретация заключается в утверждении существования факта b1 Ú b2 Ú ... Ú bn ; а для д. вида ¬ a1 & a2 &...& am интерпретация состоит в утверждении, что (a1 & a2 &...& am). если в д. пусты левая и правая часть импликации, то он называется пустым. д. используется в методе логического вывода, основанном на использовании резолюций, а также в языке программирования пролог.
|
|
Соответственно, русский
Соответственно , сообразно
Интерпретация, русский
- Вид перевода, основанный на обращении к внеязыковой деятельности, в отличии от собственно перевода, осуществляемого по заданным правилам перехода от средств выражения, принадлежащих одной языковой системе, к средствам выражения, принадлежащим другой языко
- Пианист играл одну из последних мазурок шопена. в ней были изящество, пленительная легкость. под пальцами музыканта возникала очаровательная миниатюра, которой хотелось любоваться без конца. а через несколько дней ту же мазурку исполнил другой пианист. зв
- (лат. interpretatio истолкование, объяснение) – совокупность значений (смыслов), придаваемых каким-либо элементам определенной теории. широко используется в науке. средние века, которые были эпохой комментаторов (интерпретаторов) священных текстов, а также произведений древнегреч. философов, дали, пожалуй, самое большое количество интерпретаций.
- (лат . interpretatio), 1) в широком смысле - истолкование, объяснение, перевод на более понятный язык; в специальном смысле - построение моделей для абстрактных систем (исчислений) логики и математики...2) в искусстве - творческое освоение художественных произведений, связанное с его избирательным прочтением (порой полемическим): в обработках и транскрипциях, в художественном чтении, режиссерском сценарии, актерской роли, музыкальном исполнении...3) метод литературоведения: истолкование смысла произведений в определенной культурно-исторической ситуации его прочтения. в искусстве и литературоведении основана на принципиальной многозначности художественного образа.
- Анализ команд или операторов программы и немедленное их выполнение (дсту 2873). интерфейс (в системах обработки данных) [interface (in data pro cessing systems)] - определенный набор услуг, представляемых процессором (дсту 2874). информативность побочных электромагнитных излучений и новодок -наличие в составе побочных электромагнитных излучений и наводок, создаваемых техническими средствами обработки информации, признаков обрабатываемой информации.
- В широком смысле - объяснение, толкование чего-либо. в программировании - процесс перевода программы, написанной на языке высокого уровня, в объектный код таким способом, что программа храниться в памяти эвм в первоначальной форме, а трансляция в объектный код осуществляется частями, по мере необходимости. в искусственном интеллекте - установление связи между двумя системами описаний, что позволяет понимать одну систему на уровне другой.
Существования, русский
Пищи, воды, воздуха, тепла, света и др
|
Формула атомарная, русский
Выражение вида н(t1, t2,..., tm), где н - m-местный предикат, ti - термы.
Формула открытая, русский
Выражение в формальной системе, в которое входит хотя бы одна переменная, не связанная квантификатором.
|
|
|
|
|
|
|
