#PDF THE MISSIONARIES AND CANNIBALS PROBLEM AND SOLUTION HOW TO#
We show how to represent the two domains in the input language of CCalc, and how to use CCalc to test these representations.Įlectronic markets, dispute resolution and negotiation protocols are three types of application domains that can be viewed as open agent societies. The Traffic World includes vehicles moving continuously between road crossings subject to a number of restrictions, such as speed limits and keeping a fixed safety distance away from other vehicles on the road. Actions in this domain include moving within and between cages, opening and closing gates, and mounting and riding animals. The Zoo World and the Traffic World have been proposed by Erik Sandewall in his Logic Modelling Workshop-an environment for communicating axiomatizations of action domains of nontrivial size.The Zoo World consists of several cages and the exterior, gates between them, and animals of several species, including humans. 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 kommentar(er)
