ResearchIndex: Structure-preserving specification languages for knowledge-based systems
Edit Page
Report
Scan day: 07 February 2014 UTC
22
Virus safety - good
Description: Much work on validation and verification of knowledge based systems (KBSs) has been done in implementation languages, mostly rule based. Recent papers suggest it is useful to do validation and verification in a more abstract and formal specification of the system.
CiteSeerX — Structure-Preserving Specification Languages for Knowledge-Based Systems Structure-Preserving Specification Languages for Knowledge-Based Systems (1996) Other Repositories/Bibliography by Frank Van Harmelen , Manfred Aben
Size: 235 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | CiteSeerX — Structure-Preserving Specification Languages for Knowledge-Based Systems |
| Keywords: | CiteSeerX, Frank Van Harmelen, Manfred Aben |
| Description: | CiteSeerX - Document Details (Isaac Councill, Lee Giles, Pradeep Teregowda): Much of the work on validation and verification of knowledge based systems (KBSs) has been done in terms of implementation languages (mostly rule-based languages). Recent papers have argued that it is advantageous to do validation and verification in terms of a more abstract and formal specification of the system. However, constructing such formal specifications is a difficult task. This paper proposes the use of formal specification languages for KBS-development that are closely based on the structure of informal knowledge-models. The use of such formal languages has as advantages that (i) we can give strong support for the construction of a formal specification, namely on the basis of the informal description of the system; and (ii) we can use the structural correspondence to verify that the formal specification does indeed capture the informally stated requirements. This paper has been submitted to the Journal of Human Computer Studies (formerly the Journal of Man Machine Studies).... |
| IP-address: | 130.203.136.95 |
WHOIS Info
| NS | Name Servers: NS1.PSU.EDU 128.118.25.6 NS2.PSU.EDU 128.118.70.6 |
| WHOIS | |
| Date | activated: 14-Jul-1986 last updated: 22-May-2013 expires: 31-Jul-2014 |