Abstract:
A vendor-independent policy language for managing the functionality and behavior of dynamic spectrum access networks based on the language requirements defined in IEEE St...Show MoreScope:This document defines a standard for a formal language to specify policies for radio devices that use cognitive patterns in their operating behavior. IEEE Std 1900.5-2011...Show More
Purpose:The purpose of this standard is to define a language empowering the user to perform the following: a) Programmatically define policies b) Define these policies universall...Show More
Metadata
Abstract:
A vendor-independent policy language for managing the functionality and behavior of dynamic spectrum access networks based on the language requirements defined in IEEE Std 1900.5™, IEEE Standard Policy Language Requirements and System Architectures for Dynamic Spectrum Access Systems, is defined in this standard.
Scope:
This document defines a standard for a formal language to specify policies for radio devices that use cognitive patterns in their operating behavior. IEEE Std 1900.5-2011 defines cognitive radios as a type of radio in which the device is aware of the radio’s environment (which can include location, time, or other operational parameters related to communication systems) and internal state and can make decisions about the radio operating behavior based on that information and predefined objectives. To facilitate productive, cooperative behavior in a dynamic ecosystem of communicating devices, the process of decision-making in cognitive radios requires dynamica...
Purpose:
The purpose of this standard is to define a language empowering the user to perform the following: a) Programmatically define policies b) Define these policies universally and unambiguously by means of strict adherence to First Order Logic c) Enable exchange of policies with other participating entities ensuring semantical correctness across the entire platform d) Meet the requirements and objectives as stipulated in IEEE Std 1900.5-2011, which are listed in A.1
Date of Publication: 26 February 2021
Electronic ISBN:978-1-5044-7261-6
Persistent Link: https://ieeexplore.ieee.org/servlet/opac?punumber=9366649
References is not available for this document.
Select All
1.
Clark, K. L., Negation as Failure. London: Department of Computer Science & Statistics. Queen Mary College.
2.
Grädel, E., “On the restraining power of guards,” Journal of Symbolic Logic, vol. 64, pp. 1719–1742, 1999.
3.
Horrocks, I., U. Sattler, and S. Tobies, “Practical reasoning for expressive description logics,” in H. Ganzinger, D. McAllester, and A. Voronkov (Eds.), Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR '99) (Lecture Notes in Artificial Intelligence), vol. 1705, Berlin: Springer, 1999, pp. 161–180.
4.
IEEE Std 1900.1™-2019, IEEE Standard for Definitions and Concepts for Dynamic Spectrum Access Terminology Relating to Emerging Wireless Networks, System Functionality, and Spectrum Management.
5.
IETF RFC 3987, Internationalized Resource Identifiers (IRIs), M. Duerst and M. Suignard, eds., Jan. 2005.
6.
Lewis, H., “Renaming a set of clauses as a Horn set,” Journal of the ACM, vol. 25, pp. 134–135, Jan. 1978.
