Modelling Human Reasoning in Practical Behavioural Contexts Using Real-Time Maude.

Antonio Cerone Peter Csaba Ölveczky

Published in: FM Workshops (1) (2019)

Keyphrases

human reasoning
real time
contextual knowledge
fuzzy logic
scientific discovery
control system
cognitive psychology
databases
causal relationships
vision system
real world
collaborative learning
contextual information
computational model
formal specification
prior knowledge
expert systems
genetic algorithm