Symbolic model checking: an approach to the state explosion problem
Symbolic model checking: an approach to the state explosion problem
Logic in computer science: modelling and reasoning about systems
Logic in computer science: modelling and reasoning about systems
Specification and Verification of Dynamics in Cognitive Agent Models
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
An information theory based complexity measure
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
Verifying Interlevel Relations within Multi-Agent Systems
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
How information and embodiment shape intelligent information processing
50 years of artificial intelligence
| Hi-index | 0.00 |
Development of more complex cognitive systems during evolution is sometimes viewed in relation to environmental complexity. In more detail, growth of complexity during evolution can be considered for the dynamics of externally observable behaviour of agents, for their internal cognitive systems, and for the environment. This paper explores temporal complexity for these three aspects, and their mutual dependencies. A number of example scenarios have been formalised in a declarative temporal language, and the complexity of the structure of the different formalisations was measured. Thus, some empirical evidence was provided for the thesis that for more complex environments, more complex behaviour and more complex mental capabilities are needed.