В американській Lyric Semiconductor заявляють, що зуміли реалізувати новий тип логічних ланцюгів на основі транзисторів, які дозволяють оперувати проміжними значеннями між нулем і одиницею.Принцип роботи таких мікросхем базується на використанні Байєсівської ймовірності, яка визначається як ступінь впевненості в істинності судження. Для визначення цього ступеню впевненості при отриманні нової інформації використовується теорема Байєса.
У Lyric Semiconductor вважають, що нові мікрочіпи у порівнянні з сучасними рішеннями можуть багаторазово підвищити продуктивність і одночасно знизити енергоспоживання при вирішенні ресурсоємних завдань, так чи інакше пов'язаних з імовірностями. Це можуть бути пошук, фільтрація спаму, моделювання фінансових даних, аналіз послідовностей геномів тощо.
У даний час для ліцензування доступний мікрочіп корекції помилок Lyric Error Correction (LEC) для флеш-пам'яті. Протягом трьох років дослідники обіцяють представити програмовану платформу загального призначення GP5 для широкого кола програм. Продуктивність таких рішень на певних завданнях, як стверджується, буде у тисячу разів перевищувати швидкодію звичайних х86-сумісних процесорів.
Додамо, що дослідження Lyric Semiconductor підтримує Управління перспективних дослідницьких проектів Міністерства оборони США (DARPA).
В основі роботи сучасних комп'ютерних систем лежать логічні висновки, засновані на булевій алгебрі. Основоположним принципом у даному випадку є закон виключення третього, згідно з яким логічні змінні, на відміну від змінних звичайної алгебри, можуть приймати тільки два значення - 0 і 1 («брехня» або «істина»).За матеріалами Компьюленты
