Разнообразные языки программирования представляют несколько разновидностей конструкторов:
конструктор с параметрами; конструктор по умолчанию, не принимающий аргументов; именованный конструктор - функция, предполагающая явный вызов по имени, работающая как конструктор конструктор копирования - конструктор, принимающий в качестве аргумента объект того же класса (или ссылку из него); конструктор преобразования - конструктор, принимающий один аргумент (эти конструкторы могут вызываться автоматически для преобразования значений других типов в объекты данного класса). конструктор перемещения (специфично для C++11)
Еще одним фундаментальным краеугольным камнем является Atomese : идея о том, что все, включая запросы к графам, правила перезаписи графов, алгоритмы обработки графов, конвейеры данных и т. п., могут быть представлены с помощью Atom и реализованы с помощью Atom во время выполнения.
Таким образом, атомы можно использовать не только для формирования абстрактных синтаксических деревьев, представляющих какой-либо алгоритм или процедуру, но эти деревья также могут быть исполняемыми.
Одна из вещей, выражаемых как Atoms, - это сам язык запросов : таким образом, можно «запрашивать запросы», что может показаться загадочным, но это то, как на самом деле работают чат-боты (то есть, как чат-боты работают не только в OpenCog, но и в целом). ...
Все атомы в AtomSpace имеют тип. Двумя основными типами атомов являются Node и Link . Типы образуют иерархию типов : все атомы наследуются от типа «Atom», а сам тип Atom наследуется от ProtoAtom . ProtoAtom сам по себе является базовым типом для значений (таких как значения истинности ), а также для
( ... )
Мета-мета-теория (ММТ), сформулированная Флорианом Рабе и соавторами: См., например, Язык и система ММТ . Кажется, это система, которая чем-то похожа по философии и намерениям на Atomese. Фактический письменный язык MMT сильно отличается от Atomese, но, вероятно, все в MMT можно напрямую преобразовать в Atomese. В отличие от MMT, атомезе больше ориентирован на создание вероятностных концепций. такие как оценки, состоящие из нескольких значений с плавающей запятой. Прямое сравнение этих двух было бы превосходным.
Comments 15
Разнообразные языки программирования представляют несколько разновидностей конструкторов:
конструктор с параметрами;
конструктор по умолчанию, не принимающий аргументов;
именованный конструктор - функция, предполагающая явный вызов по имени, работающая как конструктор
конструктор копирования - конструктор, принимающий в качестве аргумента объект того же класса (или ссылку из него);
конструктор преобразования - конструктор, принимающий один аргумент (эти конструкторы могут вызываться автоматически для преобразования значений других типов в объекты данного класса).
конструктор перемещения (специфично для C++11)
Reply
Операция: Именование объекта.
Присваивание имени объекту.
Соответственно, можно будет давать имя имени.
Ну, возможно, имя имени может выступить в качестве конструктора сложных имен, или длинных имён. Обдумать.
Reply
Reply
Таким образом, атомы можно использовать не только для формирования абстрактных синтаксических деревьев, представляющих какой-либо алгоритм или процедуру, но эти деревья также могут быть исполняемыми.
Одна из вещей, выражаемых как Atoms, - это сам язык запросов : таким образом, можно «запрашивать запросы», что может показаться загадочным, но это то, как на самом деле работают чат-боты (то есть, как чат-боты работают не только в OpenCog, но и в целом).
...
Все атомы в AtomSpace имеют тип. Двумя основными типами атомов являются Node и Link . Типы образуют иерархию типов : все атомы наследуются от типа «Atom», а сам тип Atom наследуется от ProtoAtom . ProtoAtom сам по себе является базовым типом для значений (таких как значения истинности ), а также для ( ... )
Reply
Reply
RBIL - открытый стандарт языка верхнего уровня, предназначенной для взаимодействия электронных модулей в роботехнике а также роботов между собой. За основу взята рекомендация FIPA - язык ACL.
https://wiki.roboforum.ru/index.php?title=RoboBrain_Interchange_Language
Reply
https://uniformal.github.io/
The MMT Language and System
https://uniformal.github.io/doc/language/
Reply
Leave a comment