|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 6 van 8 gevonden artikelen
| Titel: |
Robustness of decentralized knowledge systems: a grammar-theoretic view |
| Auteur: |
Kelemen, Jozef Paun, Gheorghe |
| Verschenen in: |
Journal of experimental & theoretical artificial intelligence |
| Paginering: | Jaargang 12 (2000) nr. 1 pagina's 91-100 |
| Jaar: |
2000-01-01 |
| Inhoud: |
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. |
| Uitgever: |
Taylor & Francis |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 6 van 8 gevonden artikelen
| << vorige | volgende >> |