AIICS

Jonas Kvarnström

Theses

Hide abstracts BibTeX entries
2005
[2] Full text  Jonas Kvarnström. 2005.
TALplanner and other extensions to Temporal Action Logic.
PhD Thesis. In series: Linköping Studies in Science and Technology. Dissertations #937. Linköpings universitet. 302 pages. ISBN: 91-85297-75-5.

Though the exact definition of the boundary between intelligent and non-intelligent artifacts has been a subject of much debate, one aspect of intelligence that many would deem essential is <em>deliberation</em>: Rather than reacting \"instinctively\" to its environment, an intelligent system should also be capable of <em>reasoning</em> about it, reasoning about the effects of actions performed by itself and others, and creating and executing plans, that is, determining which actions to perform in order to achieve certain goals. True deliberation is a complex topic, requiring support from several different sub-fields of artificial intelligence. The work presented in this thesis spans two of these partially overlapping fields, beginning with <em>reasoning about action and change</em> and eventually moving over towards <em>planning</em>.The qualification problem relates to the difficulties inherent in providing, for each action available to an agent, an exhaustive list of all qualifications to the action, that is, all the conditions that may prevent the action from being executed in the intended manner. The first contribution of this thesis is a framework for <em>modeling qualifications</em> in Temporal Action Logic (TAL).As research on reasoning about action and change proceeds, increasingly complex and interconnected domains are modeled in increasingly greater detail. Unless the resulting models are structured consistently and coherently, they will be prohibitively difficult to maintain. The second contribution is a framework for <em>structuring TAL domains</em> using object-oriented concepts.Finally, the second half of the thesis is dedicated to the task of <em>planning</em>. TLplan pioneered the idea of using domain-specific control knowledge in a temporal logic to constrain the search space of a forward-chaining planner. We develop a new planner called TALplanner, based on the same idea but with fundamental differences in the way the planner verifies that a plan satisfies control formulas. T ALplanner generates concurrent plans and can take resource constraints into account. The planner also applies several new automated domain analysis techniques to control formulas, further increasing performance by orders of magnitude for many problem domains.

1996
[1] Jonas Kvarnström. 1996.
A New Tractable Planner for the SAS+ Formalism.
Student Thesis. In series: LiTH-IDA-Ex #9625. 283 pages. ISRN: LiTH-IDA-Ex-9625.

Computer science