Abstract
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.
| Original language | English |
|---|---|
| Number of pages | 3 |
| Journal | Proceedings of World Academy of Science, Engineering and Technology |
| Publication status | Published - 2006 |
Keywords
- commonsense reasoning
- computer security
- knowledge representation and reasoning