TsetlinMachine
Tsetlin Machine 是一个专注于实现“策特林机”算法的开源项目,提供了完整的代码实现与配套数据集。它旨在解决复杂的模式识别问题,特别是那些既需要高精度又要求结果可解释性的场景。与传统深度学习模型常被视为“黑盒”不同,Tsetlin Machine 通过集体协作的“策特林自动机”,将分类决策转化为由布尔逻辑构成的命题公式。这意味着它的判断过程清晰透明,人类可以直接理解其背后的逻辑规则(例如“当特征 A 存在且特征 B 不存在时,判定为某类”)。
该项目不仅涵盖了基础的双分类功能,还支持多分类任务,并包含如噪声异或(Noisy XOR)等演示案例,帮助用户快速上手。其独特的技术亮点在于利用简单的逻辑子句组合来处理复杂数据,在保证计算效率的同时,天然具备极强的可解释性。
Tsetlin Machine 非常适合人工智能研究人员、算法开发者以及对模型透明度有严格要求的数据科学家使用。如果你正在探索可解释人工智能(XAI)领域,或者需要在医疗、金融等对决策逻辑有严格审计需求的场景中部署模型,这个项目将提供坚实的理论实现与工程支持。
使用场景
某金融风控团队正在构建信用卡欺诈检测系统,需要在毫秒级内判断交易是否异常,同时必须向监管机构和用户清晰解释判定理由。
没有 TsetlinMachine 时
- 深度学习模型虽能识别复杂模式,但如同“黑盒”,无法输出人类可读的决策逻辑,导致合规审查困难。
- 传统规则引擎依赖专家手动编写"If-Then"语句,难以自动发现数据中隐蔽的非线性关联(如特定时间与地点的组合风险)。
- 模型训练和推理过程消耗大量 GPU 算力,在边缘设备或低资源服务器上部署成本高昂且延迟较高。
- 当出现误判时,开发人员只能猜测特征权重,无法精确定位是哪几个具体条件触发了警报。
使用 TsetlinMachine 后
- TsetlinMachine 直接生成由布尔逻辑组成的命题公式(如“夜间交易 AND 非本地 IP"),让每个判定结果都有据可查,轻松满足合规要求。
- 通过集体自动机协作,TsetlinMachine 能自动从数据中学习并组合出复杂的逻辑子句,无需人工预设规则即可捕捉隐蔽的欺诈模式。
- 基于逻辑运算的特性使得 TsetlinMachine 仅需极低算力即可运行,能在普通 CPU 甚至嵌入式芯片上实现超低延迟推理。
- 开发者可以直接阅读生成的逻辑子句,精确理解是哪些特征的组合导致了分类结果,极大提升了调试效率和模型可信度。
TsetlinMachine 的核心价值在于打破了高精度与高可解释性之间的壁垒,用简单的逻辑公式解决了复杂的模式识别难题。
运行环境要求
未说明
未说明

快速开始
特斯林机
特斯拉特林机的代码和数据集。实现了来自 https://arxiv.org/abs/1804.01508 的特斯拉特林机,包括多分类版本。特斯拉特林机通过由一组特斯拉特林自动机组成的易于解释的命题公式来解决复杂的模式识别问题。
目录
基础知识
分类
一个基本的特斯拉特林机以布尔特征向量
作为输入,将其分类为两类之一:
或
。连同它们的否定形式
,这些特征构成一个文字集合
。
特斯拉特林机的模式被表述为一个合取子句
,它是通过将文字集合
的一个子集进行逻辑与运算而形成的:
.
例如,子句
由文字
组成,并且仅当
且
时,才输出
。
所使用的子句数量是一个用户可配置的参数
。其中一半的子句被赋予正极性,另一半则被赋予负极性。随后,这些子句的输出通过求和并使用单位阶跃函数
进行阈值处理,从而得出最终的分类决策:
.
换句话说,分类基于多数投票原则:正极性子句投票支持
,而负极性子句则投票支持
。例如,该分类器
,
学习
一个子句
由一组采斯林自动机组成,每个采斯林自动机决定是否将特定的文字
包含或排除在子句之外(见上图)。学习如何选择包含哪些文字是基于强化学习:I型反馈会产生频繁模式,而II型反馈则会增强模式的区分能力。
采斯林机器是在线学习的,每次处理一个训练样本
。
I型反馈以随机方式给予正极性子句当
时,以及负极性子句当
时。受此影响的子句会根据以下因素来强化其内部的每一个采斯林自动机:(i) 子句的输出值
;(ii) 目标采斯林自动机的动作——“包含”或“排除”;以及 (iii) 分配给该自动机的文字值
。如表1所示,有两种规则分别独立地控制着子句中每个采斯林自动机的I型反馈:
- 当
且
时,“包含”会被奖励,“排除”则会以概率
受到惩罚。这种强化作用较强(高概率触发),能够使子句记住并优化它在
中识别出的模式。 - 如果
或
,则“包含”会被以概率
惩罚,“排除”则会被奖励。这种强化作用较弱(低概率触发),可以将不常见的模式逐渐转变为常见模式。
其中,
是一个超参数,用于控制所产生模式的频率。
II型反馈以随机方式给予正极性子句当
时,以及负极性子句当
时。同样地,受影响的子句会根据以下因素来强化其内部的每个采斯林自动机:(i) 子句的输出值
;(ii) 目标采斯林自动机的动作——“包含”或“排除”;以及 (iii) 分配给该自动机的文字值
。如表2所示,当
且
时,II型反馈会惩罚“排除”操作。这种反馈作用强烈,能够筛选出用于区分
和
的候选文字。
资源分配机制确保子句能够在各种频繁模式之间合理分布,而不是遗漏某些模式而过度集中于其他模式。也就是说,对于任何输入
,随着子句输出总和的增加,
接近用户设定的目标值
(对于
)时,强化某个子句的概率会逐渐降为零(对于
则为
)。例如,下图展示了当
且
时,不同子句输出总和
下,强化某个子句的概率变化情况:
如果某个子句未被强化,则它不会对其内部的采斯林自动机产生反馈,这些自动机的状态也就保持不变。极端情况下,当投票总和
等于或超过目标值
(即采斯林机器已成功识别输入
)时,所有子句都不会被强化。因此,它们可以自由地学习新的模式,从而自然地平衡模式表示所需的资源。
详情请参阅 https://arxiv.org/abs/1804.01508。
学习行为
下图展示了特茨林机在二值化但未进行其他增强处理的MNIST数据集(https://en.wikipedia.org/wiki/MNIST_database)上的平均学习进度(基于50次运行)。更多信息请参见:https://github.com/cair/fast-tsetlin-machine-with-mnist-demo。
如图所示,测试集和训练集的准确率在各个epoch中几乎呈单调递增趋势。即使训练集上的准确率接近99.9%,测试集上的准确率仍在持续提升,最终在400个epoch后达到98.2%。这与神经网络使用反向传播时的情况截然不同:在缺乏适当正则化机制的情况下,测试集准确率通常会在某个点开始下降,出现过拟合现象。
噪声XOR演示
./NoisyXORDemo.py
测试数据准确率(无噪声):1.0
训练数据准确率(40%噪声):0.603
预测:x1 = 1, x2 = 0, ... -> y = 1
预测:x1 = 0, x2 = 1, ... -> y = 1
预测:x1 = 0, x2 = 0, ... -> y = 0
预测:x1 = 1, x2 = 1, ... -> y = 0
系统要求
- Python 2.7.x https://www.python.org/downloads/
- Numpy http://www.numpy.org/
- Cython http://cython.org/
其他实现
- Tsetlin Machine Unified - 统一代码库,一统天下。实现了Tsetlin机、合并式Tsetlin机、卷积Tsetlin机、回归Tsetlin机和加权Tsetlin机,并支持连续特征、丢弃子句、Type III反馈、聚焦负采样、多任务分类器、自编码器、文字预算以及一对一多分类器。TMU用Python编写,同时提供了C语言和CUDA加速的子句评估与更新接口,项目地址:https://github.com/cair/tmu,PyPI链接:https://pypi.org/project/tmu/
- 面向逻辑型AI的大规模并行与异步架构。实现了Tsetlin机、卷积Tsetlin机、回归Tsetlin机和加权Tsetlin机,并支持连续特征,项目地址:https://github.com/cair/PyTsetlinMachineCUDA,PyPI链接:https://pypi.org/project/PyTsetlinMachineCUDA/
- 高级Tsetlin机Python API,配备快速C扩展。实现了Tsetlin机、卷积Tsetlin机、回归Tsetlin机、加权Tsetlin机和嵌入式Tsetlin机,并支持连续特征、多粒度子句及子句索引,项目地址:https://github.com/cair/pyTsetlinMachine,PyPI链接:https://pypi.org/project/pyTsetlinMachine/
- 多线程实现的Tsetlin机、卷积Tsetlin机、回归Tsetlin机和加权Tsetlin机,支持连续特征和多粒度子句,项目地址:https://github.com/cair/pyTsetlinMachineParallel,PyPI链接:https://pypi.org/project/pyTsetlinMachineParallel/
- 用Julia编写的高性能Tsetlin机实现,具备批处理和底层并行化功能(在MNIST数据集上每秒可完成5200万次分类),项目地址:https://github.com/BooBSD/Tsetlin.jl
- 用C语言编写的类并行Tsetlin机,支持日志记录功能,项目地址:https://github.com/ashurrafiev/ClassParallelTM
- 用于可视化Tsetlin机状态及学习过程的GUI应用,项目地址:https://github.com/ashurrafiev/TsetlinMachineViewer
- 快速C++实现的加权Tsetlin机,附带MNIST、IMDb和Connect-4演示,项目地址:https://github.com/adrianphoulady/weighted-tsetlin-machine-cpp
- 快速基于位操作的C语言实现,附带MNIST演示,项目地址:https://github.com/cair/fast-tsetlin-machine-with-mnist-demo
- CUDA实现,附带IMDb文本分类演示,项目地址:https://github.com/cair/fast-tsetlin-machine-in-cuda-with-imdb-demo
- 硬件实现,项目地址:https://github.com/JieGH/Hardware_TM_Demo
- Kivy实现,项目地址:https://github.com/DarshanaAbeyrathna/Tsetlin-Machine-Based-AI-Enabled-Mobile-App-for-Forecasting-the-Number-of-Corona-Patients
- C语言实现,项目地址:https://github.com/cair/TsetlinMachineC
- 并行化的C++实现,适用于多分类和回归Tsetlin机,并提供与scikit-learn兼容的Python封装,项目地址:https://github.com/WojciechMigda/Tsetlini,以及https://github.com/WojciechMigda/PyTsetlini
- Rust实现,项目地址:https://github.com/KhaledSharif/TsetlinMachine
- 支持快速位操作的Rust实现,包含MNIST演示,项目地址:https://github.com/jcriddle4/tsetlin_rust_mnist
- C++实现,项目地址:https://github.com/222464/TsetlinMachine
- Node.js实现,项目地址:https://github.com/anon767/TsetlinMachine
- C#实现,项目地址:https://github.com/cokobware/TsetlinMachineCSharp
- F#实现,项目地址:https://github.com/fwaris/FsTsetlin
其他架构
- 卷积Tsetlin机,项目地址:https://github.com/cair/convolutional-tsetlin-machine
- 图Tsetlin机,项目地址:https://github.com/cair/GraphTsetlinMachine
- 回归Tsetlin机,项目地址:https://github.com/cair/regression-tsetlin-machine
- 合并式多输出Tsetlin机,项目地址:https://github.com/cair/PyCoalescedTsetlinMachineCUDA/
- 面向逻辑型AI的大规模并行与异步架构,项目地址:https://github.com/cair/PyTsetlinMachineCUDA
硬件
书籍
- 《Tsetlin机器入门》(https://tsetlinmachine.org)
会议
- 国际Tsetlin机器研讨会(ISTM)(https://istm.no)[论文集:2022年(https://ieeexplore.ieee.org/xpl/conhome/9923753/proceeding)、2023年(https://ieeexplore.ieee.org/xpl/conhome/10454903/proceeding)]
视频
- 观看采特林自动机的状态转换。演示者:雷杰,纽卡斯尔大学微系统研究组。https://youtu.be/wXyiLtlpwHI
- 使用采特林机器进行关键词检测。演示者:雷杰,纽卡斯尔大学微系统研究组。https://youtu.be/JW0tztpjX8k
- Mignon AI 在 2020 年 Arm 峰会上的演讲,由阿德里安·惠尔登和雷杰共同完成,来自纽卡斯尔大学微系统研究组。https://youtu.be/N-wkgibJAZE
- 基于学习自动机的 AI 硬件的可解释性与可靠性分析。IOLTS 演讲,由里沙德·沙菲克主讲,纽卡斯尔大学微系统研究组。https://youtu.be/IjzZY0fDYiA
- 采特林机器——普适 AI 的新范式。DATE SCONA 工作坊演讲,由阿德里安·惠尔登主讲,纽卡斯尔大学微系统研究组。https://youtu.be/TaspuovmSR8
- 使用 Logisim 中的顺序逻辑快速入门采特林机器。纽卡斯尔大学微系统研究组的雷杰主讲。
- 采特林自动机——https://youtu.be/XzWSPo7GF94
- 子句计算——https://youtu.be/Yfrt-W40LiI
- 求和与阈值处理——https://youtu.be/ipKHuHMDafU
- 手持式 MignonAI(http://www.mignon.ai)在 Iris 数据集上的采特林机器演示。纽卡斯尔大学微系统研究组的雷杰主讲。https://youtu.be/BzaPGByX-hg
- 采特林自动机之王。纽卡斯尔大学微系统研究组的雷杰主讲。https://youtu.be/LltDhg4ZuWo
- 使用采特林自动机机器学习进行可解释的聚类与降维。瑞士普华永道的克里斯蒂安·D·布拉凯利主讲。https://youtu.be/5-09LOGLcV8
- 利用实时可解释学习预测并解释经济增长。瑞士普华永道的克里斯蒂安·D·布拉凯利主讲。https://youtu.be/J6K7V7V7ayo
- 通过简单的血液检测早期发现乳腺癌。瑞士普华永道的克里斯蒂安·D·布拉凯利主讲。https://youtu.be/FrHN_aRLRug
- 采特林机器的最新进展。NORA.ai 网络研讨会,由奥勒-克里斯托弗·格兰莫主讲,挪威阿格德大学 CAIR 研究中心。https://youtu.be/GHelDh3bN00
教程
卷积采特林机器教程,https://github.com/cair/convolutional-tsetlin-machine-tutorial
致谢
我感谢人工智能研究中心(CAIR)的同事们——雷娇、张轩、盖尔·索雷·贝格、达尔沙纳·阿贝拉特纳、赛义德·拉希米·戈尔吉、松德雷·格林斯达尔、鲁普萨·萨哈、比马尔·巴塔赖、罗汉·K·亚达夫、伯恩特·维戈·马修森、莫滕·古德温、克里斯蒂安·奥姆林、弗拉基米尔·扎多罗日尼(匹兹堡大学)、吉维特什·夏尔马、艾哈迈德·阿布泽伊德以及查鲁尔·吉里——他们为采特林机器系列技术的发展做出了贡献。同时,我也要感谢我们的 CAIR 合作伙伴们——亚历克斯·亚科夫列夫、里沙德·沙菲克、阿舒尔·拉菲耶夫、西达尔特·马赫什瓦里、阿德里安·惠尔登、雷杰、陶西夫·拉赫曼(纽卡斯尔大学)、乔尼·爱德华兹(Temporal Computing)、马可·韦林(格罗宁根大学)、克里斯蒂安·D·布拉凯利(瑞士普华永道)、阿德里安·福拉迪、安德斯·雷夫斯达尔·奥尔森、哈尔沃尔·斯莫尔维克以及埃里克·马蒂森——他们为我们提供了诸多支持。
采特林机器相关论文
@InProceedings{yadav2022robust,
title = {利用带否定的 AND 规则对虚假相关性实现稳健可解释文本分类},
author = {Yadav, Rohan Kumar and Jiao, Lei and Granmo, Ole-Christoffer and Goodwin, Morten},
booktitle = {第三十一届国际联合人工智能会议论文集,{IJCAI-22}},
publisher = {国际联合人工智能会议组织},
editor = {Lud De Raedt},
pages = {4439--4446},
year = {2022},
month = {7},
note = {主赛道}
doi = {10.24963/ijcai.2022/616},
url = {https://doi.org/10.24963/ijcai.2022/616},
}
@InProceedings{bhattarai2022fakenews,
author = {Bhattarai, Bimal and Granmo, Ole-Christoffer and Jiao, Lei},
title = {用于假新闻检测并评估可信度分数的可解释采特林机器框架},
booktitle = {语言资源与评估会议论文集},
month = {六月},
year = {2022},
address = {法国马赛},
publisher = {欧洲语言资源协会},
pages = {4894--4903},
url = {https://aclanthology.org/2022.lrec-1.523}
}
@InProceedings{bhattarai2022convtext,
author = {Bhattarai, Bimal and Granmo, Ole-Christoffer and Jiao, Lei},
title = {ConvTextTM:用于文本分类的可解释卷积采特林机器框架},
booktitle = {语言资源与评估会议论文集},
month = {六月},
year = {2022},
address = {法国马赛},
publisher = {欧洲语言资源协会},
pages = {3761--3770},
url = {https://aclanthology.org/2022.lrec-1.401}
}
@article{saha2021disc,
author = {Saha, Rupsa and Granmo, Ole-Christoffer and Goodwin, Morten},
title = {利用采特林机器在自然语言处理应用中发现可解释规则},
journal = {Expert Systems},
url = {https://onlinelibrary.wiley.com/doi/abs/10.1111/exsy.12873},
year={2021}
}
@article{abeyrathna2021multistep,
author = {Abeyrathna, Kuruge Darshana and Granmo, Ole-Christoffer and Shafik, Rishad and Jiao, Lei and Wheeldon, Adrian and Yakovlev, Alex and Lei, Jie and Goodwin, Morten},
title = {一种用于任意确定性采特林机器学习的多步有限状态自动机},
journal = {Expert Systems},
url = {https://onlinelibrary.wiley.com/doi/abs/10.1111/exsy.12836},
year={2021}
}
@InProceedings{yadav2021dwr,
title={利用预训练词表示语义增强可解释子句},
author={Rohan Kumar Yadav 和 Lei Jiao 以及 Ole-Christoffer Granmo 和 Morten Goodwin},
booktitle={BLACKBOXNLP},
url = {https://aclanthology.org/2021.blackboxnlp-1.19.pdf},
year={2021}
}
@article{jiao2021andorconvergence,
title={关于采特林机器在 AND 和 OR 运算符下的收敛性},
author={Lei Jiao 和 Xuan Zhang 以及 Ole-Christoffer Granmo},
journal = {arXiv 预印本 arXiv:2109.09488}, year = {2021},
url = {https://arxiv.org/abs/2109.09488}
}
@InProceedings{wheeldon2021self,
title="{使用采特林机器的自定时强化学习}",
author={Adrian Wheeldon 和 Alex Yakovlev 以及 Rishad Shafik},
booktitle={第 27 届 IEEE 国际异步电路与系统研讨会(ASYNC 2021)},
year={2021},
organization={IEEE},
url={https://arxiv.org/abs/2109.00846}
}
@article{glimsdal2021coalesced,
title={具有子句共享的凝聚型多输出特什林机},
author={Sondre Glimsdal 和 Ole-Christoffer Granmo},
journal = {arXiv 预印本 arXiv:2108.07594}, year = {2021},
url = {https://arxiv.org/abs/2108.07594}
}
@article{Abeyrathna2021adaptivesparse,
title="{基于线性随机搜索的特什林机连续输入自适应稀疏表示}",
volume={10},
ISSN={2079-9292},
url={http://dx.doi.org/10.3390/electronics10172107},
DOI={10.3390/electronics10172107},
number={17},
journal={Electronics},
publisher={MDPI AG},
author={Abeyrathna, Kuruge Darshana、Granmo, Ole-Christoffer 和 Goodwin, Morten},
year={2021},
month={Aug},
pages={2107}}
@article{zhang2021convergence,
title = {关于特什林机对“恒等”与“非”运算符的收敛性},
author = {Zhang, Xuan、Jiao, Lei、Granmo, Ole-Christoffer 和 Goodwin, Morten},
year = {2021},
journal = {IEEE 模式分析与机器智能汇刊}
}
@InProceedings{abeyrathna2021parallel,
title="{支持近似常数时间扩展的超大规模并行异步特什林机架构}",
author={K. Darshana Abeyrathna、Bimal Bhattarai、Morten Goodwin、Saeed Gorji、Ole-Christoffer Granmo、Lei Jiao、Rupsa Saha 和 Rohan K. Yadav},
booktitle={第三十八届国际机器学习会议(ICML 2021)},
year={2021},
organization={ICML}
}
@article{sharma2021dropclause,
title="{人类可解释的人工智能:通过丢弃子句增强特什林机的随机性}",
author={Jivitesh Sharma、Rohan Yadav、Ole-Christoffer Granmo 和 Lei Jiao},
journal = {arXiv 预印本 arXiv:2105.14506}, year = {2021},
url = {https://arxiv.org/abs/2105.14506}
}
@article{bhattarai2021fakenews,
title="{用于假新闻检测且具备可信度评分评估的可解释特什林机框架}",
author={Bimal Bhattarai、Ole-Christoffer Granmo 和 Lei Jiao},
journal = {arXiv 预印本 arXiv:2105.09114}, year = {2021},
url = {https://arxiv.org/abs/2105.09114}
}
@article{bhattarai2021wordlevel,
title="{基于特什林机的新型文本检测用词级人类可解释评分机制}",
author={Bimal Bhattarai、Ole-Christoffer Granmo 和 Lei Jiao},
journal = {arXiv 预印本 arXiv:2105.04708}, year = {2021},
url = {https://arxiv.org/abs/2105.04708}
}
@article{lei2021kws,
title="{利用特什林机实现低功耗音频关键词检测}",
author={Jie Lei、Tousif Rahman、Rishad Shafik、Adrian Wheeldon、Alex Yakovlev、Ole-Christoffer Granmo、Fahim Kawsar 和 Akhil Mathur},
journal = {低功耗电子与应用期刊}, year = {2021},
volume=11,
issue=18,
url = {https://www.mdpi.com/2079-9268/11/2/18},
organization={MDPI}
}
@InProceedings{blakely2021closed,
title="{特什林机全局与局部解释的闭式表达式}",
author={Christian D. {Blakely} 和 Ole-Christoffer {Granmo}},
booktitle={第34届工业、工程及其他应用智能系统国际会议(IEA/AIE 2021)},
year={2021},
organization={Springer}
}
@InProceedings{gorji2021rl,
title="{基于特什林机的可解释强化学习}",
author={Saeed {Gorji}、Ole Christoffer {Granmo} 和 Marco {Wiering}},
booktitle={第34届工业、工程及其他应用智能系统国际会议(IEA/AIE 2021)},
year={2021},
organization={Springer}
}
@InProceedings{yadav2021sentiment,
title="{面向方面情感分析的人类水平可解释学习}",
author={Rohan Kumar {Yadav}、Lei {Jiao}、Ole-Christoffer {Granmo} 和 Morten {Goodwin}},
booktitle={第三十五届 AAAI 人工智能大会(AAAI-21)},
year={2021},
organization={AAAI}
}
@InProceedings{nicolae2021question,
title="{使用可解释特什林机进行问题分类}",
author={Dragos Constantin {Nicolae}},
booktitle={第一届机器推理国际研讨会(MRC 2021)},
year={2021}
}
@article{saha2021relational,
title="{一种用于自然语言理解的关联特什林机}",
author={Rupsa Saha、Ole-Christoffer Granmo、Vladimir I. Zadorozhny 和 Morten Goodwin},
journal = {arXiv 预印本 arXiv:2102.10952}, year = {2021},
url = {https://arxiv.org/abs/2102.10952}
}
@InProceedings{yadav2021wordsense,
title="{利用特什林机进行词义消歧的可解释性研究}",
author={Rohan Kumar {Yadav}、Lei {Jiao}、Ole-Christoffer {Granmo} 和 Morten {Goodwin}},
booktitle={第13届代理与人工智能国际会议(ICAART 2021)},
year={2021},
organization={INSTICC}
}
@InProceedings{bhattarai2021novelty,
title="{利用特什林机文本分类器的合取子句衡量自然语言文本的新颖性}",
author={Bimal Bhattarai、Lei Jiao 和 Ole-Christoffer Granmo},
booktitle={第13届代理与人工智能国际会议(ICAART 2021)},
year={2021},
organization={INSTICC}
}
@InProceedings{abeyrathna2021convreg,
title="{卷积回归特什林机}",
author={Abeyrathna, Kuruge Darshana、Granmo, Ole-Christoffer 和 Goodwin, Morten},
booktitle={第六届国际机器学习技术会议(ICMLT 2021)},
year={2021},
organization={ACM}
}
@article{abeyrathna2021integer,
author = {Abeyrathna, Kuruge Darshana、Granmo, Ole-Christoffer 和 Goodwin, Morten},
title = "{通过整数权重子句扩展特什林机以提高可解释性}",
journal = {IEEE Access},
volume = 9,
year = {2021}
}
@article{jiao2021xor,
title="{关于特什林机对 XOR 运算符的收敛性}",
author={Lei Jiao、Xuan Zhang、Ole-Christoffer Granmo 和 K. Darshana Abeyrathna},
journal = {arXiv 预印本 arXiv:2101.02547}, year = {2021},
url = {https://arxiv.org/abs/2101.02547}
}
@InProceedings{wheeldon2021low,
title="{用于边缘推理的低延迟异步逻辑设计}",
author={Adrian Wheeldon、Alex Yakovlev、Rishad Shafik 和 Jordan Morris},
booktitle={2021 年欧洲设计、自动化与测试会议(DATE21)},
year={2021},
pages="370-373"
}
@InProceedings{lei2020arithmetic,
title="{从算术到基于逻辑的人工智能:神经网络与特茨林机的比较分析}",
author={Jie {Lei} 和 Adrian {Wheeldon} 和 Rishad {Shafik} 和 Alex {Yakovlev} 和 Ole-Christoffer {Granmo}},
booktitle={第27届IEEE电子电路与系统国际会议(ICECS2020)},
year={2020},
organization={IEEE}
}
@InProceedings{abeyrathna2020auc,
title="{关于使用特茨林机获取分类置信度、排序预测及AUC}",
author={K. Darshana Abeyrathna 和 Ole-Christoffer Granmo 和 Morten Goodwin},
booktitle={2020年IEEE计算智能系列研讨会(SSCI)},
year={2020},
organization={IEEE}
}
@InProceedings{abeyrathna2020intrusion,
title="{利用特茨林机生成可解释规则进行入侵检测}",
author={K. Darshana Abeyrathna 和 Harsha S. Gardiyawasam Pussewalage 和 Sasanka N. Ranasinghea 和 Vladimir A. Oleshchuk 和 Ole-Christoffer Granmo},
booktitle={2020年IEEE计算智能系列研讨会(SSCI)},
year={2020},
organization={IEEE}
}
@InProceedings{abeyrathna2020adaptive,
title="{应用于菲律宾登革热发病率预测的特茨林机自适应连续特征二值化}",
author={K. Darshana Abeyrathna 和 Ole-Christoffer Granmo 和 Xuan Zhang 和 Morten Goodwin},
booktitle={2020年IEEE计算智能系列研讨会(SSCI)},
year={2020},
organization={IEEE}
}
@InProceedings{saha2020causal,
author = {Rupsa {Saha} 和 Ole-Christoffer {Granmo} 和 Morten {Goodwin}},
title = "{利用特茨林机挖掘用于情感和语义关系分析的可解释规则}",
booktitle="计算机科学讲义:第40届人工智能创新技术与应用国际会议(SGAI-2020)论文集", year="2020",
publisher="Springer International Publishing"
}
@InProceedings{abeyrathna2020deterministic,
title="{一种新颖的多步有限状态自动机,用于任意确定性特茨林机学习}",
author={K. Darshana Abeyrathna 和 Ole-Christoffer Granmo 和 Rishad Shafik 和 Alex Yakovlev 和 Adrian Wheeldon 和 Jie Lei 和 Morten Goodwin},
booktitle="计算机科学讲义:第40届人工智能创新技术与应用国际会议(SGAI-2020)论文集", year="2020",
publisher="Springer International Publishing"
}
@article{wheeldon2020learning,
author={Adrian {Wheeldon} 和 Rishad {Shafik} 和 Tousif {Rahman} 和 Jie {Lei} 和 Alex {Yakovlev} 和 Ole-Christoffer {Granmo}},
journal={英国皇家学会哲学事务A辑},
title="{基于学习自动机的物联网节能型人工智能硬件设计}",
year={2020}
}
@InProceedings{shafik2020explainability,
title="{基于学习自动机的人工智能硬件的可解释性与可靠性分析}",
author={Rishad {Shafik} 和 Adrian {Wheeldon} 和 Alex {Yakovlev}},
booktitle={IEEE第26届在线测试与鲁棒系统设计国际研讨会(IOLTS)},
year={2020},
organization={IEEE}
}
@article{lavrova2020,
author = {D. S. {Lavrova} 和 N. N. {Eliseev}},
title = "{基于特茨林机的网络攻击检测}",
pages = {17-23},
journal = {信息安全问题·计算机系统}, year = {2020}
}
@InProceedings{gorji2020indexing,
title="{通过子句索引提高特茨林机的推理与学习速度}",
author={Saeed {Gorji} 和 Ole Christoffer {Granmo} 和 Sondre {Glimsdal} 和 Jonathan {Edwards} 和 Morten {Goodwin}},
booktitle={第33届工业、工程及其他应用智能系统国际会议(IEA/AIE 2020)},
year={2020},
organization={Springer}
}
@InProceedings{abeyrathna2020integerregression,
title="{具有整数加权子句的回归特茨林机,用于紧凑的模式表示}",
author={Abeyrathna, Kuruge Darshana 和 Granmo, Ole-Christoffer 和 Goodwin, Morten},
booktitle={第33届工业、工程及其他应用智能系统国际会议(IEA/AIE 2020)},
year={2020},
organization={Springer}
}
@InProceedings{phoulady2020weighted,
author={Adrian {Phoulady} 和 Ole-Christoffer {Granmo} 和 Saeed Rahimi {Gorji} 和 Hady Ahmady {Phoulady}},
booktitle={第九届统计关系人工智能国际研讨会(StarAI 2020)论文集},
title="{加权特茨林机:基于子句加权的压缩表示}",
year={2020}
}
@InProceedings{wheeldon2020pervasive,
author={Adrian {Wheeldon} 和 Rishad {Shafik} 和 Alex {Yakovlev} 和 Jonathan {Edwards} 和 Ibrahim {Haddadi} 和 Ole-Christoffer {Granmo}},
booktitle={欧洲设计、自动化与测试大会(DATE 2020)中的SCONA研讨会},
title="{特茨林机:普适人工智能的新范式}",
year={2020}
}
@article{abeyrathna2020nonlinear,
author={K. Darshana {Abeyrathna} 和 Ole-Christoffer {Granmo} 和 Xuan {Zhang} 和 Lei {Jiao} 和 Morten {Goodwin}},
journal={英国皇家学会哲学事务A辑},
title="{回归特茨林机——一种新型可解释非线性回归方法}",
volume={378}, issue={2164},
year={2020}
}
@InProceedings{gorji2019multigranular,
author = {Saeed Rahimi {Gorji} 和 Ole-Christoffer {Granmo} 和 Adrian {Phoulady} 和 Morten {Goodwin}},
title = "{具有多粒度子句的特茨林机}",
booktitle="计算机科学讲义:第三十九届人工智能创新技术与应用国际会议(SGAI-2019)论文集", year="2019",
volume = {11927},
publisher="Springer International Publishing"
}
@article{berge2019text,
author={Geir Thore {Berge} 和 Ole-Christoffer {Granmo} 和 Tor Oddbjørn {Tveit} 和 Morten {Goodwin} 和 Lei {Jiao} 和 Bernt Viggo {Matheussen}},
journal={IEEE Access},
title="{利用特茨林机学习人类可解释规则,实现高精度文本分类并应用于医疗领域}",
volume={7},
pages={115134-115146},
year={2019},
doi={10.1109/ACCESS.2019.2935416},
ISSN={2169-3536}
}
@article{granmo2019convtsetlin,
author = {{Granmo}, Ole-Christoffer 和 {Glimsdal}, Sondre 和 {Jiao}, Lei 和 {Goodwin}, Morten 和 {Omlin}, Christian W. 和 {Berge}, Geir Thore},
title = "{卷积特茨林机}",
journal = {arXiv预印本 arXiv:1905.09688}, year = {2019},
url={https://arxiv.org/abs/1905.09688}
}
@InProceedings{abeyrathna2019regressiontsetlin,
author = {{阿贝拉特纳}, 库鲁格·达尔沙纳和{格兰莫}, 奥莱-克里斯托弗和{焦}, 雷和{古德温}, 莫滕},
title = "{回归型策特林机:一种用于连续输出问题的策特林机}",
editor="穆拉·奥利维拉, 保罗和诺瓦伊斯, 保罗和雷斯, 路易斯·保罗 ",
booktitle="人工智能进展", year="2019",
publisher="施普林格国际出版公司",
pages="268--280"
}
@InProceedings{abeyrathna2019continuousinput,
author = {{阿贝拉特纳}, 库鲁格·达尔沙纳和{格兰莫}, 奥莱-克里斯托弗和{张}, 玄和{古德温}, 莫滕},
title = "{一种适用于策特林机的连续输入方案及其在疾病暴发预测中的应用}",
booktitle = "{人工智能的进展与趋势:从理论到实践}", year = "2019",
editor = "沃塔瓦, 弗朗茨和弗里德里希, 格哈德和皮尔, 英戈和科伊茨-赫里斯托夫, 罗克珊和阿里, 穆尼斯",
publisher = "施普林格国际出版公司",
pages = "564--578"
}
@article{granmo2018tsetlin,
author = {{格兰莫}, 奥莱-克里斯托弗},
title = "{策特林机——一种基于博弈论多臂老虎机的、以命题逻辑为基础的最优模式识别方法}",
journal = {arXiv预印本 arXiv:1804.01508}, year = {2018},
url={https://arxiv.org/abs/1804.01508}
}
许可证
版权所有 (c) 2025 奥莱-克里斯托弗·格兰莫及阿格德大学
特此授予任何人免费获取本软件及相关文档文件(以下简称“软件”)副本的权利,允许其以任何方式处理该软件,包括但不限于使用、复制、修改、合并、发布、分发、再许可和出售软件副本等行为。但须遵守以下条件:
上述版权声明及本许可声明应包含在软件的所有副本或重要部分中。
“软件”按“原样”提供,不提供任何形式的明示或暗示担保,包括但不限于适销性、特定用途适用性和非侵权性。在任何情况下,作者或版权所有者均不对因使用本软件而产生的任何索赔、损害或其他责任负责,无论此类责任是基于合同、侵权行为或其他原因,亦不论其是否与本软件的使用或与其他方面的交易有关。
常见问题
相似工具推荐
openclaw
OpenClaw 是一款专为个人打造的本地化 AI 助手,旨在让你在自己的设备上拥有完全可控的智能伙伴。它打破了传统 AI 助手局限于特定网页或应用的束缚,能够直接接入你日常使用的各类通讯渠道,包括微信、WhatsApp、Telegram、Discord、iMessage 等数十种平台。无论你在哪个聊天软件中发送消息,OpenClaw 都能即时响应,甚至支持在 macOS、iOS 和 Android 设备上进行语音交互,并提供实时的画布渲染功能供你操控。 这款工具主要解决了用户对数据隐私、响应速度以及“始终在线”体验的需求。通过将 AI 部署在本地,用户无需依赖云端服务即可享受快速、私密的智能辅助,真正实现了“你的数据,你做主”。其独特的技术亮点在于强大的网关架构,将控制平面与核心助手分离,确保跨平台通信的流畅性与扩展性。 OpenClaw 非常适合希望构建个性化工作流的技术爱好者、开发者,以及注重隐私保护且不愿被单一生态绑定的普通用户。只要具备基础的终端操作能力(支持 macOS、Linux 及 Windows WSL2),即可通过简单的命令行引导完成部署。如果你渴望拥有一个懂你
stable-diffusion-webui
stable-diffusion-webui 是一个基于 Gradio 构建的网页版操作界面,旨在让用户能够轻松地在本地运行和使用强大的 Stable Diffusion 图像生成模型。它解决了原始模型依赖命令行、操作门槛高且功能分散的痛点,将复杂的 AI 绘图流程整合进一个直观易用的图形化平台。 无论是希望快速上手的普通创作者、需要精细控制画面细节的设计师,还是想要深入探索模型潜力的开发者与研究人员,都能从中获益。其核心亮点在于极高的功能丰富度:不仅支持文生图、图生图、局部重绘(Inpainting)和外绘(Outpainting)等基础模式,还独创了注意力机制调整、提示词矩阵、负向提示词以及“高清修复”等高级功能。此外,它内置了 GFPGAN 和 CodeFormer 等人脸修复工具,支持多种神经网络放大算法,并允许用户通过插件系统无限扩展能力。即使是显存有限的设备,stable-diffusion-webui 也提供了相应的优化选项,让高质量的 AI 艺术创作变得触手可及。
everything-claude-code
everything-claude-code 是一套专为 AI 编程助手(如 Claude Code、Codex、Cursor 等)打造的高性能优化系统。它不仅仅是一组配置文件,而是一个经过长期实战打磨的完整框架,旨在解决 AI 代理在实际开发中面临的效率低下、记忆丢失、安全隐患及缺乏持续学习能力等核心痛点。 通过引入技能模块化、直觉增强、记忆持久化机制以及内置的安全扫描功能,everything-claude-code 能显著提升 AI 在复杂任务中的表现,帮助开发者构建更稳定、更智能的生产级 AI 代理。其独特的“研究优先”开发理念和针对 Token 消耗的优化策略,使得模型响应更快、成本更低,同时有效防御潜在的攻击向量。 这套工具特别适合软件开发者、AI 研究人员以及希望深度定制 AI 工作流的技术团队使用。无论您是在构建大型代码库,还是需要 AI 协助进行安全审计与自动化测试,everything-claude-code 都能提供强大的底层支持。作为一个曾荣获 Anthropic 黑客大奖的开源项目,它融合了多语言支持与丰富的实战钩子(hooks),让 AI 真正成长为懂上
ComfyUI
ComfyUI 是一款功能强大且高度模块化的视觉 AI 引擎,专为设计和执行复杂的 Stable Diffusion 图像生成流程而打造。它摒弃了传统的代码编写模式,采用直观的节点式流程图界面,让用户通过连接不同的功能模块即可构建个性化的生成管线。 这一设计巧妙解决了高级 AI 绘图工作流配置复杂、灵活性不足的痛点。用户无需具备编程背景,也能自由组合模型、调整参数并实时预览效果,轻松实现从基础文生图到多步骤高清修复等各类复杂任务。ComfyUI 拥有极佳的兼容性,不仅支持 Windows、macOS 和 Linux 全平台,还广泛适配 NVIDIA、AMD、Intel 及苹果 Silicon 等多种硬件架构,并率先支持 SDXL、Flux、SD3 等前沿模型。 无论是希望深入探索算法潜力的研究人员和开发者,还是追求极致创作自由度的设计师与资深 AI 绘画爱好者,ComfyUI 都能提供强大的支持。其独特的模块化架构允许社区不断扩展新功能,使其成为当前最灵活、生态最丰富的开源扩散模型工具之一,帮助用户将创意高效转化为现实。
gemini-cli
gemini-cli 是一款由谷歌推出的开源 AI 命令行工具,它将强大的 Gemini 大模型能力直接集成到用户的终端环境中。对于习惯在命令行工作的开发者而言,它提供了一条从输入提示词到获取模型响应的最短路径,无需切换窗口即可享受智能辅助。 这款工具主要解决了开发过程中频繁上下文切换的痛点,让用户能在熟悉的终端界面内直接完成代码理解、生成、调试以及自动化运维任务。无论是查询大型代码库、根据草图生成应用,还是执行复杂的 Git 操作,gemini-cli 都能通过自然语言指令高效处理。 它特别适合广大软件工程师、DevOps 人员及技术研究人员使用。其核心亮点包括支持高达 100 万 token 的超长上下文窗口,具备出色的逻辑推理能力;内置 Google 搜索、文件操作及 Shell 命令执行等实用工具;更独特的是,它支持 MCP(模型上下文协议),允许用户灵活扩展自定义集成,连接如图像生成等外部能力。此外,个人谷歌账号即可享受免费的额度支持,且项目基于 Apache 2.0 协议完全开源,是提升终端工作效率的理想助手。
markitdown
MarkItDown 是一款由微软 AutoGen 团队打造的轻量级 Python 工具,专为将各类文件高效转换为 Markdown 格式而设计。它支持 PDF、Word、Excel、PPT、图片(含 OCR)、音频(含语音转录)、HTML 乃至 YouTube 链接等多种格式的解析,能够精准提取文档中的标题、列表、表格和链接等关键结构信息。 在人工智能应用日益普及的今天,大语言模型(LLM)虽擅长处理文本,却难以直接读取复杂的二进制办公文档。MarkItDown 恰好解决了这一痛点,它将非结构化或半结构化的文件转化为模型“原生理解”且 Token 效率极高的 Markdown 格式,成为连接本地文件与 AI 分析 pipeline 的理想桥梁。此外,它还提供了 MCP(模型上下文协议)服务器,可无缝集成到 Claude Desktop 等 LLM 应用中。 这款工具特别适合开发者、数据科学家及 AI 研究人员使用,尤其是那些需要构建文档检索增强生成(RAG)系统、进行批量文本分析或希望让 AI 助手直接“阅读”本地文件的用户。虽然生成的内容也具备一定可读性,但其核心优势在于为机器