Books.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.
Synopsis
The Knowledge Acquisition and Representation Language KARL is a formal and operational specification language for knowledge-based systems and second-generation expert systems. KARL provides language primitives to represent knowledge according to the layers of a KADS-oriented model of expertise. The main features of KARL are: it provides epistemologically adequate modelling primitives that allow knowledge specifications at the knowledge level. Therefore, KARL allows a smooth transition from informal to formal specifications. KARL is a formal knowledge specification language. That is, it has a declarative semantics. KARL is an operational knowledge specification language that allows prototyping, i.e. knowledge evaluation by testing.
Booknews
Presents a formal and operational specification language for knowledge-based systems, providing language primitives to represent knowledge according to the layers of a KADS-oriented model of expertise. KARL provides epistemologically adequate modelling primitives allowing knowledge specifications at the knowledge level, has the declarative semantics of a formal language, and allows prototyping. Based on a 1993 doctoral dissertation for the University of Kalrsruhe. Annotation c. Book News, Inc., Portland, OR (booknews.com)