We present progress toward the formulation of a mathematical model for a cognitive communication network with applications to satellite systems. Our model employs abstract concepts including communicators, communications channels, and demand for capacity. These model elements may be tailored to represent a wide variety of practical communication scenarios. We present a dynamic automated reasoning methodology which uses the model to find communication resource allocations for specific scenarios that are superior to static scheduling approaches. This reasoning process resolves resource dependencies, enforces communication policies, and learns from previous communication attempts. We have implemented this reasoning process using Answer Set Prolog and used it to plan communications for a constellation of 8 satellites and 3 ground stations. The example demonstrates performance improvement over a static scheduling approach and shows how solutions can be found with reasonable computational effort.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.