Current Slide
Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
Description of Problem-Solving Methods
- Several proof obligations follow the conceptual model of such a specification of a knowledge-based system:
- PO-i : the consistency of the task definition to ensure that a model exists, otherwise one could define an unsolvable problem;
- PO-ii : that the operational specification of the PSM describes a terminating process which has the competence as specified;
- PO-iii : the internal consistency of the domain knowledge and domain model, also that the assumptions on domain knowledge implies its meta-level characterisation;
-
PO-iv
: relationships between the specification elements –
- the requirements of the adapter imply the knowledge requirements of the PSM and task,
- the adapter’s additional requirements on domain knowledge and assumption guarantee that the competence of the PSM is strong enough for task,
- The requirements of the adapter are implied by the meta knowledge of the domain model.
Speaker notes:
Content Tools
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Quality
Sources
There are currently no sources for this slide.