Open Collections

UBC Theses and Dissertations

UBC Theses Logo

UBC Theses and Dissertations

An intelligent management information system as a test of a formal accounting theory Clarke, Bevan J. 1975

Your browser doesn't seem to have a PDF viewer, please download the PDF to view this item.

Notice for Google Chrome users:
If you are having trouble viewing or searching the PDF with Google Chrome, please download it here instead.

Item Metadata

Download

Media
831-UBC_1975_A1 C54_1.pdf [ 22.02MB ]
Metadata
JSON: 831-1.0100050.json
JSON-LD: 831-1.0100050-ld.json
RDF/XML (Pretty): 831-1.0100050-rdf.xml
RDF/JSON: 831-1.0100050-rdf.json
Turtle: 831-1.0100050-turtle.txt
N-Triples: 831-1.0100050-rdf-ntriples.txt
Original Record: 831-1.0100050-source.json
Full Text
831-1.0100050-fulltext.txt
Citation
831-1.0100050.ris

Full Text

AN I N T E L L I G E N T MANAGEMENT I N F O R M A T I O N SYS T E E AS A T E S T OF A F O R M A L A C C O U N T I N G T E E O B Y . B y B e v a n J . C l a r k e M . C o r o . , U n i v e r s i t y c f C a n t e r b u r y , 1 9 6 4 . A t h e s i s s u b m i t t e d i n p a r t i a l f u l f i l m e n t c f t h e r e g u i r e u e r t s f c r t h e d e g r e e c f D o c t o r o f P h i l o s o p h y i n t h e d i v i s i o n o f A c c o u n t i n g a n d M a n a g e m e n t I n f o r m a t i o n S y s t e m s i n t h e F a c u l t y o f C o m m e r c e We a c c e p t t h i s t h e s i s a s c o n f o r m i n g t o t h e r e q u i r e d s t a n d a r d , T h e U n i v e r s i t y c f B r i t i s h C o l u m b i a May 1 9 7 5 . I n p r e s e n t i n g t h i s t h e s i s i n p a r t i a l f u l f i l m e n t o f t h e r e q u i r e m e n t s f o r a n a d v a n c e d d e g r e e a t t h e U n i v e r s i t y o f B r i t i s h C o l u m b i a , I a g r e e t h a t t h e L i b r a r y s h a l l m a k e i t f r e e l y a v a i l a b l e f o r r e f e r e n c e a n d s t u d y . I f u r t h e r a g r e e t h a t p e r m i s s i o n f o r e x t e n s i v e c o p y i n g o f t h i s t h e s i s f o r s c h o l a r l y p u r p o s e s may b e g r a n t e d b y t h e H e a d o f my D e p a r t m e n t o r by h i s r e p r e s e n t a t i v e s . I t i s u n d e r s t o o d t h a t c o p y i n g o r p u b l i c a t i o n o f t h i s t h e s i s f o r f i n a n c i a l g a i n s h a l l n o t b e a l l o w e d w i t h o u t my w r i t t e n p e r m i s s i o n . D e p a r t m e n t o f Compare* fc- /^YMAiAah^ T h e U n i v e r s i t y o f B r i t i s h C o l u m b i a 2075 Wesbrook Place Vancouver, Canada V6T 1W5 D a t e i A B S T R A C T An ' a u t o m a t e d a c c o u n t a n t ' c r ' r o b c t b o o k k e e p e r ' i s i m p l e m e n t e d . T h i s i s c a p a b l e o f d e d u c i n g a c c o u n t i n g e n t r i e s a n d u p d a t i n g an a c c o u n t i n g m o d e l c f t h e w o r l d . I t i s g i v e n a s i n p u t a n a r r a t i v e o r d i a l o g u e i n o r d i n a r y i d i c i a t i c E n g l i s h . T h i s e m p i r i c a l p r o j e c t i s a f o c u s a r o u n d w h i c h we s t u d y t h e p o s s i b i l i t y o f an I M I S , a n ' I n t e l l i g e n t M a n a g e m e n t I n f o r m a t i o n S y s t e m ' . U n d e r t h i s h e a d i n g t h r e e a v e n u e s o f r e s e a r c h i n t o w h a t M a t t e s s i c h c a l l s t h e ' i n s t r u m e n t a l s c i e n c e s ' a r e u n i f i e d . T h e y a r e ( a ) T h e I n t e l l i g e n t MIS £ e r se: a n a p p l i c a t i o n c f r e s e a r c h i n t o s o - c a l l e d A r t i f i c i a l I n t e l l i g e n c e t o t h e d e v e l o p m e n t c f t h e c o m p u t e r i z e d M a n a g e m e n t I n f o r m a t i o n S y s t e m . We c o n s i d e r t h a t i f c o m p u t e r s a n d t h e i r s o f t w a r e a r e t c b e e m p l o y e d r e l i a b l y i n v e r y c o m p l e x s y s t e m s i t w i l l b e c o m e n e c e s s a r y f o r t h e d e s i g n o f s u c h a s y s t e m , i t s a d a p t a t i o n t c c h a n g i n g c i r c u m s t a n c e s a n d t h e m a n a g e m e n t c f t h e o r g a n i z a t i o n v i a t h e c o m p u t e r a l l t o b e i n t e g r a t e d a n d d i r e c t e d l a r g e l y by, t h e c o m p u t e r i t s e l f . . I n i t s u l t i m a t e f c r m t h e I R I S w o u l d u s e t h e d e d u c t i v e a n d i n d u c t i v e f o r m a l i s m s o f A r t i f i c i a l I n t e l l i g e n c e t o p u r s u e t o p m a n a g e m e n t o b j e c t i v e s d e l e g a t e d t c i t . (fc) T h e n e t h o d c l c _ g 2 c f t h e i f l s t r u m e n t a l s c i e n c e s . : we r e v i e w t h e m e r i t s o f t h e a x i o m a t i c m e t h o d o f s c i e n t i f i c t h e c r y c o n s t r u c t i o n . I n s t r u m e n t a l d i s c i p l i n e s , s u c h a s a c c o u n t a n c y , a p p e a r t o c a l l f o r e x t e n s i o n s t o s c i e n t i f i c l o g i c , n c t a b l y i n t h e d i r e c t i o n o f n c n - d e c l a r a t i v e l o g i c s . i i (c) We e ^ a j l i i j j j l t h e v a j u e c f i l i i i j e r t a t i c r as f a i t c f a t e s t c f a f o r m a l t h e o r y , s p e c i f i c a l l y I j i r i ' s e x i c n a t i z e d a c c o u n t i n g t h e c r y . At the sane t i n e v-i e n p l c j h i s a > i c n s as t h e e n s p i r i t i n y knowledge c f c u r a c c c i r t i r g i c b c t . fce f i n d t h a t when e l a b o r a t e d t c the p o i n t where i t iray te usee s u c c e s s f u l l y t o deduce a c c c u r t i t c c c r c l u s i c n s \ i a a computer p r c g r a i r the t h e o r y b e a r s a c l o s e r resent t l a n c e t c W a t t ess i c 1' s a x i o m a t i z e d t h e o r y . Such ar a t t u n e ted i e f i t a t i c n i s i n t e r e s t i n g i n i t s cv>n r i g h t . F c r s o v e r , s i n c e t h e nanec€ff€ct o f a c c o u n t i n g i n f e r r o a t i e r nay t e r e g a r d e d as a c e r e c f ar. PIS , i t i s s u g g e s t e d t h a t i f t h e o r e t i c a l a c c c u n t i n c nay te s u c c e s s f u l l y i m p l e m e n t e d as the c u i d i r g k r c v l e d g e c f an IRIS t h i s may l e a d t c the e l a b o r a t i o n i n a s i m i l a r s t y l e c i ar i m p l e i n e n t a t l e t h e o r e t i c f c u r d a t i c n f c r Wacagenert I n f o r m a t i o n S y s t e i r s . i i i T A B L E OF C O N T E N T S . I N T R O D U C T I O N AND O B J E C T I V E S . 1 OTT S p e c i f I c ~ o b j e c t i v e s o f t h e r e s e a r c h . 5 0 . 2 C o m m e n t s u p o n t h e s e o b j e c t i v e s 6 0 . 3 F o u r c a v e a t s . 12 0 . 4 O u t l i n e . 15 C H A P T E R ONE:. I n t e l l i g e n c e k n o w l e d g e a n d a r t i f i c i a l i n t e l l i c e n c e . . 18 1.1 I n t e l l i g e n c e . 21 1.2 A r t i f i c i a l i n t e l l i g e n c e . 24 1.3 K n o w l e d g e i n e p i s t e m c l o g y a n d i n A l . . . . . . . . . . . 30 1 . 3 . 1 W h a t i s " k n o w l e d g e " ? 30 1 . 3 . 2 T h e e p i s t e m o l c g i s t 1 s " k n o w l e d g e " 34 1 .4 A r t i f i c i a l I n t e l l i g e n c e c o m m e n t a r i e s u p o n k n o w l e d g e . 40 1 . 4 . 1 R e l a t i o n a l d e s c r i p t i o n s : n e t w o r k s a n d g r a p h s . . 43 1 . 4 . 2 P r o c e d u r a l d e s c r i p t i o n s 50 1 . 4 . 3 T h e v a l u e o f s e m a n t i c m o d e l s i n a i d i n g d e d u c t i v e i n f e r e n c e s 58 1 . 4 . 4 A c t i o n s a s t r u t h s . 64 1 . 4 . 5 I n d u c t i v e l o g i c a s p r a c t i c e d t y a m a c h i n e . . . . . 6 7 1 . 4 . 6 S t r u c t u r e s f o r o r g a n i z i n g k n o w l e d g e . . . . . . . . . . . 72 1 .5 E x a m p l e s o f A l r e s e a r c h . 81 1 .6 T h e l a n g u a g e s o f A r t i f i c i a l I n t e l l i g e n c e . . . . . . . 1 0 2 1 . 6 . 1 An i n t r o d u c t i o n t c L I S P 102 1 . 6 . 2 V e r y h i g h l e v e l l a n g u a g e s f o r t h e o r e m - p r o v i n g . 111 1 . 6 . 3 T h e s i g n i f i c a n c e o f v e r y h i g h l e v e l l a n g u a g e s . 132 C H A P T E R TWO.: T h e m e t h o d o l o j g v c f t h e i n s t r u m e n t a l s c i e n c e s a n d a x i o f a t i z e d a c c o u n t i n g t h e o r y 134 2.1 T h e p o v e r t y o f t h e o r y i n a c c o u n t i n g a n d MIS . . . . 1 3 6 2 . 2 T h e o r y : t h e h y p o t h e t i c o - d e d u c t i v e m e t h o d . . . . . . 1 3 9 2 . 2 . 1 T e s t i n g t h e o r i e s f o r t r u t h a n d i n s t r u m e n t a l t h e o r i e s f o r u t i l i t y . . . . . . . . . . . 99 2 . 3 A t h e o r y a s t h e d e f i n i t i o n o f i t s l a b e l . 1 6 5 2 . 3 . 1 A n a l y t i c d e f i n i t i o n s o f " a c c o u n t i n g " a n d " M I S " . . 1 7 0 2 . 4 I m p l e m e n t a t i o n a s a t e s t o f a n i n s t r u m e n t a l t h e o r y . . . . 1 9 3 2 . 4 . 1 N e s t e d t h e o r i e s a n d d o m a i n s . . . . . . . . . . . 1 9 7 2 . 4 . 2 T e s t s i g n a l s a s s u r r o g a t e d o m a i n s f o r I j i r i ' s t h e o r y . 2 0 0 iv C H A P T E R T H R E E : , T h e i n t e l l i g e n t m a n a g e m e n t i n f o r m a t i o n s j s t e i i I i i i~Iis~to I M I S 2 1 0 3.1 T h e " t r a d i t i o n a l " . M IS . . . 2 1 0 3 . 2 A new m o d e l o f t h e M IS . 2 2 0 3 . 3 S i x f a c u l t i e s s u f f i c i e n t f o r an i n t e l l i g e n t , g o a l - s e e k i n g e n t i t y 2 2 3 3 . 4 F o u r l e v e l s o f e x p e r i m e n t a l IM I S . . . . . . 2 3 4 3 . 4 . 1 K IWI ONE - t h e a c c o u n t i n g d e d u c t i o n s y s t e m . . . . 2 3 6 3 . 4 . 2 K IWI TWO - a d d i n g n a t u r a l l a n g u a g e u n d e r s t a n d i n g . . . . . . . . . 2 4 1 3 . 4 . 3 K IW I T H R E E - a s i m p l e m a n a g e r i a l m o d e l . . . . . . . . 2 4 8 3 . 4 . 4 K IW I FOUR - a g o a l - d i r e c t e d s y s t e m 2 5 4 3 . 5 P a r a d i g m s h i f t o r i n c r e m e n t a l g r o w t h ? . . . . . . . . . 2 5 4 C H A P T E R FOUR.: I m p l e m e n t i n g a s i m p l e IM I S 261 4 .1 T h e n a r r o w o b j e c t i v e : a c c o u n t i n g d e d u c t i o n . . . . 2 6 3 4 . 2 P r e f e r e n c e f o r a p r o c e d u r a l n o t a t i o n . . . . . 2 7 4 4 . 3 T h e b r o a d e r o b j e c t i v e : a m o d e s t I M I S 2 7 7 4 . 4 F u r t h e r s e t s c f t e s t s i g n a l s . . . . . . . . . . . . . . . . . . 2 7 8 4 . 5 O v e r v i e w o f m e t h o d s . . . . 2 8 3 4 . 5 . 1 T h r e e s t a g e s o f a n a l y s i s . 2 8 4 4 . 5 . 2 E x t e n s i b i l i t y 2 8 6 4 . 5 . 3 T h e f l o w o f c o n t r o l . 2 8 7 4 . 6 D a t a s t r u c t u r e s , 2 9 2 4 . 6 . 1 N o t a t i o n s , f o r p r i m i t i v e s 8 r e l a t i o n s h i p s 2 9 2 4 . 6 . 2 O v e r a l l d a t a s t r u c t u r e s . . 2 9 7 4 . 6 . 3 A p r i o r i k n o w l e d g e . . . . 3 0 1 4 . 6 . 4 E x p r e s s i n g a c c o u n t i n g r e l a t i o n s h i p s . . 3 0 4 4 . 7 N a t u r a l l a n g u a g e a n a l y s i s o f t h e s i g n a l 3 1 4 4 . 7 . 1 S y n t a x : p a r s i n g E n g l i s h w i t h a n ATN g r a m m a r . . . 3 1 4 4 . 7 . 2 A d d i n g t h e n o t a t i o n s o f b o o k k e e p i n g & m a t h e m a t i c s . 3 2 4 4 . 7 . 3 P r o c e d u r a l s e m a n t i c s : c a n o n i c a l v e r b s & c a s e - f r a m e s . 3 2 6 4 . 7 . 4 T h e s e m a n t i c l e x i c o n 3 3 9 4 . 8 A p p l y i n g t h e s e m a n t i c f u n c t i o n s . . . . . . . . . . . . . . . 3 4 8 4 . 8 . 1 A s s e r t i n g t h e p r o p o s i t i o n s i m p l i e d by t h e s i g n a l i n t o S I G F A C T S 3 4 8 4 . 8 . 2 T h e p r o b l e m s o f i m p l i e d p r i o r a s s e r t i o n s , l o o k - a h e a d S c o n c e p t r e c o g n i t i o n . . . . . . . . . . . . 3 5 8 4 . 9 U p d a t i n g t h e m o d e l o f t h e w o r l d . 3 7 3 4 . 9 . 1 T h e u p d a t i n g m e t h o d . . . . . 3 7 3 4 . 9 . 2 T I M E L I N E : r u n n i n g t i m e f o r w a r d a n d b a c k w a r d . . . 3 7 7 4 . 9 . 3 SWG a f t e r t h e f i r s t t h r e e s i g n a l s . 3 8 0 4 . 9 . 4 T h e " A c c o u n t s " . 3 8 3 4 . 1 0 Some v a r i a n t s i g n a l s . 387 V C H A P T E R F I V E j . C o n c l u s i o n s - t e s t i n g §L M § t h e o r i e s ^ _ 3 93 5.1 I m p l e m e n t a t i o n a s a t e s t o f a t h e o r y 3 9 4 5 . 1 . 1 T h e m e t h o d o f t e s t i n g 3 9 7 5 . 1 . 2 T h e r e s u l t s o b t a i n e d . . . . . 3 9 8 5 . 1 . 3 T h e r e v i s e d t h e o r y o f d o u b l e - c l a s s i f i c a t i o n a l a c c o u n t i n g . . . . 4 0 7 5 . 1 . 4 C o m p a r i s o n w i t h H a t t e s s i c h ' s t h e o r y . . . . . . . . . . . 4 2 3 5 . 2 T h e I M I S c o n c e p t . 4 26 C H A P T E R S I X : D i r e c t i o n s f o r f u t u r e r e s e a r c h . 4 2 7 6.1 M e t h o d o l o g i c a l p r o b l e m s . 4 2 7 6 . 2 A r t i f i c i a l i n t e l l i g e n c e p r o b l e m s . . . . . . . . . . . . . . 4 3 3 6 . 3 P r o b l e m s o f a c c o u n t a n c y . . . . 4 3 4 6 . 4 P r o b l e m s o f h i g h e r - o r d e r I M I S . 4 3 7 B I B L I O G R A P H Y ^ 4 49 A P P E N D I C E S ~ ~ I " l G l o s s a r y . . . . . 4 6 9 A2 N a t u r a l l a n g u a g e u n d e r s t a n d i n g : W i n o g r a d ' s S H R D L U . 4 7 5 A3 E p i s t e m c l o g y a s a n e x p e r i m e n t a l s c i e n c e : E x t r a c t f r o m " T h e u n d e r s t a n d i n g o f t h e t r a i n " by E c c l e s . . . . . . . . . . . 3 3 5 A4 A d e f i n i t i o n o f s y n t a x : A C o n v e r s a t i o n a l A c c o u n t i n g l a n g u a g e . 4 9 3 A5 T h e f o r m a t o f s i g n a l s i n p u t t c K IWI TWO 4 9 6 A6 L i s t i n g o f K IWI TWO c o m p u t e r c o d e 5 0 4 A7 T h e S e m a n t i c l e x i c o n : t h e s e m a n t i c s o f c o m m e r c i a l v e r b s . 5 1 2 v i 1 1 1 1 1 1 L I S T OF F I G O R I S . | 1 F i g u r e 1. 1: A n e t w o r k d e s c r i p t i o n . F i g u r e 1. 2 : D e s c r i p t i v e n e t w o r k r e p r e s e n t i n g A R C H . F i g u r e 1. 3: A t a s k f o r E v a n s * ANALOGY p r o g r a m . F i g u r e 1, 4 : T h e p l a n e d e f i n i n g ' f o o d ' i n Q u i l l i a n ' s S e m a n t i c M e m o r y . F i g u r e 1. 5 : I n t e r s e c t i n g p a t h w a y s t r a c e d t h r o u g h t h e s e m a n t i c m e m o r y . F i g u r e 1. 6 : E x a m p l e o f a s c e n e a n a l y s e d by G u z m a n ' s p r o g r a m . F i g u r e 1. 7 : A l g e b r a 6 w o r d p r o b l e m s f o r S T U D E N T S C A R P S . F i g u r e 1. 8: T r a i n i n g s e g u e n c e f o r W i n s t o n ' s c o n c e p t l e a r n i n g p r o g r a m . F i g u r e 1. 9: T h e b i n a r y t r e e s t r u c t u r e c f a U S E l i s t . F i g u r e 1 . 1 0 : T h e e f f e c t s o f a u d i t r e p o r t s u p o n s h a r e p r i c e s . F i g u r e 1. 11 : D e c l a r a t i v e 8 n o n - d e c l a r a t i v e d e d u c t i o n s . F i g u r e 4 . 1 : O v e r a l l f l o w o f c o n t r o l i n a n I M I S F i g u r e 4 . 2 : A p r i o r i k n o w l e d g e - t h e i n i t i a l SWG. F i g u r e 4 . 3 : Two a l t e r n a t i v e s y n t a c t i c r e a d i n g s . F i g u r e 4 . 4 : S e n t e n c e s t r u c t u r e s o u t p u t b y A T U g r a m m a r . F i g u r e 4 . 5 : S I G F A C T S i m m e d i a t e l y a f t e r t h e f i r s t s i g n a l . F i g u r e s i g n a 1 4 . s . 6 : S I G F A C T S r e s u l t i n g f r o m t h e 2 n d a n d 3 r d F i g u r e h e u r i s 4 . t i c 7 • : D e c i s i o n - t a b l e f c r t h e c o n c e p t - r e c o g n i z i n g F i g u r e 4 . 8 : T h e SWG a f t e r t h e f i r s t s i g n a l . F i g u r e o n l y ) . 4 . 9 : T h e SWG a f t e r u p d a t i n g by t h e t h i r d s i g n a l ( p a r t v i i F i g u r e 4 . 1 0 : T h e c o m b i n e d SWG a f t e r t h e t h i r d s i g n a l . F i g u r e 4 . 1 1 : T h e a c c o u n t s , a f t e r t h e t h i r d s i g n a l . F i g u r e A 3 . 1 : T a b u l a r r e p r e s e n t a t i o n c f t h e t h r e e w o r l d s t h a t c o m p r i s e a l l e x i s t e n c e . F i g u r e A 3 . 2 : T h e t h r e e p o s t u l a t e d c o m p o n e n t s i n t h e w o r l d o f c c n s c i c u s n e s s . F i g u r e A 3 . 3 : I n f o r m a t i o n f l e w b e t w e e n t h e t h r e e w o r l d s . v i i i ACKNOWLEDGEMENT N c f o r m a l , p r i n t e d a c k n o w l e d g e m e n t c c u l d l e s u f f i c i e n t t o e x p r e s s my g r a t i t u d e t o t h e many who h a v e made my i n t e l l e c t u a l j o u r n e y t c V a n c o u v e r p o s s i b l e a n d s c d e e p l y r e w a r d i n g . My t h a n k s m u s t g o f i r s t t o my w i f e a n d f a v c r i t e t y p i s t , V e l m a , a n d t c B r e n d o n , J e f f r e y a n d J u l i a n . t*y f a m i l y h a v e ' b o r n e m o r e t h a n t h e i r s h a r e o f t h e s t r a i n s o f t h e s e many m o n t h s p a s t a n d t h e i r r e l i e f a t t h e c o m p l e t i o n o f " d a d d y ' s b i g b o o k ' i s a s g r e a t a s my o w n . We a r e g r a t e f u l t o t h e many m e m b e r s c f f a c u l t y a n d f e l l o w s t u d e n t s who h a v e s t i m u l a t e d me, h a v e l i s t e n e d p a t i e n t l y a n d h a v e p e r m a n e n t l y e n r i c h e d o u r l i v e s w i t h t h e i r f r i e n d s h i p s . We s h a l l n e v e r f o r g e t , among o t h e r s , P e t e r S J u d i D r u m m o n d , E r a v i n 8 I n d r a M c u d g i l l , E d u a r d o S G l o r i a S c h w a r t z a n d J o h n S B a r b i e J i a g e n . T h e g e n e r o u s f i n a n c i a l s u p p o r t c f t h e U n i v e r s i t y c f B r i t i s h C o l u m b i a , t h e s u p p o r t o f t h e U n i v e r s i t y o f C a n t e r b u r y by way o f a n e x t e n s i o n o f my s t u d y l e a v e a n d t h e s u p p o r t c f my c o l l e a g u e s t h e r e who s h o u l d e r e d my t e a c h i n g r e s p o n s i b i l i t i e s i s g r a t e f u l l y a c k n o w l e d g e d . T h e e x c e l l e n c e c f t h e UEC C o m p u t e r C e n t r e a n d t h e h e l p f u l n e s s o f i t s s t a f f d e s e r v e s p e c i a l r e m a r k . A b o v e a l l I w c u l d l i k e t c t h a n k my c o m m i t t e e f i r s t D r . G . A. F e l t h a m a n d l a t e r D r s . A . S . D e x t e r ( a s C h a i r m a n ) a n d B . V . M a t t e s s i c h o f t h e F a c u l t y o f C o m m e r c e a n d D r . R. E e i t e r o f t h e D e p a r t m e n t c f C o m p u t e r S c i e n c e - f o r t h e i r p a t i e n t e n d u r a n c e o f h u n d r e d s o f p a g e s o f p r e l i m i n a r y m e m o r a n d a a n d f o r t h e i r c r i t i c i s m a n d c o u n s e l . I ewe a p a r t i c u l a r l y g r e a t d e b t t o D r . D e x t e r f o r h i s t h o u g h t f u l a n d warm e n c o u r a g e m e n t a n d h i s p r a c t i c a l a s s i s t a n c e i n s o many way s a n d t o D r . H a t t e s s i c h w h o , t h r o u g h t h e e x a m p l e c f h i s own w r i t i n g s a n d h i s p a t i e n t , c a r e f u l c r i t i c i s m o f my o w n , h a s t r i e d t o t e a c h t h e m e a n i n g o f r i g c u r a n d c l a r i t y i n s c i e n t i f i c r e s e a r c h t o a d i f f i c u l t p u p i l . B e v a n J . C l a r k e C h r i s t c h u r c h , Hew Z e a l a n d J u n e 1 9 7 5 . IM I S j . I n t e l l i g e n t M i s a n d A c c o u n t i n g T h e o r y . | C h a p t e r 0 : I n t r o d u c t i o n a n d O b j e c t i v e s . C o m p u t e r - b a s e d M a n a g e m e n t i n f o r m a t i o n S y s t e m s ( ' M I S ' ) o f r a p i d l y g r o w i n g c o m p l e x i t y a r e o n e i m p o r t a n t t e c h n o l o g i c a l r e s p o n s e o f s o c i e t y t o t h e p r o b l e m s o f m a n a g i n g i t s c o m p o n e n t o r g a n i z a t i o n s a n d t h e i r r e s o u r c e s . T h e a r t c f s y s t e m d e s i g n h a s p r o g r e s s e d a s c o m p u t e r s h a v e b e c o m e m o r e a b l e a n d a s t h e e x p e n d i t u r e o n i n f o r m a t i o n p r o c e s s i n g h a s i n c r e a s e d a s a f r a c t i o n o f n a t i o n a l e x p e n d i t u r e . I t i s new p o s s i b l e t c d e s i g n , i m p l e m e n t a n d m a i n t a i n m a n a g e m e n t i n f o r m a t i o n s y s t e m s o f i m p r e s s i v e p r a c t i c a l c o m p e t e n c e , w h i c h b e c o m e i n e x t r i c a b l e p a r t s o f t h e m a n a g e m e n t p r o c e s s e s t h e y s e r v e . H o w e v e r , s u c h s y s t e m s a r e n e t s u b j e c t t c a n y b u t c r u d e l y p r a g m a t i c e v a l u a t i o n T h e y . a r e n e t t h e o u t w a r d e x p r e s s i o n c f auj r i g o r o u s ^ t e s t a b l e t h e o r y A s a r e s u l t we a r e i n t h e u n f o r t u n a t e p o s i t i o n o f b e i n g a b l e t o d e f i n e w i t h p r e c i s i o n n e i t h e r t h e v e r y c o n c e p t o f a n M IS i t s e l f n o r t h e s t a n d a r d s o f p e r f o r m a n c e b y w h i c h s u c h a s y s t e m i s t o be j u d g e d . We h a v e a n a r t , r a t h e r t h a n a s c i e n c e a n d we c a n n c t u s e t h e p r o v e n m e t h o d s o f s c i e n t i f i c r e s e a r c h t o a d v a n c e c u r k n o w l e d g e n o r c r i t i c i s e o u r own c r e a t u r e s . P e r h a p s i t i s b e c a u s e t h e f i e l d i s s t i l l y o u n g a n d i t s t e c h n o l o g y i s c h a n g i n g r a p i d l y t h a t f e w c f i t s p r a c t i t i o n e r s a p p e a r t c b e a t a l l d i s m a y e d b y i t s l a c k o f a n y u n i f y i n g t h e o r y a n d i t s f a i l u r e t o u s e t h e t o o l s o f s e l f - a n a l y s i s w h i c h s c i e n c e a f f o r d s . I n t r o d u c t i o n . I IMIS;. I n t e l l i g e n t MIS a n d A c c o u n t i n g T h e o r y . . 2 M o r e o v e r , c o m p u t e r - b a s e d M a n a g e m e n t I n f o r m a t i o n S y s t e m s a r e a t p r e s e n t c r e a t e d b y t h e l a b o r i o u s a n d e r r o r - p r o n e m a n u a l a s s e m b l y o f s m a l l m o d u l e s i n t c l a r g e s y s t e m s , a p r o c e s s w h i c h c a r r i e s n o i n h e r e n t g u a r a n t e e o f t h e o v e r a l l i n t e g r i t y o f t h e s v s t e m n o r o f i t s a b i l i t y t o m a n a g e i n a i n t e g r a t e d m a n n e r . I n d e e d , t h e c o m p l e x i t y c f t h e t a s k o f b u i l d i n g s y s t e m s i n t h i s m a n n e r t e c f r e q u e n t l y d e f e a t s t h o s e who a t t e m p t i t . C l e a r l y t h e s o l u t i o n t c s u c h p r o b l e m s m u s t , i n p a r t , i n v o l v e t h e c o m p u t e r s y s t e m s i n t h e t a s k o f w r i t i n g t h e i r own s o f t w a r e , 1 a n d t h e s u g g e s t i o n s we s h a l l m a k e f o r a d a p t i v e MIS a r e a l o n g t h e s e l i n e s a l t h o u g h t h e y a r e m o r e b o l d t h a n p r e v i o u s p r o p o s a l s f o r ' a u t o m a t e d s y s t e m d e s i g n ' . 1 " A t p r e s e n t t h e l a r g e s t m a c h i n e s c o m e w i t h m o r e o r l e s s a m i l l i o n w o r d s o f s o f t w a r e . I n a n o t h e r d e c a d e c c u l d we h a v e 100 m i l l i o n ? . . . I f t h i s i s t c b e a c h i e v e d , I t h i n k i t w i l l h a v e t o b e d o n e by t h e m a c h i n e s t h e m s e l v e s g e n e r a t i n g m o s t o f t h e i r own s o f t w a r e b e c a u s e h u m a n s s i m p l y c a n n o t d o t h i n g s c o r r e c t l y a t t h a t r a t e . " B. W. H a m m i n g , B e l l T e l e p h o n e L a b o r a t o r i e s , 1 9 6 9 . I n t r o d u c t i o n . IMISj^ I n t e l l i g e n t H I S a n d ficcountinc[ T h e o r y . 3 is££2iIJQtanc^ i s a f a r o l d e r i n f o r m a t i o n p r o c e s s i n g p r o f e s s i o n . I n c r i s e s o f i d e n t i t y i t h a s s o m e t i m e s h a d d i f f i c u l t y i n d e f i n i n g i t s b o u n d a r i e s - i n d i s t i n g u i s h i n g i t s s u b j e c t m a t t e r f r o m e m e r g i n g d i s c i p l i n e s , MIS a m o n g t h e m . B u t A c c o u n t a n c y h a s i t s p r o p e r s u b j e c t m a t t e r a n d t h e r e i n i t t o o h a s r e s p o n d e d t o t h e g r o w i n g c o m p l e x i t y o f s o c i e t y w i t h a c o r r e s p o n d i n g g r o w t h i n t e c h n i c a l c o m p e t e n c e . E e e p e r s i m i l a r i t i e s a r e m o r e d i s t u r b i n g . A c c o u n t a n c y h a s a l s o b e e n s t r a i n e d t o r e s p o n d t o a d i v e r s i t y o f p u r p o s e s . I t t e c o f f e r s many m o d e l s o f i t s b a s i c s y s t e m s . A n d l i k e MIS i t l a c k s a n e m b r a c i n g , u n i f y i n g t h e o r e t i c a l f r a m e w o r k , w i t h i n w h i c h i t s v a r i e d r e s p o n s e s h a v e t h e i r p l a c e a n d i n t e r m s o f w h i c h t h e y may b e e v a l u a t e d . H o w e v e r , t h e o r i e s c f a c c o u n t a n c y h a v e b e e n p r o p o s e d . T h e s e a t t e m p t t c i d e n t i f y t h e c o r e o f a c c o u n t a n c y a n d t c o r g a n i z e i t s p r o p o s i t i o n s f o r c r i t i c a l s t u d y . When f r a m e d a s h y p o t h e t i c c - d e d u c t i v e s y s t e m s s u c h t h e o r i e s may b e t e s t e d f o r t h e i r m e t h o d o l o g i c a l c o n s i s t e n c y a n d t h e i r f a c t u a l p r e m i s e s a r e o p e n t o p o s s i b l e r e f u t a t i o n . We c o m m e n d t h e s e f o r m a l t h e o r i e s , w h i c h e m p l o y t h e r i g o r o u s m e t h o d s o f d e d u c t i v e l e g i c , a n d w i s h t c s e e c r e a t e d s i m i l a r l y r i g o r o u s a n d a n a l y t i c ' t h e o r i e s c f M I S . I n t r o d u c t i o n . IMIS.: I n t e l l i g e n t MIS a n d A c c o u n t i n g T h e o r y 4 A r t i f i c i a l l J Q t € l l i a , e j c e x a n i n t e r d i s c i p l i n a r y i n t e r s e c t i o n o f c o m p u t e r s c i e n c e , m a t h e m a t i c a l l o g i c a n d t h e s t u d y o f human p r o b l e m - s o l v i n g i s t h e t h i r d a r e a f r c m w h i c h we d r a w o u r p r o p o s a l s , We b e l i e v e t h a t w h i l e i t s a t t a i n m e n t s a r e a s y e t m o d e s t i n r e l a t i o n t o i t s h o p e s i t s i n s i g h t s a n d m e t h o d s a r e a l r e a d y a p p l i c a b l e t o p r o b l e m s f a c e d b y M a n a g e m e n t A c c o u n t i n g a n d I n f o r m a t i o n S y s t e m s . E o w e v e r , m e r e i s s u g g e s t e d t h a n t h e i n c i d e n t a l ' a p p l i c a t i o n ' c f r e s u l t s i n o n e f i e l d t o p r o b l e m s i n a n o t h e r . We s h a l l a r g u e t h a t when A c c o u n t i n g t h e o r i e s a n d M a n a g e m e n t I n f o r m a t i o n S y s t e m s a r e s e e n a s s u b j e c t s f o r s c i e n t i f i c t h e o r i e s t h e r e i s f u n d a m e n t a l l i f f i i i 3 £ i i i b e t w e e n t h e s t r u c t u r e c f s u c h t h e o r i e s a n d t h a t o f m o d e l s i n A r t i f i c i a l I n t e l l i g e n c e f o r t h e r e p r e s e n t a t i o n c r I n s h o r t . A r t i f i c i a l I n t e l l i g e n c e , MIS a n d A c c o u n t a n c y a r e a l l c o n c e r n e d w i t h t h e r e p r e s e n t a t i o n a n d p u r p o s e f u l u s e o f k n o w l e d g e a n d h a v e much t o l e n d e a c h e t h e r . I n t r c d u c t i o n . I M I S I n t e l l i g e n t WIS a n d A c c o u n t i n g T h e o r v . . 5 0^1 S P E C I F I C O B J E C T I V E S C F T H I S BESEJJRCH.. (1) We s h a l l p r o p o s e a m o d e l i n w h i c h an MIS i s t o b e s e e n p r i m a r i l y a s a r e n t i t y d i s p l a y i n g i n t e l l i g e n t b e h a v i o u r , a n I n t e l l i g e n t M a n a g e m e n t I n f o r m a t i o n S y s t e m ^ ( o r • I M I S ' ) , we s h a l l p r e s e n t a n d r e v i e w r e s e a r c h e s i n A r t i f i c i a l I n t e l l i g e n c e ( A l ) w h i c h s u p p o r t t h i s p r o p o s a l . I n p a r t i c u l a r we s h a l l c o n s i d e r t h e s i g n i f i c a n c e o f w o r k i n a u t o m a t i c t h e o r e m - p r o v i n g , r o b o t i c s a n d i n d e v i s i n g m a c h i n e - a c c e s s i b l e r e p r e s e n t a t i o n s o f k n o w l e d g e i n f o r m s s u i t a b l e t o g u i d e i n t e l l i g e n t b e h a v i o u r . (2) We s h a l l i m p l e m e n t a s v s t e m d i s p l a y i n g s o m e o f t h e c h a r a c t e r i s t i c s c f a n I n t e l l i g e n t M a n a g e m e n t I n f o r m a t i o n S y s t e m , i n t h e d o m a i n c f a c c o u n t i n g a n d m a n a g e m e n t . (3) We s h a l l e m p l o y t h e r e s u l t i n g c o m p u t e r s y s t e m a s a n o v e l m e t h o d o l o g i c a l d e v i c e t c t e s t a f o r r a a l x a x i o m a t i z e d t h e o r y o f a c c o u n t i n g by I j i r i ( 1 9 6 7 ) a n d t o p r o v i d e a f o u n d a t i o n f o r t e s t i n g an a x i o m a t i z e d t h e o r y o f a c c o u n t a n c y b y M a t t e s s i c h ( 1 9 6 4 , 1 9 6 9 , 1 9 7 2 a , 1 9 7 2 b , 1 9 7 3 a , 1 9 7 3 b ) a n d a f o r m a l , a x i o m a t i z e d t h e o r y o f MIS b y M a t t e s s i c h ( 1 9 7 2 c ) . I n t r o d u c t i o n . IMIS,: I n t e l l i g e n t MIS ana Accounting Thecrj,. 6 Q.j.2 COMMENTS UPON THESE OBJECTIVES. Our r e s e a r c h has two major components which although c l o s e l y r e l a t e d have d i f f e r i n g methodological s t a t u s : the p r o p o s a l f o r the IMIS and the t e s t of an accounting theory. (A) the f i r s t component - the e v a l u a t i o n cf the p o s s i b i l i t y t h a t a computer-based Management Information System may be designed to be regarded as i n t e l l i g e n t i n the manner that a human manager i s i n t e l l i g e n t - i s n e c e s s a r i l y e x p l o r a t o r y and c o n j e c t u r a l . Any i n s t r u m e n t a l system, such as a management i n f o r m a t i o n system i s to be t e s t e d p r i n c i p a l l y by a judgment as to whether or not i t f u l f i l s i t s purpose and then upon the degree to which i t f u l f i l s i t s purpose. I f the system i s expressed as a theory we have, of course, the o v e r r i d i n g duty to attempt to f i n d out whether i t i s t r u e . 2 I t i s cur hypothesis that an IMIS, as we s h a l l propose i t , promises t c f u l f i l the purposes of an MIS more adeguately than what we may c a l l ' t r a d i t i o n a l ' MIS designs. Eut we recognise that nc easy unequivocal t e s t of such an hypothesis i s p o s s i b l e . 2 SSftaintv. that a f a c t u a l theory i s true i s , s t r i c t l y speaking, u n o b t a i n a b l e . See Chapters 1 and 2, When we r e f e r i n t h i s study to the t r u t h of a f a c t u a l p r o p o s i t i o n without q u a l i f i c a t i o n we mean tc imply that the p r o p o s i t i o n has thus f a r s u r v i v e d a l l cur attempts to r e f u t e i t and i s , i n Popper's terms (19nn), h i g h l y c o r r o b o r a t e d . When we r e f e r t o ' t e s t i n g ' a theory we r e f e r to such attempts. I n t r c d u c t i o n . IMIS:. I n t e l l i g e n t H IS a n d A c c o u n t i n g T h e o r y ^ 7 We a r e e n c o u r a g e d t c p o s i t s u c h a s y s t e m b y t h e c o n s i d e r a b l e a d v a n c e s made i n t h e s i m u l a t i o n o f i n t e l l i g e n t b e h a v i o u r i n A r t i f i c i a l I n t e l l i g e n c e r e s e a r c h . T h e r e s e a r c h i n A l w h i c h i s o u r p r i n c i p a l m o d e l i s t h a t i n t c t h e o r e m - p r o v i n g s y s t e m s p a r t i c u l a r l y a s a p p l i e d t c t h e m o b i l e , s e l f - m a n a g i n g , g o a l - s e e k i n g r o b o t . 3 T h e e s s e n t i a l d i f f e r e n c e s b e t w e e n t h e p r e s e n t p r o p o s a l a n d t h e g o a l s o f s u c h a p r o j e c t a s t h e S B I M a r s B o v e r P r o j e c t l i e i n t h e e n v i r o n m e n t s i n t o w h i c h t h e g e n e r a l m o d e l i s i n t e r p r e t e d . We s h a l l t h e r e f o r e d i s c u s s t h e m o s t r e l e v a n t o f t h e s e a t t a i n m e n t s a n d a t t e m p t t o d i s t i l v i e w p o i n t s c n t h e n a t u r e o f i n t e l l i g e n c e a n d o n m e a n s t o r e p r e s e n t k n o w l e d g e t o a c o m p u t e r s o t h a t i t may b e h a v e i n t e l l i g e n t l y . T h i s m o d e l c f t h e MIS a s a s i n g l e a n d p o t e n t i a l l y i n t e l l i g e n t e n t i t y i s o f f e r e d a s a u n i f y i n g f r a m e w o r k f c r MIS d e s i g n a n d r e s e a r c h . W i t h o u t s u c h a n o v e r a l l t h e o r y t e x t s i n t h e m a i n s t r e a m c f MIS a n d d a t a - p r o c e s s i n g l i t e r a t u r e 4 h a v e a p p e a r e d a s m e r e t e c h n i c a l h a n d b o o k s a n d c o l l e c t i o n s c f c o n v e n t i o n a l w i s d o m . T h e v a l u e o f a u n i f y i n g f r a m e w o r k c a n b e s e e n i n t h e i n s t r u c t i v e a n d r e l e v a n t e x a m p l e c f 3 F