Nonmonotonic logic is a branch of logic that has been developed to model situations with incomplete information. We argue that there is a connection between AOP and nonmonotonic logic which deserves further study. As a concrete technical contribution and "appetizer", we outline an AO semantics defined in default logic (a form of nonmonotonic logic), propose a definition of modular reasoning, and show that the default logic version of the language semantics admits modular reasoning whereas a conventional language semantics based on weaving does not.
Acm International Conference Proceeding Series: Proceedings of the 6th Workshop on Foundations of Aspect-oriented Languages, 2008, p. 59-64
Main Research Area:
Workshop on Foundations of Aspect-Oriented Languages (FOAL'07), 2008