![]() ![]() The Causal Calculator (CCalc) is a system that answers queries about action domains described in a fragment of that language. The work described in this report is motivated by the desire to test the expressive possibilities of action language +. Finally, we discuss the computationalĬomplexity of these questions in terms of related decision problems. The action description cause a conflict with some given condition),Īnd we provide answers to them using properties of action descriptionsĪnd transition diagrams. Helpful questions the user may ask (e.g., which specific parts of Supported in obtaining more preferred solutions. Modifying the action description, and discuss how the user can be We introduce a basic method to resolve such conflicts by Of the given action description that violate some given conditions. This allows us to characterize conflicts by means of states and transitions Whose edges correspond to transitions describing action occurrences. Meaning of an action description can be represented by a transitionĭiagram, a directed graph whose nodes correspond to states and We study resolving conflicts between an action descriptionĪnd a set of conditions (possibly obtained from observations), ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |