Aspects and modular reasoning in nonmonotonic logic
K Ostermann - Proceedings of the 6th workshop on Foundations of …, 2007 - dl.acm.org
Proceedings of the 6th workshop on Foundations of aspect-oriented languages, 2007•dl.acm.org
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 …
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 …
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 Digital Library