• Home
• org.tweetyproject
• action
• 1.27
• source code

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

ject.action.1.27.source-code.turkey.desc Maven / Gradle / Ivy

% This example is taken from the paper
% Nonmonotonic Causal Theories by Enrico Giunchiglia et. al. (2004)
:- signature
ANIMAL = { turkey1, turkey2}

fluent loaded
fluent alive(ANIMAL)
fluent target(ANIMAL)

action load
action shoot
action aim(ANIMAL)

:- rules
inertial loaded
inertial !loaded
inertial alive(X)
inertial !alive(X)
inertial target(X)
inertial !target(X)

% at most one target at a time
caused !target(L1) if target(L2) requires L1 <> L2

load causes loaded
load causes !target(X)

aim(X) causes target(X)

shoot causes !alive(X) if target(X)
shoot causes !loaded
nonexecutable shoot if !loaded
nonexecutable aim(X) && shoot