Model Checking Functional Integration of Human Cognition and Machine Reasoning.
Eric MercerKeith A. ButlerAli BahramiPublished in: SysCon (2022)
Keyphrases
- model checking
- human cognition
- temporal logic
- finite state machines
- cognitive processes
- formal verification
- automated verification
- knowledge structures
- cognitive science
- formal specification
- model checker
- information processing
- automated reasoning
- temporal properties
- bounded model checking
- symbolic model checking
- verification method
- epistemic logic
- cognitive architecture
- knowledge representation
- pspace complete
- formal methods
- computation tree logic
- computational models
- timed automata
- cognitive psychology
- knowledge base
- alternating time temporal logic
- database
- transition systems
- reactive systems
- deterministic finite automaton
- working memory
- data mining