First page
Back
Continue
Last page
Graphics
However…
-
Even this model does not completely work
-
The gap between production rules and “traditional” logic
systems seems to be large
-
A hierarchy of cores is necessary:
-
- a Basic Logic Dialect and Production Rule Dialect
as “cores” for families of languages
- a common RIF Core binding these two