ABSTRACT
In this chapter we will discuss some of our ideas on reasoning with rules. The organization of this chapter is as follows. In Section 9.2 we discuss our prior research on nonmonotonic typed multilevel logic (NTML) for secure data and knowledge-based systems [THUR91], [THUR92]. Our work on rules and security is influenced by NTML. Security issues for rules is discussed in Section 9.3. Specification of policies in languages such as RuleML is discussed in Section 9.4. The inference problem and relationship to rules is discussed in Section 9.5. The chapter is summarized in Section 9.6.
