理学 【基本概念】 释 horn clause 霍恩子句 一种至多只含有一个正文字的短句。
Horn clause 霍恩子句
人工智能 自动推理 释文 Horn clause 霍恩子句
- logical incrementalism
- logical inequality
- logical inference
- logical input/output device
- logical input/output device, logical I/O device
- logical instruction
- logical instrumentalism
- logical integral control law
- Logical Investigations
- logical I/O device
- logical language
- logical law
- logical link control
- logical link control and adaptation protocol
- logical link control and adaptation protocol, L2CAP
- logical link control, LLC
- logically compatible
- logically equivalent
- logically false proposition
- logically-isolated network
- logically true formula
- logically true proposition
- logically valid formula
- logical matrix
- logical model