[Agent 考古] 600 条规则，一个反向推理引擎——专家系统的顶峰是怎么建成又怎么暴露边界的
MYCIN 首次在高风险医学领域证明了符号规则系统的实用价值，其完全可追溯的推理链至今仍是可解释性 …
编程算法
算法学习笔记、项目开发日志与代码片段。
-
-
[Agent 考古] 秘书要求他离开房间——一个程序为什么让人想跟它说心里话
ELIZA 1966 是”目标驱动的符号单体”这一第一组织形式的退化形态。它用零推理、零知识、零目标…
-
[Agent 考古] 像冰箱一样大的家伙，是怎么学会推箱子的
STRIPS 如何把 Logic Theorist 的状态空间搜索和 McCarthy 的”陈述句告…
-
[Agent 考古] 陈述句革命：告诉AI事实，让它自己想该做什么
McCarthy 在《Programs with Common Sense》中提出不要用祈使句（命令…
-
[Agent 考古] 1956 年圣诞，三个男人发明了一台会”思考”的机器——但没人在乎
Logic Theorist 证明了”机器能推理”，LLM 证明了”机器能语言”，现代 Agent …
-
[Agent 考古] 符号单体时代：范式最深刻的否定者，恰恰在范式内部孕育(阶段二导航)
Minsky 1986《心智社会》否定单体结构，Brooks 1986 subsumption 否定…
-
[Agent 考古] 符号单体时代：第一组织形式的确立与反叛(阶段二导航)
1956-1976，AI 的第一个范式:目标驱动的符号单体(一个拥有显式世界模型、通过逻辑推理达成目…
-
[Agent 考古] AI 组织形式的七次重分配(总领导航)
“Agent”这个词的含义至少经历了七次实质性的变迁。每一次变迁都不只是术语的翻新，而是控制流所有权…
-
个人博客“安全运维”：实用指北
顺便整理了自己的日常“安全运维”过程。 主要包括：如何判断新漏洞尝试关我的事情嘛？我如何处理WAF和…
-
是人也看不清的动态验证码生成与破解
尝试玩一种很新的验证码，以为谁也破解不了的。以为能注册个专利走上人生巅峰的，结果第二天就。。。。。。…