24.11.2014 Views

flex Expert System Toolkit - LPIS

flex Expert System Toolkit - LPIS

flex Expert System Toolkit - LPIS

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

7. Knowledge Specification Language 64<br />

KSL Objects<br />

Variants<br />

<strong>flex</strong> toolkit<br />

This section describes the actual objects of KSL (i.e. constructs which<br />

correspond to entities in your particular domain). They range from variants<br />

which can change in value through time (by assignment) to set abstractions<br />

which portray a collection of objects.<br />

A variant can change in value over time (i.e. like a variable). There are<br />

essentially two forms of variant: a straightforward global variable, or a slot.<br />

Both of these have values associated with them.<br />

A global variable is any name whatsoever, optionally be prefixed by the<br />

determiner the.<br />

Examples<br />

staff<br />

the staff<br />

'today''s temperature'<br />

A simple slot is specified by the name of an attribute and the name of the<br />

frame (or frame instance) to which the attribute belongs, using the KSL<br />

keyword of or the operator `s. (Note the use of the backwards quote<br />

character `.) The attribute or frame may be optionally prefixed by the<br />

determiner the. The general formats of slots are as follows.<br />

frame`s attribute<br />

attribute of frame<br />

the attribute of the frame<br />

Examples<br />

Variant Schema<br />

size of the collar<br />

the collar`s size<br />

the colour of money<br />

money`s colour<br />

The variant schema is a generalisation of slots by which the name of the<br />

frame is only indirectly referred to. That is, the variant is a specific attribute<br />

of some under-specified frame, rather than any particular frame.<br />

The first kind of variant schema does not mention any particular frame at<br />

all. These are don't care constructs, in which the name of the frame is<br />

irrelevant, only that one exists. The general format is as follows.<br />

attribute of anything<br />

attribute of something

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!