What do epistemic logic and cognitive science have to do with each other?
Ahti-Veikko PietarinenPublished in: Cogn. Syst. Res. (2003)
Keyphrases
- cognitive science
- epistemic logic
- model checking
- modal logic
- artificial intelligence
- cognitive processes
- multi agent systems
- multi faceted
- dynamic epistemic logic
- information processing
- computer science
- inference rules
- logical framework
- connectionist models
- formal semantics
- computational intelligence
- human intelligence
- cognitive systems
- temporal logic
- human cognition
- cognitive models
- distributed cognition
- embodied cognition
- cognitive scientists
- formal specification
- mathematical theory
- formal verification
- neural network
- fuzzy sets
- reinforcement learning
- database systems
- data mining