Публикации по теме 'datalog'
Символический искусственный интеллект в Pipedrive
Логическое программирование — квинтэссенция символического искусственного интеллекта, подобласти ИИ, почти полностью затмеваемой машинным обучением, — одна из самых чуждых форм программирования. На самом деле, большинство разработчиков — за исключением тех, кто увлекается эзотерическими предметами языков программирования и теории баз данных — вероятно, никогда не слышали об этом. И все же в последнее время он переживает своего рода ренессанс.
В то время как в машинном обучении цель..
Вопросы по теме 'datalog'
Последовательность построения в журнале данных
Я использую версию журнала данных с отрицанием. Я пытаюсь написать программу, которая назначает увеличивающиеся порядковые номера каждой строки в отношении. Пример:
Учитывая некоторые EDB
items("a", "b")
items("a", "c")
items("b", "b")...
54 просмотров
schedule
08.07.2022
Обратная цепочка с переменными
Я читал о выводе в Prolog/Datalog, и хотя прямая цепочка кажется довольно простой для понимания, у меня есть некоторые проблемы с обратной цепочкой с любым сложным примером, который не является просто пропозициональным или используется для определения...
550 просмотров
schedule
25.08.2022
журнал данных ракетки - поддерживается ли '›'?
Предположим, код журнала данных ракетки:
#lang datalog
price(a, 1).
a1(A) :- price(A, Price), Price > 0.
a1(A)?
Я бы ожидал результата:
a1(a)
Я получаю сообщение об ошибке:
prices_datalog.rkt:4:32: datalog: Unexpected token...
72 просмотров
schedule
21.08.2022
Как я могу рассчитать идеальную фиксированную точку для многослойной программы Datalog?
Каков порядок оценки инструкций в программе Datalog? Всегда ли идеальная фиксированная точка является минимальной фиксированной точкой?
192 просмотров
schedule
20.10.2022
Какие различные реализации Datalog доступны в Java?
Я ищу реализацию Jave Datalog , которая не оценивает ненужные правила. Я посмотрел на причину IRIS , которая кажется наиболее стабильной.
Однако он оценивает все правила, а не только те, которые используются. Например:
parent('homer',...
1666 просмотров
schedule
31.08.2023
Отрицание в журнале данных z3 для выражения оптимальности
Я использую Z3 с :fixedpoint.engine установленным на datalog . У меня есть перечислимое отношение фильтра (f pos min max) . Допустим, у нас есть (f #x10 #x100000 #x200000) , (f #x20 #x150000 #x200000) и (f #x20 #x300000 #x500000) .
Для...
200 просмотров
schedule
18.10.2022
Как представить сводную таблицу (с дополнительными данными) в datomic?
Я понимаю, что нам не нужны обычные сводные таблицы в datomic, потому что мы можем просто выбрать одну сторону отношения и поместить туда атрибут :db.cardinality/many (обязательно смоделировав отношение только в одном направлении ).
Следующее, с...
63 просмотров
schedule
11.03.2023
Распространение рекурсивного свойства, если все предшественники ему удовлетворяют
Я работаю над ориентированным ациклическим графом, где узел может удовлетворять свойству. Я хочу рекурсивно распространять это свойство на другие узлы. Правило состоит в том, что узел удовлетворяет этому свойству тогда и только тогда, когда ему...
36 просмотров
schedule
10.11.2022
Могу ли я вытащить объект и его родительские компоненты вверх по дереву компонентов?
Можно ли вытащить сущность и все родительские компоненты вверх по дереву?
Обратная рекурсивная тяга.
Если нет, то как бы я это сделал?
714 просмотров
schedule
16.10.2023
Как я могу удалить данные из logicblox без предупреждающего сообщения
В новой версии Logicblox (любой версии позже 4.2.1) при наличии предиката «Person(p), hasPNr(p:n) -> int(n)». И я вставляю данные «+Person(p),+hasPNr[p]=1». Затем, если я хочу удалить данные с помощью «-Person (1)». Появится предупреждающее...
105 просмотров
schedule
25.10.2023
Журнал данных max_list и findall
Мне нужно извлечь год самого последнего фильма из списка. Я использую этот код max_list(findall(Y,movie(_,Y), L), M).
Если я использую один
findall(Y,movie(_,Y), L)
я правильно понимаю
L = [1999, 1987, 1991, 1998, 1997, 1984, 1984,...
81 просмотров
schedule
30.03.2024
какова семантика журнала данных и пролога?
Работает ли журнал данных с наборами или мультимножествами? То же самое относится и к прологу? Я не смог найти никаких документов по этому поводу.
264 просмотров
schedule
04.05.2024
журнал данных ракетки - журнал данных с отрицанием?
Поддерживает ли журнал данных рэкета ( https://docs.racket-lang.org/datalog ) ' журнал данных с отрицанием ' ?
229 просмотров
schedule
13.06.2024
