德国社会学家马克斯·韦伯曾经说过：“现代司法，应当像一台自动售货机，投进去的是诉状和诉讼费，吐出来的是判决和从法典上抄下来的理由。”这是关于司法人工智能的经典预言，同时也是关于法律检索的经典预判。
小编是一名法律工作者，几乎每天都需要进行法律检索操作。然而，对法律检的基本知识和操作规则的了解却知之甚少，直到春节期间闭关在家观看了一个网络培训视频，加上通过互联网检索学习，这个问题才得以基本解决。现将学习心得，归纳为本文。
一、法律检索平台
法院使用平台：中国裁判文书网；法信；北大法宝等。
律师使用平台：威科先行；无讼；聚法案例；alpha等。
二、检索基础理论
1.基础理论：乔治·布尔的逻辑检索法。
2.逻辑运算：逻辑与；逻辑或；逻辑非。
三、互联网检索
1.百度与谷哥的检索规则。
百度及Google的逻辑表达方式与操作符号
语法
功能
表达式
百度
操作符
说明
逻
辑
与
用于同时搜索包括两个以上关键词的情形
AB
+
空格
+必须是英文半角输入
&
&必须是英文半角输入
或
表示至少包含一个指定关键词的搜索
A|B
OR
|
OR与A、B之间没有空格的要求，但OR要大写
|与A、B之间要留有空格
非
表示排除某一指定关键词的搜索
A-B
-
-与A之间要留有空格，而与B之间不能有空格
同Google
2.法信的检索规则。
法信检索的逻辑表达方式与操作符号
and的关系
A和B两个关键词必须同时都出现在检索结果中
and
AandB
or的关系
A和B两个关键词，有一个或两个出现在检索结果中
or
AorB
not
AnotB
not的关系
检索结果只有A而不出现B
“”
“AB”
双引号检索
检索出与“AB”内形式完全相同的结果，即精确检索
()
(AB)
括号检索
检索时括号内的内容做优先运算，表示优先级，用于改变运算的先后次序
四、法律检索的端口
检索平台提供的检索端口，一般都有两部分：一是普通检索；二高级检索。一般而言，普通检索针对的是不知道检索目标对象的情况，而高级检索针对的是知道检索目标对象的情况。
1.普通检索。直接在检索框里输入关键词，选择简单的检索条件，甚至连检索条件都不用管它，点击“确定”或回车，就可检索了。
2.高级检索。在输框旁力点击高级检索按钮后，会弹出众多的检索条件输入选择框，然后在这些检索框中填入或选择检索条件进行检索。
五、法律检索的公式
检索公式的表达形式
检索公式=【检索条件+检索方式】+【检索词】
关于检索的公式说明
（一）检索条件：包括被检索的文件、被检索的位置两部分。
1.被检索的文件：判决或者裁定，一审或者二审等；
2.被检索的位置：全文或者标题，事实部分或者说理部分等。
（二）检索方式：有模糊检索与精确检索两种方式。
1.模糊检索：相当于普通检索。
2.精确检索：即能反映检索词的位置关系，包括同句、同段、间隔字符等检索。