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
Ethics and Formal Theories of Decision. The benefits of this project will include improved methods for making ethically-informed decisions in various practical situations. Among the more important applications are legal decisions and conservation management. The theory developed in this project will also help shed light on both the statistical and ethical issues raised in much-debated areas such as racial profiling. The project will also serve to enhance Australia's reputation in technical philo ....Ethics and Formal Theories of Decision. The benefits of this project will include improved methods for making ethically-informed decisions in various practical situations. Among the more important applications are legal decisions and conservation management. The theory developed in this project will also help shed light on both the statistical and ethical issues raised in much-debated areas such as racial profiling. The project will also serve to enhance Australia's reputation in technical philosophy and decision theory.Read moreRead less