Validation of Intelligence in Large Rule-Based Systems with Common Sense. Model-Based Validation
Abstract The following describes work in progress on a testing system for a large common sense knowledge base. How this testing system is relevant to the requirements of validation of intelligence is described. Four kinds of validation tests are explained: challenge tests, regression tests, knowledg...
Main Author: | |
---|---|
Other Authors: | |
Format: | Text |
Language: | English |
Published: |
2001
|
Subjects: | |
Online Access: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1077.5793 http://www.aaai.org/Papers/Symposia/Spring/2001/SS-01-04/SS01-04-009.pdf |
id |
ftciteseerx:oai:CiteSeerX.psu:10.1.1.1077.5793 |
---|---|
record_format |
openpolar |
spelling |
ftciteseerx:oai:CiteSeerX.psu:10.1.1.1077.5793 2023-05-15T17:36:26+02:00 Validation of Intelligence in Large Rule-Based Systems with Common Sense. Model-Based Validation William Jarrold The Pennsylvania State University CiteSeerX Archives 2001 application/pdf http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1077.5793 http://www.aaai.org/Papers/Symposia/Spring/2001/SS-01-04/SS01-04-009.pdf en eng http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1077.5793 http://www.aaai.org/Papers/Symposia/Spring/2001/SS-01-04/SS01-04-009.pdf Metadata may be used without restrictions as long as the oai identifier remains attached to it. http://www.aaai.org/Papers/Symposia/Spring/2001/SS-01-04/SS01-04-009.pdf text 2001 ftciteseerx 2020-05-03T00:16:36Z Abstract The following describes work in progress on a testing system for a large common sense knowledge base. How this testing system is relevant to the requirements of validation of intelligence is described. Four kinds of validation tests are explained: challenge tests, regression tests, knowledge base integrity tests, and ruminationbased tests. The ontology of these tests and its accompanying software package is intended for use with Cyc, a large rule based system with common sense and natural language capabilities. Part I: Commonsense, Large Rule-Based Systems and Validation This work starts with the postulate that for at least some application domains, an approach to validation that is less rigorous than traditional formal software verification techniques is appropriate. Cyc, I shall argue, is in such a domain. Cyc is a large rule-based system being constructed at Cycorp (www.cyc.com). At current count Cyc contains over 1.2 million assertions which relate more than 100,000 concepts to each other. Each such assertion is expressed in the representation language of Cyc, called CycL, a variant of first order predicate calculus with enhancements (see http://www.cyc.com/cycl.html for details). Intelligence Validation for Commonsense Systems In order to verify or validate a software system, one needs as complete and precise a specification of system requirements as possible. The more stringent the verification desired, the more precise the requirement specification needs to be. Such completeness and precision is problematic if one's application domain is commonsense reasoning. As the following use cases indicate, commonsense reasoning requirements involve inherent vagueness or ambiguity. Yet, precisely what concept is referred to by the English word "France" in (a)? For example, does "France" denote (1) a body of land bordering on Spain, the North Atlantic and the Mediterranean, (2) an amalgam of regional lifestyles, culinary practices, artistic traditions etc or (3) the people who are citizens of France? In ... Text North Atlantic Unknown |
institution |
Open Polar |
collection |
Unknown |
op_collection_id |
ftciteseerx |
language |
English |
description |
Abstract The following describes work in progress on a testing system for a large common sense knowledge base. How this testing system is relevant to the requirements of validation of intelligence is described. Four kinds of validation tests are explained: challenge tests, regression tests, knowledge base integrity tests, and ruminationbased tests. The ontology of these tests and its accompanying software package is intended for use with Cyc, a large rule based system with common sense and natural language capabilities. Part I: Commonsense, Large Rule-Based Systems and Validation This work starts with the postulate that for at least some application domains, an approach to validation that is less rigorous than traditional formal software verification techniques is appropriate. Cyc, I shall argue, is in such a domain. Cyc is a large rule-based system being constructed at Cycorp (www.cyc.com). At current count Cyc contains over 1.2 million assertions which relate more than 100,000 concepts to each other. Each such assertion is expressed in the representation language of Cyc, called CycL, a variant of first order predicate calculus with enhancements (see http://www.cyc.com/cycl.html for details). Intelligence Validation for Commonsense Systems In order to verify or validate a software system, one needs as complete and precise a specification of system requirements as possible. The more stringent the verification desired, the more precise the requirement specification needs to be. Such completeness and precision is problematic if one's application domain is commonsense reasoning. As the following use cases indicate, commonsense reasoning requirements involve inherent vagueness or ambiguity. Yet, precisely what concept is referred to by the English word "France" in (a)? For example, does "France" denote (1) a body of land bordering on Spain, the North Atlantic and the Mediterranean, (2) an amalgam of regional lifestyles, culinary practices, artistic traditions etc or (3) the people who are citizens of France? In ... |
author2 |
The Pennsylvania State University CiteSeerX Archives |
format |
Text |
author |
William Jarrold |
spellingShingle |
William Jarrold Validation of Intelligence in Large Rule-Based Systems with Common Sense. Model-Based Validation |
author_facet |
William Jarrold |
author_sort |
William Jarrold |
title |
Validation of Intelligence in Large Rule-Based Systems with Common Sense. Model-Based Validation |
title_short |
Validation of Intelligence in Large Rule-Based Systems with Common Sense. Model-Based Validation |
title_full |
Validation of Intelligence in Large Rule-Based Systems with Common Sense. Model-Based Validation |
title_fullStr |
Validation of Intelligence in Large Rule-Based Systems with Common Sense. Model-Based Validation |
title_full_unstemmed |
Validation of Intelligence in Large Rule-Based Systems with Common Sense. Model-Based Validation |
title_sort |
validation of intelligence in large rule-based systems with common sense. model-based validation |
publishDate |
2001 |
url |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1077.5793 http://www.aaai.org/Papers/Symposia/Spring/2001/SS-01-04/SS01-04-009.pdf |
genre |
North Atlantic |
genre_facet |
North Atlantic |
op_source |
http://www.aaai.org/Papers/Symposia/Spring/2001/SS-01-04/SS01-04-009.pdf |
op_relation |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1077.5793 http://www.aaai.org/Papers/Symposia/Spring/2001/SS-01-04/SS01-04-009.pdf |
op_rights |
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
_version_ |
1766135915886936064 |