Accelerating Autonomous Cyber Operations: A Symbolic Logic Planner Guided Reinforcement Learning Approach.
Ryan KerrSteven H. H. DingLi LiAdrian TaylorPublished in: ICNC (2024)
Keyphrases
- reinforcement learning
- autonomous learning
- logical operations
- state space
- modal logic
- function approximation
- markov decision processes
- optimal policy
- partially observable domains
- reinforcement learning algorithms
- high level
- multi agent
- cooperative
- logic programming
- learning capabilities
- learning algorithm
- decentralized control
- case based planning
- classical logic
- initial state
- multi valued
- model free
- learning process
- description logics
- domain specific
- first order logic
- logic programs