If you have an event you would like posted, please contact email@example.com
- This event has passed.
EECS Seminar: An Algebra of Modular Systems and a Logic of Information Flows
December 12, 2017 @ 2:00 pm - 3:00 pm
An Algebra of Modular Systems and a Logic of Information Flows
Prof. Evgenia Ternovska
Dept of Computing Science
Simon Fraser University
Reusing components and services and linking data is important in Computer Science. The essence of our proposal is that we can use classical first-order logic as a versatile language for applying and combining modules — which are decision procedures (formally, classes of structures) — web services, declarative specifications with associated solvers, Integer Liner Programs, Constraint Satisfaction Problems etc. While the syntax of our formalism is first-order, the semantics is second-order because variables range over relations. We also add a least fixed point construct.
Since most practical systems use inputs and outputs, or directionality in linking data, we take classical logic over modules and add information propagation, that is, we specify inputs and outputs of atomic modules. This simple step gives us a modal logic, similar to the Dynamic Logic, where we can specify computational processes inside the possibility and necessity modalities. Operations such as while loops, if-then-else, reachability, regular expressions over data links, etc. are definable by just adding information flows to classical logic. The logic gives us a language for programming heterogeneous complex systems from reusable components.
In this talk, we present some recent results and ongoing work.
BIO: Evgenia (Eugenia) Ternovska is an associate professor at Simon Fraser University, Vancouver, Canada. She obtained her PhD at the University of Toronto in 2002. Her research interests are in Knowledge and Reasoning, in applications of Logic to Computer Science.