| Publisher | World Academy of Science, Engineering and Technology | ||
|---|---|---|---|
| Format | 347.8KB PDF | Date added | 01 May 2006 |
| Topics | Security Management, Application Development | ||
| Downloads | 0 | ||
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. This paper explores a logical formalization which allows them 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.
Did you find this white paper useful?
4 out of 6 users found this white paper useful
Related white papers
Activate Today!Realize ROI with Intel® vPro Technology and Microsoft System Configuration Manager
Join the team from the Intel vPro Expert Center for an informative Webcast on the ROI savings and activation process for PCs with Intel® vPro™ technology and Microsoft System Configuration...
Animated Demo of vPro Systems
This animated demo shows how vPro offers security and manageability on the chip.
Tube Lines reaps rewards of upgrading to Intel®Core™2 processor with vPro™technology
Tube Lines has a 30-year Public Private Partnership (PPP) contract with London Underground. It is responsible for the maintenance and upgrade of the infrastructure on the Jubilee, Northern and Piccadilly...
Video Case Study: Verizon UK
This video case study looks at how Chris Maylor, head of architecture services at Verizon UK, went about implementing vPro.
Webinar: Activate Today! Realize ROI with Intel® vPro Technology and Symantec Altiris
Join the team from the Intel vPro Expert Center for an informative Webcast on the ROI savings and activation process for PCs with Intel® vPro™ technology and Symantec Altiris. This...
vPro Expert Center Wiki, all you need to know about vPro and activation of vPro systems
Learn about vPro basics from this wiki. It contains info on what vPro is, as well as links to activation documentation.
vPro ROI Calculator
A free to use Intel PC Total Cost of Ownership Estimator
