PDF version - The Computer Laboratory - University of Cambridge

!!

" #

$ %

&

#

#

'

# $

% #

#

#

$

(

#

#

#

( '

% #

)

#

#

$

(# *

(#

% $

( $

(

#

#

# #

$

% &

# % "

+

% $ % $

( * #

#

#

% , #

#

#

# $

% '

# '

#

#

#

# % # , "

(

( % - (

# EDEE# % (

"

( .EDEE/#

( '

%

& &

%

0

12#3!4

%

!"# $##$ #

$ 7

#

8 $

# 51 6 ( +

# 9%%%

( "

9 9 :% #

% ; + $

# %

"

< %

% &&&

*

"

$ $ % " #

= 0 $

= 0

# %

"

& '

>

%

7

# #

'

>

"

%

?!#!!! #

 !!

" $

#

#

%

%

% $

%

•

Courier font%

•

italic Times Roman%

•

Arial 8 point font%

•

# #

#

Arial 9 point font%

#

•

# %

•

&

•

@ ' @

.

@

A

Arial Narrow

/

%

# B $. (

/#

#

*

&

$# .

'

.

C &

/% " % )

EDEE

C

#

(

$ '

*

# %

/

!"

# $ ;

$ " &

% #A

$

# ##

$

A

# $% &

+ D

$

%

#

,

E

# &

+

0B

D

#

!! % & &

0

#

-

' !!!%

$ $# E "

#D + -B #

-

#

# F #- G # 6 # #@ $+ # H % + %

#&

% "

$

$ #" $ ##; #@ A #" A # + $ #+ + # ) G #+ $ #A " #+ B # $ ' #& sys-admins# & 6 % 7 $# + $ @ 6 $ %

#

& D

= +

% " &

I 0+ II#

< % " 7 D

# #" # ) # &

$# $

# # B ,

#6

#6

#A #+

0E

# 7

' # + # 7 $# "

"

+ % % " # #@

#

# #

@ % & #

$ 6

+

#E

= E

%

# 7

#

7 #

# E 0 @ # $

A

#

A

# #

#

# #

$

%

$

*

% &'((() ( , 1 % &'(( ) ( 4 5 % D % &'(( ) ( 26 7- $## 3% 7 % &'(( ) 8 - 4 ) % &'(( ) 7 % &'((' ) E

'

+ 0

#

* ' %

D -+% % ' ( ) - ./ 2..)01 $###3% + D -+% ( % ) $## ' E% !!J% D -+% % ' 6 # % !!J% D -+% @ B @ % #& % D -+% @ % ) 2,-7-*83% % # "K% 7 D -+% " @ 9 + 4

(

D (

.

@ +

*

) # +7% )

0 !!!% +

0

( 7

%

!!J% 8 , A% !!J% & :

% JJ.?/% &7) @+ %

( D

#

& % J(52%

) + % 7 !! % % &'((' ) D -+% " A " & # # 7 % 0 , ' + 1 0 2+7.4; #$3% & #A # E% + !! % % *&'((' ) # +# D -+% + $ D I % "

$

I )

#

% $

#

%

&

?

# #

0 #

%

+

(

@

#

#

#

P

Q +34 #

33R% "

( % B # % $?

#

.

$

( #

( #

$/

*

#

% 7

?

5 #

$

#

%

+

#

(

% " #

% #

%

&

'

# ,

% " #

%

'

P

(

% % 7

! /

&

# (

'

% % ?

/ (

#

#

(

*


'

=

F

QD !!JR#

Y0. actionstring/ %

"

key1, key2, key3 REQUEST

+ $ FE 7

.

/

#

#

(

#

QD !!JR%

"

:

;

:;!Q- 3LR #

% "

:

;

: ;!Q@S) !!JR#

#

% $ #$

.

$#

1/#

*

#

%

> $ #

:

7

&

$

#

(

% & # D

(

A 0

,

, (

(

#

$% ;

,;!Q A !!J# A7 !!!#AD733R

( %

# D 0

A Q A !!JR

(

% ) %

%

E

&

0

'

,

A

.

;

,;!QE 3LR

J2/

#

% "

& ")0

.

7

.7 !Q+

B !!JR

+A

$ %

(

#

7+ # +& # A

(

$

% &

0

Q

A !!J# A

!!JR P

$ P

I

=

0 %

( Q 34#

%

31R

#

# % #

#

,

# Q 31R% %

%

I =

0

(

( Q

, A !!JR%

"

(

$

( %

'

(

$

$#

$ ,

*

&

!&

'/ / *

$

+ Q

Q- 3L# A !!JR A !!J#;H !!JR ' 3%

2-

*

(1) A person may not approve a cheque they have issued. [Dam2002, HV2001] (2) An author of a paper cannot act as its referee. [CDMR2001]

"

#

$

# '

QD) 33#; A33#- 3L#@S) !!JR% B (

# '

Q@S) !!JR%

# (

(

#

'

% 7

$% &

#

#

(

( # %

&

A# '

(

( ,

# #

# %

'

#

#

( Q

( !! # J!?R% &

" =

$ A

$ Q@S) !!JR

0 #

* 4

(To make Action_T successful)

Principal_T cannot (successfully) do Action_T

Principal_O must do Action_O

if Principal_O will not do Action_O

if Principal_T has done Action_T

% " commit

Action_T Action_O%

A0

= %

0 A=

0

# Q 4

$

!! # 52R% " Q@S) !!JR%

Q@S) !!JR

&

I

# A

Q- 3?R

% ; =

.

0

(

# #'

(

(

(

= % ) .% %

!&

$/

$




.:# Q6@ !!!#

( Q

!!!R% " $

% " $

#

#

=

0

% "

#

# $

#

I

$

% ) %

% Q

;;34R

#

#

7

' $

%

$

,

$

# ,

% "

$

$ %

#

$

, = 7

# 0 =

0 % %

#


,., #

QA 2!< J !# J24R% #

7 &

#

. .

# $/#

/# ' %

7 &

A #

QA 2!# R% #

#

$

#

%

&

'

# 7 &

QA 2!
$

QA@34R

: !!JR

Q

+ !!J# + !!JR

A QDAB B 31R QA 33#A !!!#A

>

+ !!JR

?1 F ? QB &

!!!#B

!!JR

' "

(

*

, (

*

(

*

;*=1;

>

&

QA !!!R

1;1 ?@ QD @31# + $

?

@ !!!# ?7

?

Q"B !!J #"B !!J R Table 2: Sample of some recent applications of deontic logic

@

!!!R

%

&

'

'/2

"

:

"

# # #

(

#

#

%

)

# ( *

'/2/ : ! ' % # #

'

% D # %

#

, (

#

% "

#

#

%

'/2/' : ! "

(#

(#

%

A

%

(

(# QA

' '

$

( !!JR

/

!

% ; % B ( I

(

.W %5%5/#

%

.

43/

% %

" #

#

%

'/2/ 7

4! , #

+B 35R#

QB 1J# Q;

L2#- 3?#- !!!R%

'

12#

?#

(

, % " P

$# (

%

" % %

(

.

1?/ %

+ ,

( (

(

<


)3

) 4$

!1 .

#




%

'

#

=>

%

)

#

(


= Query19 (pg 84) > 0 results. % INSERT promising1

No (no obligations exist yet). John promises SkyHi will pay Steelmans $25,000

(pg 183)

SkyHi is obliged to pay Steelmans $25,000

=> being_obliged_function5(promising1) (alias: being_obliged1)

Is SkyHi obliged to pay, according to Clause L.4? Yes, they are. (being_obliged1 is in the range of the function being_obliged_function4, and the function therefore produces a result.) Web log evidence now indicates that Steelmans read Clause P.3 prior to entering into the contract. Therefore, Steelmans was aware that payments of more than $10,000 were against company policy … Therefore, according to Clause L.6 (pg 182), the obligation to pay is voided.

(Same SELECT query as above)

(pg 184)

> being_obliged_function4 (being_obliged1) > 1 result(s).

% INSERT reading1

(pg 186) => being_aware_function1(reading1) (alias: being_aware1)

(pg 187)

… => being_void_function1(being_obliged1) (alias: being_void1)

(pg 187) (Same SELECT query as above) Is SkyHi obliged to pay, according to Clause L.4 ? > 0 results. No, they are not. Reason: The prima facie obligation is void and has therefore ceased. being_obliged_function4 therefore no longer produces an all-things-considered ‘obligation in terms of Clause L.4’ .

Figure 22: Transcript of a session: adding and querying contracting and workflow occurrences

)

)

#

#

A%4Y0 J

' = 7 0

#

= 7 0

J -

= $ ; !!J# = Z 0 .

J!

8

(

9#

/

$ ;0

%

% 7

#

J1

!!J#

$

$ !!J

% B

SELECT

J4 !!5J%

!!J

"

'

#

J4 !!#

$ ;

'

#

#

J1

$

!!J #

being_obliged_function4(being_obliged1)

!!J

J4 !!# $ ;

J4 !!# #

$

%

/4: B

(

*

' I

% % '

(

%

&

.

1/#

( #

#

# % B

.W1%?%3/ .

( #

/ .

&

#

/

$ #

%

# .% %

5J

.

7

#

' /

.

/%

!

#

#

.W?% /#

#

%/

&

.W?%J/#

.W?%5/

"

%

$

# #

% B .W?%4/% #

# (

.W %5/

(

.W %?/% &

# %

$

2

7

*

(

(

% % "

# .

#

L%J/

.

L% /

%

L%5

%

2/

7

D

#

$

#

'

% " % ( # %

I

*

: *

(

)

+

% & # '

#

%

#

#

#

%

2/ / . #

' % "

(

'

$

#

.W5%5/

$

(

'

% "

' % )

#

' #

prohibited

% "$ "

=

1

TJ!#!!!

W1%5

Query10 prohibiting1%

prohibited

'

7

#

.

% "

/

#

#

$ ;#

# (

#

being_supplier1

"

5#

2!/ (

being_supplier1

% " #

(

$

being_supplier1#

[occurrences of [being_supplier]]

#

.

W5%5% /

% 7 paying1 Query10

'

' #

$

prohibited

paying1#

% " Query10%

(

' $

Participant

%

Occurrence

# (

.

%

$

prohibiting1

0 %

paying1

paying1

%

Query10#

% )

5

$

)

7

*

9 #

1

: H

Figure 23: Immediate detection

"

(

#

'

$

# %

#

# %

2/ /' , "

(

$

* $

% ; %

#

#

'

(

$

(

%

#

$ #

'

#

% %

# =

(

=

0 #=

$

I #

0 #

"

0 # % "

# (

: *

(

)

# '

(

%

"

*

J%

5 "

*

'

. % "

/

' %

% (

*

D

$

' % &

$#

' (

$

#

.

)

'

4/% "

% ) ' ' % )

#

paying#

payer

$

'

#

payer

payee

%

$ $

B

Q 6+B 3LR

payee#

'

' payee%

#

$

payer

#6 $

(+ # %

(

7

9 & #

Figure 24: Delayed detection with bottom-up batching

2/'

* # #

%

B *

.

/ %

*

$

% B % ,

#

#

#

% &

'

# % @

'

% B

( % ;

#

#

= = '

%

0 0.

/#

: *

(

)

2/'/ . .W1%J/ # #

!"

$

' $

% " 0

P #

#

#

P

$

%

" #

# #

#

# .

5?/

% %

% (

B &

# # #
(greater-than) = (equal-to)

= (identified-concept) (uniand) UNION (uniand) UNION … (uniand) (intersectand) INTERSECTION (intersectand) INTERSECTION … (intersectand) (differor) – (differand) or (differor) BUT_NOT (differand) EMPTY_SET UNIVERSE UNIVERSE – (differand)

Q1 – Q2 or Q1 but not Q2 ∅ U (U - A1)

Empty Set Universal Set Not / Complement

%

Syntax in EDEEQL grammar

Algebraic, Alphabetic, and Date Queries Greater than, Less than, Equal to < 10 < ‘Jeff’ < 10 Nov 2001 > 10 > ‘Jeff’ > 10 Nov 2001 = 10 = ‘Jeff’ = 10 Nov 2001 Set-Theoretic Queries Concept Identification Union Intersection

W5% /%

PARTICIPANTS IN ROLE (role) IN (occurrence) OCCURRENCES OF (type) WHERE (participant) IS/ARE (role) ROLES (participant) IN (occurrence)

Ordinal Queries Item in 1st of [occurrences of paying where $25,000 is Position paid] in ascending temporal order

(position) OF (set) IN ASCENDING / DESCENDING (sequence) ORDER

Inbuilt and User-Defined Operations Various count(occurrences of paying where $25,000 is paid), max-possible-results(first of occurrences of paying), average(… ), sum(… ), min(… ), max(… ), …

(operation-name) (set)

Table 36: Types of query 55 CriterionTypes

%

'

$ # '

CAPITALS% # =#

$

= [ … ]0 %

–

1

7

#

&!

'

$

'

O

#

" OCCURRENCES#

QUERYIDS ROLE#

CRITERIONTYPE

)

)

Value

PARTICIPANTS%

VALUES

5.

21/# '

"

#

QueryID-CriterionType-

%

Occurrence-Role-Participant

/

9

"

'

*

'

% " "

5L

#

' #

= _ 30

#

'

.

' '

query903

= U ?% 0 # = ] L0 # /%

query901# query902#

54

%

QueryID

CriterionType

Value

query901

equal-to

6.2

(n1)35

query902

less-than

7

(n2)

query903

greater-than

9

(n3)

Table 37: Representation of basic algebraic queries: equality, strictly less than, and strictly greater than

O

=

' 0 # =

' 0 # =

0.

(

'

/# ' % )

= '

'

'

'

0

#

=

0' '

'

54

#'

'

3!!0

'

51

.

# 31/% )

%

# %

(

# * % % n1# n2# n3

EdeeNumber

< n1=6.2# n2=7# n3=9%

#

1

/'

9 '

'

#

' % " "

52

' #

'

=U D

.

'

0 # =] 7 $0 #

=_

0

/%

QueryID

CriterionType

Value

query904

equal-to

‘Brian’

(s4)36

query905

less-than

‘Niki’

(s5)

query906

greater-than

‘Peter’

(s6)

Table 38: Representation of basic alphabetic queries: equality, strictly less than, and strictly greater than

'

.W J%J/#

(

'

%

/ : ?< (

'

9

'

#

#

#

#

#

#

#

.

/

%

'

'

% "

. =

/

# 31/% )

(

"

#

53

*

EdeeSymbol

< * % % s4# s5# s6

'

0 % "

'

5?

#

#

s4=‘Brian’ # s5=‘Niki’ # s6=‘Peter’ %

.

1

&!

QueryID

CriterionType

Value

query907

uniand

query601

uniand

query602

…

…

Table 39: Representation of a union query

&

.

'

' %

"

.

'

/ =

0 % "

' "

4!

*

QueryID

CriterionType

Value

query908

intersectand

query601

intersectand

query602

…

…

Table 40: Representation of an intersection query

'

,

' /

. =

'

/ 0

%

' =

0 % "

'

"

QueryID

CriterionType

Value

query909

differor

query601

differand

query602

4J

Table 41: Representation of a difference query

.% %

*

"

!

1

'

:

%

" %

*

'

:

%

" %

'

.

c1

#

c1

% &

' '

' '

% " "

4

*

QueryID

CriterionType

Value

query910

identified-concept

c1

Table 42: Representation of an identification query that returns c1 if c1 is in the database

.= 0 /'

>

% .

/' %

'

#

$
,>- (, ,!D

& @# D

%

-# D

# &A% J331%

-#

+

E%

D

% )

-)

" %E & -2)

; !D%

;

;

#&

@% . 0,0B

-

0,9.)0 7

0

, 5

0

A # 7

;

&

%$)

;

0

1 5%

J33?%

>6-,0 * !A #$ % # )A% 7

) /& 6

J33L% *

&*

* http://www.businessrulesgroup.org/

J33L%

;

*

%

"

* % 6

E % 9>,+7 (

* 1+

I



%$#

;

% +

%

6

&

%E +- )

.

7# D

A

% J33?%

%

"

%E E -2)

J33 %

&

#

%E

#

,

%

- 0,9 .+ -

'

*D

/* %

%

;

4

% J332%

#% D $

%E &&7 - )

. @+F7& +/%

E#

) %E

+

!!!% E

% "

)

@

# & %

%

+

5

9

A @ &&

7

H% b5 45%

J335% %E +> H-8)

;

+# 7

7# E

" ) %E 7 -2)

28)

& + $

&

+A . %/* 1

;

%

$ -D#

+ % % 6

; 7

%E

"

A#

H

*

%

!E ##E%

# )A% - J332% %

7

0

@ % E

@ %

% # "

% 5J5(55 % J33L%

B 7% 6 $ BB% 6

1

-

: % B

* # "% J3L2%

%

(

%E -')

;

&+% D

% )

7

-

(H %E ;--)

;

%

-#

'

./ .

% D

A

%E H'((()

*

;

E7% , % )

#D

# E% 7

)#

H I

+ %

HE -2)

% 3!(3J% + +

(

H

+

7 %. : 8-)

D#

A

* 7

5

A

D # "

J33L% % 6

0

5

% ) 0

)

# E% J323% http://www.iasc.org.uk/

% A

& B, 0 "" 27

D

E& % + %

6

%

% 7A

&

0

-

@

; I

&

% L3(3 % -

) %. : -2)

*

J33?/% %

%

% 22(J!?%

* 6

5.J/%

.B $

7

% ,777 ,

H% "

-# %

0

J332%

H

; 7

%

-

% & QAA !!JR% %E

J333%

# E% !!!%

+7

;

27-..); !$3%

A

-#

. /% %E H'(( )

A

% ; A

;

)

% 2L(5!2% J33 %

@#

% %E :-8)

&

* +,

3% A

#

, E% J33L%

*

http://www.iasc.org.uk/

%. : -8)

&

%

0

B , 0 "A 2)

A

# E% J332%

-

,

1

-

* http://www.iasc.org.uk/ % http://www.research.ibm.com/rules/home.html

%.&7 '(( )

&D+

@

%.;1='(( )

&A 6 & % &A 6 D

@

%

!!J%

http://www.ilog.com/products/rules/rules_2001.pdf

%. '(( )

&

K+A

+

% !!J% http://www.ipedo.com/

3%

& *-

%.:1-4)

.

&

I

+

)

.& F&

M *

M )

&

%.:1-- )

% &

K%3! % J331% I

& F&

JFB 6L/% .

$B6

J!L4?( F&" (" @ %.:1-- )

-" JF

% +

1

0F1%

3!L1% J333%

&

I

+

)

M ,

%

,

+

M .

1

%

& F&

J4L1!% J333% %A3>'((()

-

7@# )

# 7

"-#

D , %A '((')

-

0

)

#

+ % J4. /%

-&% -

0 D

# D%

% ,

:

% J41(J23% !!!% %

4 +

&

.)& /% A

#

I

%

!! % %A7 '((()

%A:- )

-

$

7

-

-

+ %

+%

%

I

; %

A

%

@- .

/* +

1

J

-

% E

-

)

7

B 0

1

% 433(145# ?!L(? 3% !!!%

-& *"

%A:- )

-;% 0

0

+

B4

0

% J335%

-&

+%

% :

,

9

)

1

% 4.5/%

445% J33?% %A:'((()

-

-&

+%

'

(&

6

7

# %A::-2)

-,

#

%

$

#

%

# H %

% J?4(JL4% +

,

26 7-; ##3% B

% #

% 0

-

% ) )

-(-

% !!!% A

,777 0 J33L%

A 0

% 4 L(

%%

%+ +'(( )

E

I #

EB #

(

I

,

%+=H--)

E

-8 )

(D %

'

A

7

6

%

E

+# 6

)

70

0

2 70; # 3% @

J35%

(H

# & % %

D

#

% L4(22% !!J% #

E

H $ -% +

%

.

'

#

$

"

)

% ) 0

0

5B -

65

4 % J333%

D

D -

(

B $

70)*, 7H$ED"= %+

I &% H

&

%

"

A % 5

2%,-00; !E3% E

,

# ;

% -

J332% %+

-8 )

E

Θ"

%

O

% )

"

2%,-00!E3% E

'(( )

% @

"

'

%

7

%

,

*

-

A

,

#+ % +

+

%

0

%

0

#"

% 435(1! % -

% E

+ )

E

%

#;

% &

%

%

+

E

+

J335%

% ;

, % 5 J(5?L%

" 0

@

% 6

+

% +

, $ H

% J1.4/%

J33L%

+

+

%+ - )

*

-

Z $# 7Z%

"%

6 >

# $D % 5 ,

B $

%+ -2)

!!J%

J335%

E

% 7

15

% J22(J31% +

% )

%+7 -2)

0

@

,

E -

0

&

"

2,- ,1 $## 3% %+7 - )

-

F"

J332%

E %

KJ

% 5 , # ;

% JL?(J21% %+

A

6 % ; +

#6 1

7 % J33L% % E

%

& %

%+ -4)

%"

E

D

@

% ,777

% Z

*

0 5

7

6

( %

J.J!/%

J331% %+ -8)

E

@%

P"

-

D

./ .

"

1

0

% ,)

2 ..10$D3% &

%

J332% %+ -2)

E

%

1 %+

-2)

&

% &7" )@

E

6# @

*

6

%

-8)

5

*

'((()

@

)

E

6# @

B $

+

7

6 .

.

)

E

I

#

@

@ P

@

% &

-

% D

:'(( )

-

#6

%

J5?4%

% 33(J !% J332%

#

(

H- )

0

E

6# @

E

% 5 .J /% + (

@

I

B*

$

6# @

%

I

B#

$$

+% D

)

E

$ @

9

-

(

% -

- %

!!J% (

# @

I

B#

H

, (

.

%

" 6 *

% :

./

% 4% J334% +% % 4%

A

(

%

;+ ; # A"

(H

%

E

"

Z(;%

A

+ %

-

% 1.J/% )

!!!%

,

:

45

% ?L(31%

J32?% %+0 $## 3%

,

&

%7

28)

0

.

+

%

#

#

%

% 4J1(454% J3L2% @

% 1 % "

J4* "

%7 :- )

7Z%

% J3J( J % J32J%

+

-

%7 :- )

+

.

/*

% 7

Z $#

;

% ,777 :

J4!4(J4J4%

%

S

%

+ %

+

)

0

-

% JJ.3/%

%

J335%

-

+ %

+

% :

.

-

% 4.J/%

%

% J( % J334% %7 :-2)

+

(

+

+ 0 %7 :7 '(( )

+%

6 +*

A : +#

% 4. /% +#

J33L%

+

0

= ,

% +

#

+

0

+# %

Z

@

@

$ 7;

%7 0 - )

+ 0

%>:A-8)

7

)

# E%

B

%

A%

% 5!% @-% +

"-# 2,-

0!E3%

1

F

A

%

-

0

B4

0

# E% J335%

-

7@% @ " ,

#)

% L5(5!1% !!!%

&

% #

-

% J11(J21% !!J%

% ) 0

*

% 3.5/%

B

0

J331% &

7

1

% -

)

;

"

--

@

31FJ!%

H% A (6

+ $ :

"

7%

% A

0 5 >9$ %

#

D % -

* http://www.elvin.dstc.edu.au/doc/papers/index.html %:&-8)

+ % )

D

-%

@ 5 ; !E%

%

% 445P412% J332%

!!!%

&

%

%: - )

)

-% &

+

-.

D

%

# /* +

#

1

4

$

%

(

+ A

%: --)

+% " - (

%

0 %

%

"

%

J33?%

B $

% ,777 -

%

J333%

%: A-2)

)#

-#

I

-

0

0

-@%

% 5 ,

% 5L5(52 % J33L%

$ -%

0

-)

@ . %/* "# %

+B -

-&%

% &

-

%:

0

% J34( J1% J33?%

%: - )

%:,'((()

% &

, 0

H %

%

%

% J?1(J23%

!!!%

B

%

% J3?3% %: --)

+% A

A #D

%: '(( )

% )

# E% 7

+%

%:=