𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Structure-preserving specification languages for knowledge-based systems

✍ Scribed by Frank van Harmelen; Manfred Aben

Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
388 KB
Volume
44
Category
Article
ISSN
1071-5819

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Task structures as a basis for modeling
Task structures as a basis for modeling knowledge-based systems
✍ Jonathan Lee πŸ“‚ Article πŸ“… 1997 πŸ› John Wiley and Sons 🌐 English βš– 171 KB

Recently, there has been an increasing interest in improving the reliability and quality of AI systems. As a result, a number of approaches to knowledge-based systems modeling have been proposed. However, these approaches are limited in formally verifying the intended functionality and behavior of a

A system architecture for knowledge-base
A system architecture for knowledge-based hypermedia
✍ ANNELI EDMAN; ANDREAS HAMFELT πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 292 KB

Hypermedia systems and knowledge systems can be viewed as #ip-sides of the same coin. The former are designed to convey information and the latter to solve problems; developments beyond the basic techniques of each system type requires techniques from the other type. In this paper, we introduce the

Evaluation of verification tools for kno
Evaluation of verification tools for knowledge-based systems
✍ ALUN D. PREECE; STΓ‰PHANE TALBOT; LAURENCE VIGNOLLET πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 330 KB

Validation has emerged as a significant problem in the development of knowledgebased systems (KBS). Verification of KBS correctness and completeness has been cited as one of the most difficult aspects of validation. A number of software tools have been developed to perform such verification, but non

Approximate knowledge modeling and class
Approximate knowledge modeling and classification in a frame-based language: The system CAIN
✍ Colette Faucher πŸ“‚ Article πŸ“… 2001 πŸ› John Wiley and Sons 🌐 English βš– 238 KB

In this article, we present an extension of the frame-based language Objlogq , called Ε½ CAIN, which allows the homogeneous representation of approximate knowledge fuzzy, . uncertain, and default knowledge by means of new facets. We developed elements to manage approximate knowledge: fuzzy operators,

A requirement specification language for
A requirement specification language for configuration dynamics of multiagent systems
✍ Mehdi Dastani; Catholijn M. Jonker; Jan Treur πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 193 KB

In agent-mediated applications, the system configuration can change because of the creation and the deletion of agents. The behavior of such systems on the one hand depends on the dynamics of the system configuration; on the other hand, behavior of such a system consists of the information dynamics