The objective of this programme is to contribute to the understanding of the logical and mathematical foundations of computing science and to realize a two-way transfer between this fundamental research and more applied subdisciplines of computing science. The following themes are studied: equational reasoning, multi-agent systems, programming methodology, decision support sytems.
Equational reasoning is a well-known kind of mathematical reasoning that is practised e.g. in algebra and in many correctness proofs. Its standard formalisation is equational logic, a simple but very general reasoning system that is often used in computing science, e.g. in algebraic specification and rewrite systems (Mathematica is a well-known example). Proof theory for this logic, addressing structural properties of equational proofs, hardly exists, and we try to fill in the gap.
Multi-agent systems (MAS, also known as Agent Computing or just Agency) is a subdiscipline of both Computing Science and Artificial Intelligence. Agents are intelligent, possibly mobile processes to which intentions can be attributed: beliefs, desires and commitments. A multi-agent system consists of agents that cooperate to perform a task. As an example, think of a travel agency trying to compose a holiday trip that best fits the client's wishes: this requires collaboration between the agents that perform subtasks such as hotel booking and airplane reservation. MAS is inspired by process theory and concurrency on the one hand, and logic and formal specification on the other hand. Process theory and concurrency provide the notion of concurrent and communicating processes; logic and formal specification provide high-level languages for description of and reasoning about agents and their intentions.
Some years ago, the group started to study some topics on the logical side of MAS: dynamic logic, epistemic logic, knowledge game theory. Recently, the group decided to investigate MAS also from the perspective of (concurrent)
For programming methodology, the group aims to contribute to the design, specification, and verification of sequential, parallel and distributed algorithms, programs, and systems, possibly with assistance of a mechanical theorem prover.
Decision support systems
The research in decision support systems focuses on medical real-time support systems (e.g. monitoring and warning systems for anesthesia and intensive care). For a smooth interaction with the user, such systems must have some kind of user awareness, i.e. they must know about the cognitive activities and the mental state of the user. This research subject combines two disciplines: human-computer interaction and artificial intelligence.
|Last modified:||31 May 2018 4.38 p.m.|