Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

cognitive agent (CognitiveAgent)

A SentientAgent with responsibilities and the ability to reason, deliberate, make plans, etc. This is essentially the legal/ethical notion of a person. Note that, although Human is a subclass of CognitiveAgent, there may be instances of CognitiveAgent which are not also instances of Human. For example, chimpanzees, gorillas, dolphins, whales, and some extraterrestrials (if they exist) may be CognitiveAgents.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
entity
is subclass of
  physical  
is subclass of
  object  
is subclass of
  agent  
is subclass of
  sentient agent  
is subclass of
  cognitive agent  

Subclass(es)

human  organization unit 

Constrains relations

believes  confers obligation  confers right  considers  desires  employs  has purpose for agent  holds obligation  holds right  in scope of interest  knows  needs  notices  prefers  wants 

Related WordNet synsets

personhood
being a person: "finding her own personhood as a campus activist"
personhood is kind of (all)...   personhood is kind of...  
See more related synsets on a separate page.

Axioms (5)

If proc is an instance of intentional process, then there exists cognitive agent agent so that proc is an agent of agent. 
(=>
      (instance ?PROC IntentionalProcess)
      (exists
            (?AGENT)
            (and
                  (instance ?AGENT CognitiveAgent)
                  (agent ?PROC ?AGENT))))
If learn is an instance of learning and learn is an agent of agent, then agent is an instance of cognitive agent. 
(=>
      (and
            (instance ?LEARN Learning)
            (agent ?LEARN ?AGENT))
      (instance ?AGENT CognitiveAgent))
If agent is an instance of cognitive agent, then agent is capable to do reasoning in role agent. 
(=>
      (instance ?AGENT CognitiveAgent)
      (capability Reasoning agent ?AGENT))
If communicate is an instance of communication, then there exist content bearing object obj,cognitive agent agent1,cognitive agent agent2 so that obj is a patient of communicate and communicate is an agent of agent1 and communicate ends at agent2. 
(=>
      (instance ?COMMUNICATE Communication)
      (exists
            (?OBJ ?AGENT1 ?AGENT2)
            (and
                  (instance ?OBJ ContentBearingObject)
                  (patient ?COMMUNICATE ?OBJ)
                  (instance ?AGENT1 CognitiveAgent)
                  (agent ?COMMUNICATE ?AGENT1)
                  (instance ?AGENT2 CognitiveAgent)
                  (destination ?COMMUNICATE ?AGENT2))))
If disseminate is an instance of disseminating, then there exist cognitive agent agent1,cognitive agent agent2 so that disseminate ends at agent1 and disseminate ends at agent2 and agent1 is not equal to agent2. 
(=>
      (instance ?DISSEMINATE Disseminating)
      (exists
            (?AGENT1 ?AGENT2)
            (and
                  (destination ?DISSEMINATE ?AGENT1)
                  (instance ?AGENT1 CognitiveAgent)
                  (destination ?DISSEMINATE ?AGENT2)
                  (instance ?AGENT2 CognitiveAgent)
                  (not
                        (equal ?AGENT1 ?AGENT2)))))