Продвигается потихоньку.
Все прежний побуквенный вывод. Летом был готов один из вариантов, способный делать выводы из цепочек и "вилок" любой сложности, а также отечать на вопросы "да", "нет" (не буквально, конечно). Вариант был прекрасен, за тем небольшим недостатком, что не работал на зашумленных текстах (к чему, собственно и стремление). Одно время даже вслывала концепция внимания, но благополучно утонула.
Утонула вместе с лелеемой мною концепцией м-полостей (привет Стругацким), но, кажется, полости еще имеют шанс вернуться.
Сейчас все в разобранном виде, т.к., кажется, нашел способ вообще отказаться от деления на фразы, а также от принудительного выделения правил - проверяю.
Приведу некоторые из примеров, на которых работал "летний" вариант. (сейчас тестов больше сотни, но они однообразные и не представляют интереса).
Тест c-row (вывод из цепочки фраз. В этом и других тестах, фразы могут быть в любом порядке, при условии, что те, на которыех делается вывод, идут ДО тех, которые делают вывод)
1A2B3
4B5C6
7C8A9+ // это, собственно вопрос и ответ на него
1D2E3
4E5F6
7F8D9+ // это второй комплект обучающего набора
1x2y3
4y5z6
7z|8x9 // после вертикальной черты - то, что ожидается от системы в качестве правильного ответа. Более того, система способна продолжить фразу в любой точке после этой линии, но не до нее т.к. на тот момент данных еще не достаточно.
Тест c-fork ("вилка")
1x2y3z4
5a6x7
8c9y0
SaBcQzT+
1i2j3k4
5m6i7
8n9j0
SmBnQkT+
1d2e3f4
5g6d7
8h9e0
SgBh|QfT
Ну и более простые тесты, возможные именно благодаря побуквенности вывода (жоглирование буквами).
Тест Inverse // обратить строку
sABCbCBAt+
sDEFbFEDt+
sXYZ|bZYXt
Тест Star // вывести строку, разделяя ее символы "звездочкой"
sABCbA*B*Ct+
sDEFbD*E*Ft+
sXYZ|bX*Y*Zt
Конечно, эти примеры не наглядны, но это тестовые примеры, нужные скорее для отладки.
Возвращаясь к Логосу. Ваша система делает вывод на одном-единственном правиле? В смысле, ей не нужно давать несколько однотипых правил, чтобы система могла построить вывод?