5.2 agents.km (agents used in communication)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; Comupters and Humans with various instruments of communication
(Intelligence has
(superclasses (Agent)))
(Instrument has
(superclasses (Physobj))
(subclasses (ComInstrument MovInstrument)))
;; Instruments used for locomotion
(MoveInstrument has
(superclasses (Instrument)))
;; Instruments used for communication
(ComInstrument has
(superclasses (Instrument)))
;; Defining position of Computers, Intelligence, Humans and Animals
;; since any of them might be involved in the communication
;; Generally we will consider the source of a communication as the
;; basis for classifying a communication into a category. This
;; is useful for defining the verbs later. Since the computers
;; are accuiring more and more intelligence and can literally
;; talk (speech synthesisers) and listen (voice recognition),
;; I am using the definition of wether an Agent can communicate
;; using human language as a basis of wether it is intelligence
;; or not. This basis was necessary only to differentiate between
;; the communication capabilities of humans, animals, computers
;; while leaving the possibility of an extra-terrestrial intelligence
;; open. It is not be implied to define in any philosophical
;; sense.
(Living has
(subclasses (Animal))
(superclasses (Physobj Agent)))
(Intelligence has
(subclasses (Human Computer))
(superclasses (Agent)))
(every Intelligence has
(body-parts ((a IntelligentBrain))))
(Brain has
(superclasses (Physobj))
(subclasses (IntelligentBrain)))
(IntelligentBrain has
(superclasses (Brain)))
(Brain has
(superclasses (Physobj)))
(Animal has
(subclasses (HigherAnimal))
(superclasses (Living)))
(HigherAnimal has
(subclasses (Human Mammal Fish))
(superclasses (Animal)))
(every HigherAnimal has
(body-parts ((a Brain))))
(Human has
(superclasses (Intelligence Animal)))
(Machine has
(subclasses (Computer))
(superclasses (Physobj)))
;; computer can serve both a source/destination and instrument of
;; communication itself (see definition of ComInstrument and Communicate)
(Computer has
(superclasses (Intelligence Machine ComInstrument)))
(PC has
(superclasses (Computer)))
(every PC has
(parts (*Modem *InternetCard *Keyboard *Monitor)))
;; VARIOUS PARTS OF A PC USED FOR COMMUNICATION
(*Modem has
(domain (Computer))
(range (Computer))
(instance-of (ComInstrument))
(type (*Source *Reciever))
(label (*Modem))
(phys-medium (*Network)))
(*InternetCard has
(domain (Computer))
(range (Computer))
(instance-of (ComInstrument))
(type (*Source *Reciever))
(label (*Modem))
(phys-medium (*Network)))
;; used for communication with a Human
(*Keyboard has
(domain (Computer))
(range (Computer))
(instance-of (ComInstrument))
(type (*Reciever))
(label (*Keyboard))
(phys-medium (*Touch))) ;; needs to be changed to *Touch later
(*Monitor has
(domain (Computer))
(range (Computer))
(instance-of (ComInstrument))
(type (*Source))
(label (*Monitor))
(phys-medium (*Light)))
(parts has
(instance-of (Slot))
(domain (Physobj))
(range (Physobj))
(cardinality (1-to-N))
(inverse (part-of))
(subslots (body-parts)))
(body-parts has
(instance-of (Slot))
(cardinality (1-to-N))
(superslots (parts)))
(language has
(instance-of (Slot))
(domain (Intelligence Country))
(range (Intelligence Country))
(cardinality (N-to-N))
(inverse (language-of)))
(every Human has
(language ((the spoken-country-of of (the country of Self))))
(body-parts (*LeftHand *RightHand *VoiceBox *LeftEye *RightEye
*LeftEar *RightEar)))
;; VARIOUS BODY PARTS OF A HUMAN USED FOR COMMUNICATION
(*LeftHand has
(instance-of (ComInstrument))
(type (*Source))
(label (*Hand))
(phys-medium (*Light *Touch))
(position (*Left)))
(*RightHand has
(instance-of (ComInstrument))
(type (*Source))
(label (*Hand))
(phys-medium (*Light *Touch))
(position (*Right)))
(*VoiceBox has
(instance-of (ComInstrument))
(type (*Source))
(label (*VoiceBox))
(phys-medium (*Sound))
(position (*Internal)))
(*LeftEye has
(instance-of (ComInstrument))
(type (*Reciever))
(label (*Eye))
(phys-medium (*Light))
(position (*Left)))
(*RightEye has
(instance-of (ComInstrument))
(type (*Reciever))
(label (*Eye))
(phys-medium (*Light))
(position (*Right)))
(*LeftEar has
(instance-of (ComInstrument))
(type (*Reciever))
(label (*Ear))
(phys-medium (*Sound))
(position (*Left)))
(*RightEar has
(instance-of (ComInstrument))
(type (*Reciever))
(phys-medium (*Sound))
(label (*Ear))
(position (*Right)))
;;; This file provides some examples
(*RadioUnit has
(instance-of (ComInstrument))
(type (*Source *Reciever))
(label (*RadioUnit))
(medium (*RadioWaves))
(position (*Left)))
(artificial-parts has
(instance-of (Slot))
(cardinality (1-to-N))
(superslots (parts)))
;; VARIOUS LANGUAGE USED BY HUMANS FOR COMMUNICATION AND THE
;; COUNTRY IN WHICH SPOKEN
(*English has
(instance-of (Language))
(spoken-country (*USA *India *England *Canada *Australia *SouthAfrica
*Pakistan)))
(*German has
(instance-of (Language))
(spoken-country (*Germany)))
(*French has
(instance-of (Language))
(spoken-country (*Canada *France *Belgium)))
(*Hindi has
(instance-of (Language))
(spoken-country (*India *Pakistan)))
(spoken-country has
(instance-of (Country))
(domain (Language Human))
(range (Language Human))
(cardinality (N-to-N))
(inverse (spoken-country-of)))
5.3 time.km (supporting declarations)
(every Time has
(value ((the sum of (:set
(the product of (:set (the hour of Self) 3600))
(the product of (:set (the minute of Self) 60))
(the second of Self)))))
(hour ((a Integer)))
(minute ((a Integer)))
(second ((a Integer))))
(every Period has
;; more than half an hour is *Long
(category ((if ((the p-value of Self) > 1800)
then *Long
else
((if ((the p-value of Self) > 10)
then *Medium
else *Short)))))
(p-value ((the difference of (:set
(the value of (the endtime of Self))
(the value of (the starttime of Self))))))
(starttime ((a Time)))
(endtime ((a Time))))
(p-value has
(domain (Period))
(range (Period))
(instance-of (Slot))
(cardinality (N-to-1)))
(value has
(domain (Time))
(range (Time))
(instance-of (Slot))
(cardinality (N-to-1)))
(hour has
(domain (Time))
(range (Time))
(instance-of (Slot))
(cardinality (N-to-1)))
(minute has
(domain (Time))
(range (Time))
(instance-of (Slot))
(cardinality (N-to-1)))
(second has
(domain (Time))
(range (Time))
(instance-of (Slot))
(cardinality (N-to-1)))
(a Time with
(hour (5))
(minute (5))
(second (5)))
(a Period with
(starttime ((a Time with (hour (1)) (minute (10)) (second (0)))))
(endtime ((a Time with (hour (1)) (minute (40)) (second (0))))))
5.4 lingual.km (intermediate communication class inherited from Communication) : Language communication handler
(Text has
(superclasses (Information))
(subclasses (EmailData FaxData TelegraphData
Question Sentence Expression VerbalSound WriteData TypeData)))
(every Text has
(language ((a Language))))
(lang-medium has
(instance-of (a Slot))
(domain (LingualCom))
(range (LingualCom))
(superslots (medium)))
(every LingualCom has
;; atleast one COMMON language of communication should exist
;; for validity
(valid ((if (exists (the lang-medium of Self))
then *Valid
else *Invalid)))
(source ((a Intelligence)))
(listener ((a Intelligence)))
;; instrument is all the language of the source
(source-instrument ((the spoken-country-of of
(the country of (the source of Self)))))
;; instrument is all the language of the listener
(listening-instrument ((the spoken-country-of of
(the country of (the listener of Self)))))
;; information is text in the used language
(information ((a Text with
(language ((the lang-medium of Self))))))
;; common language of the source and medium is the language medium used
(lang-medium ((allof (the Language source-instrument of Self)
where (oneof2 (the Language listening-instrument of Self)
where (It = It2))))))
(LingualCom has
(superclasses (Communicate))
(subclasses (Talk Ask Speak Shout Narrate Preach Teach Whisper Boast Grumble Declare Phone Email Type)))
5.5 data.km (intermediate communication class inherited from Communication) : Data communication handler
;;; Data type Defintions
(Data has
(subclasses (DigitalData AnalogData VoiceData ImageData InfoData))
(superclasses (Information)))
(DigitalData has
(superclasses (Data))
(subclasses (EmailData FaxData WriteData TypeData)))
(AnalogData has
(superclasses (Data))
(subclasses (TelephoneData RadioData)))
(VoiceData has
(superclasses (Data))
(subclasses (TelephoneData)))
(ImageData has
(superclasses (Data))
(subclasses (FaxData)))
(AnalogData has
(superclasses (Data))
(subclasses (TelephoneData RadioData)))
(EmailData has
(superclasses (DigitalData Text)))
(FaxData has
(superclasses (DigitalData Text ImageData)))
(TelephoneData has
(superclasses (AnalogData VoiceData)))
(TelegraphData has
(superclasses (AnalogData Text)))
(RadioData has
(superclasses (AnalogData Infodata)))
;; human writing only
(WriteData has
(superclasses (AnalogData Text)))
;; human typing only
(TypeData has
(superclasses (DigitalData Text)))
(DataCom has
(superclasses (Communicate))
(subclasses (EmailCom Write)))
(every DataCom has
(medium ((*Network))))
;; SOME OF THE BETH LIVINS VERBS OF THIS CATEGORY
;;;;;;;;;;;;;;;;;;;;;;;;;;;; WRITE ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(Write has
(superclasses (DataCom LingualCom)))
(every Write has
(bandwidth ((*Medium)))
(information ((a Text with
(content ((*High)))
(emotion ((*Neutral)))
(loudness ((*Medium)))
(duration ((*Medium)))
))))
(Email has
(superclasses (DataCom LingualCom)))
(every Email has
(bandwidth ((*Medium)))
(source ((a Intelligence)))
(listener ((a Intelligence)))
(information ((a EmailData with
(content ((*High)))
(emotion ((*Neutral)))
(duration ((*Medium)))
))))
(Phone has
(superclasses (DataCom LingualCom SoundCom)))
(every Phone has
(bandwidth ((*High)))
(source ((a Intelligence)))
(listener ((a Intelligence)))
(information ((a PhoneData with
(content ((*High)))
(emotion ((*Neutral)))
(duration ((*Medium)))
))))
(Type has
(superclasses (PhysicalCom LingualCom)))
(every Type has
(medium (*Touch *Light))
(bandwidth ((*Medium)))
(source ((a Human)))
(listener ((a PC)))
(information ((a TypeData with
(content ((*High)))
(emotion ((*Neutral)))
(duration ((*Medium)))
))))
(every Fax has
(medium ((*Light *Network)))
(bandwidth ((*High)))
(source ((a Machine)))
(listener ((a Machine)))
(information ((a FaxData with
(content ((*High)))
(emotion ((*Neutral)))
(duration ((*Medium)))
))))
;; We can define other verbs like cable, netmail, radio, relay, satellite, semaphore,
;; signal, telecast, telgraph, telex, wire etc. in a similar fashion
ليست هناك تعليقات :
إرسال تعليق