Skip to main content
padlock icon - secure page this page is secure

Robustness of decentralized knowledge systems: a grammar-theoretic view

Buy Article:

$60.00 + tax (Refund Policy)

This paper introduces the formal framework of grammar systems to handle a practical and important property of decentralized rule-based knowledge systems. The property is called robustness. In our framework, a rule-based system is robust when some rules can be removed from it and yet its critical functionality remains unchanged. As a theoretical framework for study robustness of decentralized rule-based systems we use grammar systems. We prove within that framework that the question whether a knowledge system is robust or not is undecidable. In contrast, we prove with the same framework that whether or not a component is ever enabled, or whether or not a component working in a special-so called maximal-mode blocks the further functioningof a systems when enabled, are decidable. Some open problems are also formulated.
No Reference information available - sign in for access.
No Citation information available - sign in for access.
No Supplementary Data.
No Article Media
No Metrics

Keywords: DECENTRALIZED AI; DECIDABILITY; GRAMMAR SYSTEMS; KNOWLEDGE SYSTEMS; ROBUSTNESS OF KNOWLEDGE SYSTEMS; THEORY OF FORMAL GRAMMARS AND LANGUAGES

Document Type: Research Article

Publication date: January 1, 2000

More about this publication?
  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more