Rationality and Resource Bounds in Logics for Intentional Attitudes. Formal philosophy is the discipline at the interface between traditional philosophy and modern mathematical logic. It has had a substantial impact in recent years and has benefited neighbouring disciplines, including computer science and artificial intelligence. It is a good example of how philosophical research can interact with more practical disciplines. This project will make substantial contributions to formal philosophy, ....Rationality and Resource Bounds in Logics for Intentional Attitudes. Formal philosophy is the discipline at the interface between traditional philosophy and modern mathematical logic. It has had a substantial impact in recent years and has benefited neighbouring disciplines, including computer science and artificial intelligence. It is a good example of how philosophical research can interact with more practical disciplines. This project will make substantial contributions to formal philosophy, which will in turn provide benefits in computer science and artificial intelligence, by providing a framework for logicians, computer scientists and researchers in artificial intelligence to discuss issues concerning knowledge, belief and rationality.Read moreRead less
Semantics, externalism and a priori truths. This project aims to discover more about the logical roots of a priori knowledge. Pure mathematicians and logicians discover truths which are not justified by inference from observations; philosophers traditionally have aspired to do likewise. Yet little is understood about what makes a priori knowledge possible. There is a growing branch of logic which studies what is known as "double indexing" and this promises to throw light on the a priori. Austral ....Semantics, externalism and a priori truths. This project aims to discover more about the logical roots of a priori knowledge. Pure mathematicians and logicians discover truths which are not justified by inference from observations; philosophers traditionally have aspired to do likewise. Yet little is understood about what makes a priori knowledge possible. There is a growing branch of logic which studies what is known as "double indexing" and this promises to throw light on the a priori. Australian philosophers have played a very salient role in the study of double indexing, and this project is well placed to make significant contributions in this area.Read moreRead less
Idealism, Pragmatism, and the Historical Norms of Rationality. This project engages critically with the remarkable "normative pragmatics" of Robert Brandom, essentially the first analytic philosopher in a century to defend Hegel's "logic" from a modern logical perspective. It develops Brandom's suggested "inferentialist" interpretation of Hegel, but shows how a presupposition distorts both Brandom's reading of Hegel and his substantive account of the norms of reason. A corrective is developed on ....Idealism, Pragmatism, and the Historical Norms of Rationality. This project engages critically with the remarkable "normative pragmatics" of Robert Brandom, essentially the first analytic philosopher in a century to defend Hegel's "logic" from a modern logical perspective. It develops Brandom's suggested "inferentialist" interpretation of Hegel, but shows how a presupposition distorts both Brandom's reading of Hegel and his substantive account of the norms of reason. A corrective is developed on the basis of the later work of Brandom's mentor, Wilfrid Sellars. The corrected account shows how the norms of thought need not be eternal to be rational, but rather, are rational because of the way they are historical.Read moreRead less
Wiring up the nervous system: how do axons detect molecular gradients? This project will improve our understanding of how the nervous system
becomes wired up during development. This will ultimately allow better
therapies for some types of developmental disorders, and for repairing
damaged connections for instance in the spinal cord. The theoretical
models developed will improve our understanding of the computations
necessary to generate appropriate wiring of the nervous system, which
may ....Wiring up the nervous system: how do axons detect molecular gradients? This project will improve our understanding of how the nervous system
becomes wired up during development. This will ultimately allow better
therapies for some types of developmental disorders, and for repairing
damaged connections for instance in the spinal cord. The theoretical
models developed will improve our understanding of the computations
necessary to generate appropriate wiring of the nervous system, which
may facilitate the development of self-organizing computing
devices. The project will also provide unique research training at the
interface of biology and computation, building capacity for such
interdisciplinary research throughout Australia.
Read moreRead less
Logical Foundation and Implementation Technology for Automated Negotiation. The logic of bargaining is fundamental to understanding human negotiation and multiagent interaction. This project provides a new paradigm of negotiation with the integration of qualitative and quantitative analysis of bargaining processes and enhancement of implementation technologies for negotiation automation and trading agent design. The theoretic approach can be applied to a wide range of areas for the analysis of e ....Logical Foundation and Implementation Technology for Automated Negotiation. The logic of bargaining is fundamental to understanding human negotiation and multiagent interaction. This project provides a new paradigm of negotiation with the integration of qualitative and quantitative analysis of bargaining processes and enhancement of implementation technologies for negotiation automation and trading agent design. The theoretic approach can be applied to a wide range of areas for the analysis of economic, political and social phenomena. The techniques, algorithms and possible patents generated by the project can be directly used by the Australian IT industry for the development of efficient e-trading systems, allowing Australian business to take advantage of new e-market territories.Read moreRead less
Evolving largest scale concept structures. This project will find new methods of collective intelligence- many small computer programs acting in synergy. Such software has many applications from data mining to networks of sensors, but the main focus will be on one of the Grand Challenges of artificial intelligence -- the Japanese game of Go. Go is at least as difficult as Chess but computers are far from reaching the skill of human experts. Insights into the human brain from autism and savants w ....Evolving largest scale concept structures. This project will find new methods of collective intelligence- many small computer programs acting in synergy. Such software has many applications from data mining to networks of sensors, but the main focus will be on one of the Grand Challenges of artificial intelligence -- the Japanese game of Go. Go is at least as difficult as Chess but computers are far from reaching the skill of human experts. Insights into the human brain from autism and savants will form the foundations of the new computational approaches we will develop.Read moreRead less
Mechanisms of Recovery after Extinction of Conditioned Behaviour. Old habits die hard and may never die at all. My previous ARC-funded research has revealed that extinguished learning can be recovered rapidly and in unsuspected ways. This project is aimed at building a neural network to explain how old learning can recovered. In practical terms, rapid recovery has both benefits, e.g., our ability to regain old skills with brief refresher training, and costs, e.g., relapse after therapies for anx ....Mechanisms of Recovery after Extinction of Conditioned Behaviour. Old habits die hard and may never die at all. My previous ARC-funded research has revealed that extinguished learning can be recovered rapidly and in unsuspected ways. This project is aimed at building a neural network to explain how old learning can recovered. In practical terms, rapid recovery has both benefits, e.g., our ability to regain old skills with brief refresher training, and costs, e.g., relapse after therapies for anxiety disorders and substance abuse. In theoretical terms, understanding recovery in biological systems will inform research concerning both the neural basis of memory and the design of robots.Read moreRead less