TY - GEN

T1 - A polynomial-time algorithm for constructing k-maintainable policies

AU - Baral, Chitta

AU - Eiter, Thomas

PY - 2004/12/1

Y1 - 2004/12/1

N2 - In this paper we present a polynomial time algorithm for constructing k-maintainable policies (Nakamura Baral, & Bjareland 2000). Our algorithm, in polynomial time, constructs a k-maintainable control policy, if one exists, or tells that no such policy is possible. Our algorithm is based on SAT Solving, and employs a suitable formulation of the existence of k-maintainable control in a fragment of SAT which is tractable. We then give a logic programming implementation of our algorithm and use it to give a standard procedural algorithm. We then present several complexity results about constructing k-maintainable controls, under different assumptions such as k = 1, and compact representation.

AB - In this paper we present a polynomial time algorithm for constructing k-maintainable policies (Nakamura Baral, & Bjareland 2000). Our algorithm, in polynomial time, constructs a k-maintainable control policy, if one exists, or tells that no such policy is possible. Our algorithm is based on SAT Solving, and employs a suitable formulation of the existence of k-maintainable control in a fragment of SAT which is tractable. We then give a logic programming implementation of our algorithm and use it to give a standard procedural algorithm. We then present several complexity results about constructing k-maintainable controls, under different assumptions such as k = 1, and compact representation.

UR - http://www.scopus.com/inward/record.url?scp=13444284034&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=13444284034&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:13444284034

SN - 1577352009

SN - 9781577352006

T3 - Proceedings of the 14th International Conference on Automated Planning and Scheduling, ICAPS 2004

SP - 111

EP - 120

BT - Proceedings of the 14th International Conference on Automated Planning and Scheduling, ICAPS 2004

A2 - Zilberstein, S.

A2 - Koehler, J.

A2 - Koenig, S.

T2 - Proceedings of the 14th International Conference on Automated Planning and Scheduling, ICAPS 2004

Y2 - 3 June 2004 through 7 June 2004

ER -