Reasoning with Dynamic Domains and Computer Security

Representing objects in a dynamic domain is essential in commonsense reasoning under some circumstances. Classical logics and their nonmonotonic consequences, however, are usually not able to deal with reasoning with dynamic domains due to the fact that every constant in the logical language denotes some existing object in the static domain. In this paper, we explore a logical formalization which allows us to represent nonexisting objects in commonsense reasoning. A formal system named N-theory is proposed for this purpose and its possible application in computer security is briefly discussed.

Authors:

• Yun Bai

Keywords:

• knowledge representation and reasoning
• commonsensereasoning
• computer security

References:

[1] P. Atzeni and V. de Antonellis, Relational Database Theory, The Benjamin/
Cummings Publishing Company, Inc., 1993.
[2] E. Bencivenga, Free logic. Handbook of Philosophical Logic, Vol. III,
pp373-426, 1986.
[3] E. Bertino, F. Buccafurri, E. Ferrari and P. Rullo, "A Logic-based
Approach for Enforcing Access Control". Computer Security, vol.8, No.2-
2, pp109-140, 2000.
[4] A. Herzig, J. Lang and P. Marquis, Action representation and partially
observable planning using epistemic logic. Proceedings of IJCAI03, 1067-
1072. 2003.
[5] N. Li, B. Grosof and J. Feigenbaum, "Delegation Logic: A Logic-based
Approach to Distributed Authorization". ACM Transactions on Information
and System Security, Vol.6, No.1, pp128-171, 2003.
[6] J. Shoenfield, Mathematical Logic. Addison-Wesley. 1967.
[7] L. Wang, D. Wijesekera and S. Jajodia, "A logic-based framework for
attribute based access control," Proceedings of the ACM Workshop on
Formal Methods in Security Engineering, pp45-55, 2004.