AI 操作运行时
每家公司都有
再也没人看得懂的软件。
Perslis 来解决这个问题。它理解、映射、连接并运行你现有的软件系统。 它自己的符号模型与混合模型把实测状态转化为明确决策,再可靠地操作你的系统, 无需重建任何东西。
macOS(通用)· Linux(x86_64 / aarch64)· 校验和验证 · 无需运行时环境
无需替换仍在运转的系统,也能升级基础设施。
Perslis 映射现有软件、数据与工作流的真实运行方式,再把它们连接到团队已经使用的企业平台——无需冒险重写,也无需耗时数年的迁移项目。
理解、映射、连接、持续运行。
团队日常完成工作的地方
观看 Perslis 在一次真实运行中打通代码、Windows 95 与 DOS。
这不是概念动画。这个 15 秒录屏展示同一个运行时如何协调源代码、Windows 95 虚拟机与 DOS 执行,并让证据始终清晰可见。
我们的模型负责推理。我们的运行时让推理投入运行。
Perslis 构建自己的符号模型与混合模型。它们学习明确规则、维护可观察状态, 并生成携带证据的决策。Perslis 运行时为这些模型提供记忆、工具、感知、执行与经过验证的操作闭环。
运行时负责操作
它规划、执行、检查权限、从失败中恢复,并记录实际发生的事情——不会把控制权交给一个靠猜测的模型。
你的世界本来就有规则。Perslis 让规则投入运行。
每个组织都是由实体、关系、状态、规则与权限组成的系统。Perslis 把这些结构映射成 一个可以检查、推理和操作的活符号模型。领域会变化,架构不变。软件、科学、沟通、 机器人与国防都会成为明确系统,而不是黑箱。
医疗健康
明确表示患者、证据、临床规则、权限与工作流——只有所需事实和权限齐备时才执行。
保险
把保单、理赔、除外责任、证据与审批变成可读的关系和规则,让每个结果都能解释。
金融
把总账、控制、义务、批处理任务和大型机状态映射成符号系统,在资金移动前完成验证。
物理自主
在本地建模房间、物体、路线、危险、目标与权限,让机器无需把控制权交给隐藏权重也能导航和适应。
一门遗留语言,变成正在运行、可以操作的系统。
COBOL Racer 把批处理时代的语言变成可玩的终端赛车,证明同一个运行时能够编译、启动并操作非传统软件。
你不写代码。你指挥模型——由它执行。
用大白话描述你想要的结果。你来指挥;模型在 Perslis 的身体里执行—— 它规划、调研系统实际如何运作、分析各种方案、决策代码是否正确,然后构建、测试、部署, 并把它连接到你的现代 API。你做决定;运行时干活并给出证明。 把遗留系统连接到现代 API 应用,正是重点所在。
$ perslis "让每晚的 ETL 作业与新数据仓库对接,并证明行数一致"
规划
把你想要的结果转化为具体、有序的方案。
调研
映射系统、读取依赖,理解它的行为方式。
分析
结合真实项目权衡方案、风险与契合度。
决策
判断代码是否正确——验证优先。
构建
针对真实系统做出改动。
测试
运行它并证明结果——经过检验,而非假设。
部署
交付经过验证的结果,并保持其运转。
连接
把遗留系统接到现代 API 应用——从旧软件通往你新技术栈的桥梁。
没有两个 Perslis 是一样的。
你用 Perslis 越多,它就越适应你的系统、标准、偏好与个性。
持久记忆
Perslis 会跨会话记住你的决策与惯例。
自我进化
它会调整规划、选路与验证的方式——专门针对你的工作变得更好。
塑造出的个性
语气、默认设置与判断阈值都会适应你的工作方式。
Perslis 在决策点采用符号推理。
Perslis 模型通过明确规则、事实、空间状态和决策必须满足的证明进行推理。混合模型可在适合的环节使用神经感知,但符号权限决定什么可以执行。
规则与事实
符号化的不变量与约束让决策成为可检验的逻辑,而不是凭感觉。
有据可依的裁决
决策以证据与证明为支撑,而不是模型的一句断言。
在适合处采用混合架构
神经感知可以提出观察;Perslis 符号模型验证关键决策。
你的研究,永不离开你的电脑。
Perslis 符号模型与运行时默认在本地执行——你的数据、规则、发现和推理都留在自己的机器上。云服务只是可选集成,永远不是权限来源。一切由你掌控。
本地 Perslis 模型
符号推理与规则执行在你自己的硬件上运行,不需要云端模型来回答问题。
绝不拿你的数据训练
没有任何东西离开你的设备去训练任何模型,永远不会。你的研究与发现不是别人的训练集。
一切由你掌控
可选的外部服务永远不会获得权限。Perslis 的规则、记录与决策留在你的磁盘上,断网照样工作。
那款 30 年前、至今仍在支撑业务的 Windows 应用。
把一个遗留二进制文件交给 Perslis——.exe、.com、DOS 或 Win32,
16 位或 32 位。它在现代 Mac 上原生运行——无需 Windows、无需 Wine、无需
模拟器——并在周围一切变化时持续运转。
检查、注入并验证一个 Windows 时代的目标。
终端证据与虚拟机状态并排保持可见,让操作人员能够看到发生了什么变化,以及目标是否真的运行成功。
模型与运行时共同构成决策操作系统。
Perslis 同时开发推理模型与操作运行时。符号模型掌握权限;混合组件可以扩展感知, 但不会把执行变成黑箱。
今天就开始绘制你的系统全貌。
把 Perslis 指向一个系统,看它构建完整地图——依赖关系、运行窗口、工作流程, 以及你现有技术栈的整体形态。一行命令即可开始。
Win95 USB Lab:从 USB 假设到可验证结果
我们为什么构建它、调查发现了什么,以及在宣称支持之前还需完成什么。包含完整白皮书、20 项宿主机检查记录和后续 VM/实机测试计划。
VM 与实机验证待进行. 预览版提供测试工具;兼容驱动需单独准备。
Jira Monkey:每张工单都值得再次复核
导入 Jira 工单,由本地 Perslis 模型初审,依据明确路由规则处理,再经过验证复核返回队列或人工审核。
失败优先模型:失败变成结构。
我们的第一个模型 Peel 只从自己真正经历过的失败中学习。每一次失败都会变成一条引用其证据的规则,而且没有任何规则能扩大模型被允许做的事。已在雅达利 2600 游戏、《DOOM》、《辐射》和一条仿真无人机航线上测量。这是研究原型,不是经过认证的安全系统。
白皮书、Windows USB 与 Liberate。
阅读完整论文、查看实验记录,并了解各个工具为何构建、如何使用。Perslis 文库汇集 USB Lab、Perslis 与 COBOL 论文,以及 Jira Monkey 和 Liberate 的公开项目页面。