NIST · ИТ · 61f23a4efb5da8733322
Pseudo-exhaustive Verification of Rule Based Systems
Rule-based systems are important in application domains such as artificial intelligence and business rule engines, as well as formal methods for software design. When translated into an implementation, simple expressions in rules may map to thousands of
NIST · ИТОфициальный источник · 2018-07-01
{
"title_en": "Pseudo-exhaustive Verification of Rule Based Systems",
"designation": "",
"series": "",
"status": "",
"date": "2018-07-01",
"date_original": "July 1, 2018",
"url": "https://www.nist.gov/publications/pseudo-exhaustive-verification-rule-based-systems",
"source": "NIST Publications",
"display_en": "",
"authors_en": "David R. Kuhn , Dylan J. Yaga , Raghu N. Kacker , Yu Lei, Chung Tong Hu",
"abstract_excerpt_en": "Rule-based systems are important in application domains such as artificial intelligence and business rule engines, as well as formal methods for software design. When translated into an implementation, simple expressions in rules may map to thousands of",
"id": "61f23a4efb5da8733322",
"sources": [
"NIST Publications"
],
"source_records": [
{
"title_en": "Pseudo-exhaustive Verification of Rule Based Systems",
"designation": "",
"series": "",
"status": "",
"date": "2018-07-01",
"date_original": "July 1, 2018",
"url": "https://www.nist.gov/publications/pseudo-exhaustive-verification-rule-based-systems",
"source": "NIST Publications",
"display_en": "",
"authors_en": "David R. Kuhn , Dylan J. Yaga , Raghu N. Kacker , Yu Lei, Chung Tong Hu",
"abstract_excerpt_en": "Rule-based systems are important in application domains such as artificial intelligence and business rule engines, as well as formal methods for software design. When translated into an implementation, simple expressions in rules may map to thousands of"
}
],
"translation_state": "none",
"possible_title_matches": 1
}