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.)

Comments are closed.