Miroslav Truszczynski
Abstract Perspectives on Modularity in Knowledge Representation
VCLA and WPI will host a talk by Miroslav Truszczynski on October 6, 2015.
| DATE: | Tuesday, October 6, 2015 |
| TIME: | 13:30 |
| VENUE: | Seminar room Goedel, Favoritenstraße 9-11, 1040 Vienna (ground floor, access through courtyard) |
ABSTRACT
Modularity is an essential aspect of knowledge representation theory and practice. Not surprisingly, it has received substantial attention. In this talk we present a simple abstract approach to modularity in which information is shared between modules through shared variables. We show that our approach captures such KR formalisms as multi-context systems, modular logic programs and constraint answer-set programming. We also show that our abstract modular systems, with modules represented by sets of inferences, support an abstract view on solvers for modular systems, providing a top-level handle on solver design and analysis. (Joint work with Yulia Lierler.)
