The idea of a calculus or discrete formal system is central to traditional models of language, knowledge, logic, cognition and computation, and it has provided a unifying framework for these and other disciplines. Nevertheless, research in psychology, neuroscience, philosophy and computer science has shown the limited ability of this model to account for the flexible, adaptive and creative behavior exhibited by much of the animal kingdom. Promising alternate models replace discrete structures by structured continua and discrete rule-following by continuous dynamical processes. However, we believe that progress in these alternate models is retarded by the lack of a unifying theoretical construct analogous to the discrete formal system. In th...
This thesis is about mathematical structures and techniques related to formal specification and veri...
An essential property of human language that distinguishes it from other information-carrying system...
Continuous complexity theory gets its name from the model of mathematical computation on which it is...
This paper argues that the foundation of expertise and skillful behavior is knowledge represented as...
Signalling systems of various species (humans and non-human animals) as well as our world both exhib...
Why should we use continuous models in semantics ? At first glance, this question seems simple : we ...
We develop notation for describing a temporal structure over the real numbers flow of time. This for...
Many scientists observing the cognitive development in children have noted distinct phases in the wa...
Funder: University of CambridgeAbstract: We begin with the idea that lines of reasoning are continuo...
An intelligent agent, reasoning symbolically in a continuous world, needs to infer properties of the...
Among the known predicate calculus formalisms for axiomatizing commonsense reasoning about actions, ...
Formal language theory (FLT), part of the broader mathematical theory of computation, provides a sys...
Why should we use continuous models in semantics? At first glance, this question seems simple: we ha...
Dynamical systems are mathematical models of change or motion over time. They are ubiqui...
Computational models and tools provide increasingly solid foundations for the study of cognition and...
This thesis is about mathematical structures and techniques related to formal specification and veri...
An essential property of human language that distinguishes it from other information-carrying system...
Continuous complexity theory gets its name from the model of mathematical computation on which it is...
This paper argues that the foundation of expertise and skillful behavior is knowledge represented as...
Signalling systems of various species (humans and non-human animals) as well as our world both exhib...
Why should we use continuous models in semantics ? At first glance, this question seems simple : we ...
We develop notation for describing a temporal structure over the real numbers flow of time. This for...
Many scientists observing the cognitive development in children have noted distinct phases in the wa...
Funder: University of CambridgeAbstract: We begin with the idea that lines of reasoning are continuo...
An intelligent agent, reasoning symbolically in a continuous world, needs to infer properties of the...
Among the known predicate calculus formalisms for axiomatizing commonsense reasoning about actions, ...
Formal language theory (FLT), part of the broader mathematical theory of computation, provides a sys...
Why should we use continuous models in semantics? At first glance, this question seems simple: we ha...
Dynamical systems are mathematical models of change or motion over time. They are ubiqui...
Computational models and tools provide increasingly solid foundations for the study of cognition and...
This thesis is about mathematical structures and techniques related to formal specification and veri...
An essential property of human language that distinguishes it from other information-carrying system...
Continuous complexity theory gets its name from the model of mathematical computation on which it is...