Bolotov, Alexander, Grigoriev, Oleg and Shangin, Vasilyi (2007) A Simpler formulation of natural deduction calculus for linear-time temporal logic. In: Proceedings of the 3rd Indian International Conference on Artificial Intelligence, Pune, India, December 17-19, 2007. IICAI 2007. IICAI, India, pp. 1253-1266. ISBN 9780972741224Full text not available from this repository.
The paper continues our studies of natural deduction calculus for the propositional linear-time temporal logic PLTL. We present a new formulation of natural deduction calculus for PLTL. The system is shown to be sound and complete. This new formulation is simpler than the previous one, and this fact is believed to be crucial for possible appli cations of our technique as an automatic reasoning tool in a deliberative decision making framework across various AI applications.
|Item Type:||Book Section|
|Subjects:||University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)|
|Depositing User:||Miss Nina Watts|
|Date Deposited:||22 Jan 2009 14:18|
|Last Modified:||14 Oct 2009 09:15|
Actions (login required)
|Edit Item (Repository staff only)|