|
|
|
Why use logic? |
|
CycL Syntax |
|
Collections and Individuals (#$isa and #$genls) |
|
Microtheories |
|
|
|
|
|
Think of a microtheory (mt) as a set of
assertions. |
|
|
|
Each microtheory bundles assertions based on |
|
a shared set of assumptions on which the truth
of the assertions depends, or |
|
a shared topic (world geography, brain tumors,
pro football), or |
|
a shared source: (CIA World Fact Book 1997,
FM101-5, USA Today) |
|
|
|
|
|
The assertions within a microtheory must be mutually
consistent |
|
no monotonic contradictions allowed within a
single microtheory |
|
|
|
Assertions in different microtheories may be inconsistent |
|
|
|
|
Every assertion falls within at least one
microtheory |
|
|
|
Currently, every microtheory is a reified
(named) term, such as #$HumanActivitiesMt or #$OrganizationMt |
|
|
|
Mts are one way of indexing all the assertions
in Cyc |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
What is a microtheory? |
|
Why have microtheories? |
|
Some types of microtheories |
|
Microtheory predicates |
|
Finding the right microtheory |
|
|
|
|
|
Notes