B
Строго параконсистентные логики запрещают и это
Size: a a a
2021 April 28
B
Например, релевантная логика это запрещает
МБ
Minlog позволяет работать с нетотальными функциями. Утверждается, что это следствие параконсистентности.
B
Странное утверждение, посмотрю
AT
https://repository.tudelft.nl/islandora/object/uuid:2d831aa4-df6b-4ab6-983e-9776c710b450?collection=education
Формальная спецификация и механизированное (Coq) доказательство корректности disambiguation rules for context-free grammars для разбора выражений при выполнении определённых условий (которые, суть, и есть выхлоп диссертации).
Формальная спецификация и механизированное (Coq) доказательство корректности disambiguation rules for context-free grammars для разбора выражений при выполнении определённых условий (которые, суть, и есть выхлоп диссертации).
IK
А есть ли какие-нибудь наработки по генерации байткода с использованием нейросетей и формальных методов? По идее так можно учить машину создавать более менее осмысленные программы.
kO
В хуавее в лабе бугаенко что-то с кодом и нейронками шевелили
kO
Вроде бы даже успешно
kO
@lucenticus в этом что-то понимает, можешь у него спросить
AG
синтез программ это довольно древняя тема, там есть разные подходы
AG
сейчас вроде выделяют 4 основных направления - derivational, constraint-based, enumerative, neural
AG
самый "формальнометодный" - первый, самый нейронный - нейронный :)
kO
А enumerative это про что?
AG
он же индуктивный - когда генерируется всё подряд и отбрасывается неподходящее
ДК
Разве? Этот принцип противоречит интуиции.
IK
Ну скорей всего самое интересное - на стыке. Нейронки - это творчество, обучение; формальность - это избежание моря некомпилирующихся/неработающих программ. И мне кажется, что лучше всего это делать на уровне байткода (т.к. мало команд, они все довольно примитивные, прога сразу работает), либо на уровне строго языка, который "если компилируется, то работает".
AT
😂👏👍
Классная шутка! Специально бы не придумал. 😃
Классная шутка! Специально бы не придумал. 😃
AG
вот тут рассказывают немного про подходы http://www.pathsensitive.com/2018/12/my-strange-loop-talk-you-are-program.html
IK
Когда уже в телегу добавят эмоции к сообщениям как в слэке и скайпе...
AK
лучше бы их вообще выпилили :)