Interlingua:Deep Shared Semantics at Core
Desire: deep semantics (model-theoretic) to
- understand and execute imported rules.
Possible only for shared expressive subsets: “cores”.
- Rest translated with superficial semantics.
Desideratum: declarativeness of core / rep’n (in sense of knowledge representation theory).
- Maximize overall advantages of rules:
- Non-programmers understand & modify.
- Dynamically (run-time) modify.