A Situation Calculus based approach to Cognitive Modelling for Responding to IoT Cyberattacks.
Pushpinder Kaur ChouhanLiming ChenTazar HussainAlfie BeardPublished in: SmartWorld/SCALCOM/UIC/ATC/IOP/SCI (2021)
Keyphrases
- situation calculus
- cognitive modelling
- event calculus
- action theories
- computational models
- initial state
- reasoning about actions
- fluent calculus
- cognitive architectures
- blocks world
- provably correct
- concurrent actions
- cognitive psychology
- agent programming
- human computer interaction
- modal logic
- logical language
- sensing actions
- deductive databases
- artificial intelligence