AgenteCognitivo (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-ONTOLOGYSuperclass(es)
Subclass(es)
Umano
UnitáOrganizzativa
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"
See more related synsets on a separate page.
Axioms (5)
Se proc é un' istanza di ProcessoIntenzionale, allora esiste AgenteCognitivo agent tale che proc é un agente di agent.
(=>
(instance ?PROC IntentionalProcess)
(exists
(?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?PROC ?AGENT))))
Se learn é un' istanza di Apprendere e learn é un agente di agent, allora agent é un' istanza di AgenteCognitivo.
(=>
(and
(instance ?LEARN Learning)
(agent ?LEARN ?AGENT))
(instance ?AGENT CognitiveAgent))
Se agent é un' istanza di AgenteCognitivo, allora agent é capace di fare Ragionare nel ruolo agent.
(=>
(instance ?AGENT CognitiveAgent)
(capability Reasoning agent ?AGENT))
Se communicate é un' istanza di Comunicazione, allora esiste OggettoSemiotico obj,AgenteCognitivo agent1,AgenteCognitivo agent2 tale che obj é un paziente di communicate e communicate é un agente di agent1 e communicate fines in 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))))
Se disseminate é un' istanza di Diffusione, allora esiste AgenteCognitivo agent1,AgenteCognitivo agent2 tale che disseminate fines in agent1 e disseminate fines in agent2 e agent1 is not uguale a agent2.
(=>
(instance ?DISSEMINATE Disseminating)
(exists
(?AGENT1 ?AGENT2)
(and
(destination ?DISSEMINATE ?AGENT1)
(instance ?AGENT1 CognitiveAgent)
(destination ?DISSEMINATE ?AGENT2)
(instance ?AGENT2 CognitiveAgent)
(not
(equal ?AGENT1 ?AGENT2)))))