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|
|VENUE:||Seminar room Goedel, Favoritenstraße 9-11, 1040 Vienna (ground floor, access through courtyard)|
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.)