Abstract
We add a simple module system to specifications with supernormal defaults. It allows to distinguish between “defining” and “calling” occurrences of predicates. This greatly improves the understandability of large default specifications and especially helps to solve the problem of unwanted contrapositions of rules. Our approach is similar to the distinction between head and body of logic programming rules, but it works on the higher level of default theories. So our results can help to integrate both approaches — at least on the semantical side for specification purposes. We also clarify the relation to prioritized defaults and argue that modular specifications are often preferable. Finally, we give a theoretical basis for query evaluation.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
