The development of paraconsistent annotated logic programs
この論文をさがす
説明
We have developed paraconsistent annotated logic programs called Extended Vector Annotated Logic Program with Strong Negation (EVALPSN) and applied it to various intelligent control and safety verification. We have also developed EVALPSN to deal with before-after (bf) relation between time intervals and applied it to process order control. The developed EVALPSN is called bf-EVALPSN. In this paper, we review the process of the development of EVALPSN and bf EVALPSN and introduce the details of EVALPSN defeasible deontic reasoning.
収録刊行物
-
- International Journal of Reasoning-based Intelligent Systems
-
International Journal of Reasoning-based Intelligent Systems 1 92-, 2009-01-01
Inderscience Publishers
