The Formal Semantics of KARL
This chapter defines the semantics of KARL. For this purpose, we define the semantics of LOGICAL-KARL (L-KARL) and PROCEDURAL-KARL (P-KARL). Then, a formal semantics for a domain layer, an inference layer, and a task layer is defined. The task layer defines the semantics of an entire KARL model of expertise by combining the semantics of L-KARL and P-KARL.
KeywordsFormal Semantic Predicate Symbol Variable Assignment Semantical Structure Horn Clause
Unable to display preview. Download preview PDF.