|
|
|
Why use logic? |
|
CycL Syntax |
|
Collections and Individuals (#$isa and #$genls) |
|
Microtheories |
|
|
|
|
NL: |
|
Jim’s injury resulted from his falling. |
|
Jim’s falling caused his injury. |
|
Jim’s injury was a consequence of his falling. |
|
Jim’s falling occurred before his injury. |
|
|
|
|
|
|
|
|
|
Logic |
|
Mode-independent |
|
KR and Indexing are independent |
|
Implicit knowledge is preserved in the KB |
|
|
|
|
|
|
|
|
|
Why use logic? |
|
Expressiveness |
|
Precision |
|
Meaning |
|
Use-neutral representation |
|
Indexing and KR |
|
Implicit knowledge |
|
|
|
|
|
Notes