Artificial Intelligence
A logic-based calculus of events
New Generation Computing
A new deductive approach to planning
New Generation Computing
Mind as motion: explorations in the dynamics of cognition
Mind as motion: explorations in the dynamics of cognition
Structure-driven algorithms for truth maintenance
Artificial Intelligence
Compositional modelling of reflective agents
International Journal of Human-Computer Studies
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic
Journal of Logic, Language and Information
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective
IEEE Transactions on Knowledge and Data Engineering
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Specification of Bahavioural Requirements within Compositional Multi-agent System Design
MAAMAW '99 Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering
SIMULATION AND ANALYSIS OF CONTROLLED MULTI-REPRESENTATIONAL REASONING PROCESSES
Applied Artificial Intelligence
A Model for Criminal Decision Making Based on Hypothetical Reasoning about the Future
IEA/AIE '09 Proceedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: Next-Generation Applied Intelligence
Formal analysis of design process dynamics
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
An Agent-Based Architecture for Model-Based Diagnosis Using Observation Cost
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
Reasoning by assumption: formalisation and analysis of human reasoning traces
IWINAC'05 Proceedings of the First international conference on Mechanisms, Symbols, and Models Underlying Cognition: interplay between natural and artificial computation - Volume Part I
Requirements analysis of an agent’s reasoning capability
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Hi-index | 0.00 |
To model the dynamics of cognitive processes, often the dynamical systems theory (DST) is advocated. However, for higher cognitive processes such as reasoning and certain forms of natural language processing the techniques adopted within DST are not very adequate. This paper shows how an analysis of the dynamics of reasoning processes can be made using techniques different from those of DST. The approach makes use of temporal traces consisting of sequences of reasoning states over time to describe reasoning processes. It is shown for the example reasoning pattern 'reasoning by assumption', how relevant dynamic properties can be identified and expressed using a temporal trace language. Example traces have been acquired in two ways. Firstly, empirical traces have been generated based on think-aloud protocols of a subject solving a number of cases of a reasoning puzzle. Secondly, a simulation model has been developed and executed for the same cases of the reasoning puzzle. For all these traces, the dynamic properties can and have been analysed automatically, using a software environment that has been developed. Thus the feasibility of the approach was shown.