Dr Vineet Nair, Research Fellow, Department of Computer Science

Title: "Combining Logics for BDI Agents"
The problem of combining logics and systems is central to modern Logic, both pure and applied. As logic is being used more and more to formalise problems in Artificial Intelligence, Philosophy, Linguistics, Logic programming and Computer science, the kind of logics required become more and more complex. In a similar manner any logical system modelling agents (reactive/deliberative) should be a combined system of logics of knowledge, belief, time and modal logics of actions. In this talk I will address BDI logics in the context of two combining techniques called fibring/dovetailing. Some important results will be discussed.