NAL-1: The Core Logic

• Term-oriented language
• Experience-grounded semantics
• Syllogistic rules

1. An inheritance logic

A non-empty and finite set of statements in IL-1, K, can be treated as the experience for a system using the logic.

The single inference rule of IL-1 corresponds to the transitivity of inheritance. The transitive closure of K is the system's knowledge, K*.

2. Evidence in NAL-1

Evidence is (input or derived) information that has impact on the truth-value of a statement in an inconclusive manner, while proof decides the truth-value a statement in a conclusive manner. Evidence can be positive or negative, or a mixture of them. Evidence comes to the system one piece at a time.

Use language “IL” to define the evidence of language “NAL”

4. Revision and choice