Aspects and modular reasoning in nonmonotonic logic

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.

• Type: Conference
• Year: 2007
• Where: FOAL
• Authors: Klaus Ostermann
• Keywords: Default Logic, Default Logic Version, FOAL 2007, Natural Language Processing, Nonmonotonic Logic