具認知力施事者 (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)
人類
組織單位
Constrains relations
相信
賦予義務
賦予權力
考慮
冀求
雇用
施事者有意圖
須使...為真
有權使...為真
在注意範圍中
知道
需要
注意到
偏愛
想要
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)
If proc 是 意向性歷程 的 實例, then there exists 具認知力施事者 agent so that proc 是 agent 的 施事者.
(=>
(instance ?PROC IntentionalProcess)
(exists
(?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?PROC ?AGENT))))
If learn 是 學習 的 實例 and learn 是 agent 的 施事者, then agent 是 具認知力施事者 的 實例.
(=>
(and
(instance ?LEARN Learning)
(agent ?LEARN ?AGENT))
(instance ?AGENT CognitiveAgent))
If agent 是 具認知力施事者 的 實例, then agent 可以 任角色 施事者 做 推理.
(=>
(instance ?AGENT CognitiveAgent)
(capability Reasoning agent ?AGENT))
If communicate 是 溝通 的 實例, then there exist 內容載體 obj,具認知力施事者 agent1,具認知力施事者 agent2 so that obj 是 communicate 的 受事者 and communicate 是 agent1 的 施事者 and communicate (不) 終結not(s) 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 是 散佈 的 實例, then there exist 具認知力施事者 agent1,具認知力施事者 agent2 so that disseminate (不) 終結not(s) agent1 and disseminate (不) 終結not(s) agent2 and agent1 等於 agent2.
(=>
(instance ?DISSEMINATE Disseminating)
(exists
(?AGENT1 ?AGENT2)
(and
(destination ?DISSEMINATE ?AGENT1)
(instance ?AGENT1 CognitiveAgent)
(destination ?DISSEMINATE ?AGENT2)
(instance ?AGENT2 CognitiveAgent)
(not
(equal ?AGENT1 ?AGENT2)))))