Let's Plan It Deductively!
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence. Invited Speakers. Pages 1549-1561.
Abstract
The paper describes a transition logic, TL, and a deductive formalism for it. It shows how various important aspects (such as ramification, qualification, specificity, simultaneity, indeterminism etc.) involved in planning can be modelled in TL in a rather natural way. (The deductive formalism for) TL extends the linear connection method proposed earlier by the author by embedding the latter into classical logic, so that classical and resource-sensitiv reasoning coexist within TL. The attraction of a logical and deductive approach to planning is emphasized and the state of automated deduction briefly described.
@inproceedings{ijcai1997p228,
title = {Let's Plan It Deductively!},
author = {Bibel, Wolfgang},
booktitle = {Proceedings of the Fifteenth International Joint Conference on
Artificial Intelligence, {IJCAI-97}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Martha E. Pollack},
pages = {1549--1561},
year = {1997},
note = {Invited Speakers},
url = {https://ijcai.org/proceedings/1997/228},
}
TY - CPAPER TI - Let's Plan It Deductively! AU - Bibel, Wolfgang T2 - Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97 PB - International Joint Conferences on Artificial Intelligence PY - 1997 SP - 1549 EP - 1561 UR - https://ijcai.org/proceedings/1997/228 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
