Learning concept from the SUMO knowledge base

Next MentalProcess: Perception Up: MentalProcess Previous MentalProcess: Counting

Kinds of Learning :

Deducing (2 facts) - The Class of Learning Processes which involve concluding, on the basis of either deductive or inductive evidence, that a particular Proposition or Sentence is true
Identifying (2 facts) - The Class of Learning Processes which involve attaching a name or category to a thing or set of things. Note that Identifying is distinguished from Learning by the fact that the latter covers the acquisition by a CognitiveAgent of any Proposition, while the former covers only those cases involving the assignment of a label or category

Next MentalProcess: Perception Up: MentalProcess Previous MentalProcess: Counting

Learning	*documentation* The Class of Processes which relate to the acquisition of information
	has axiom (=> (and (instance ?LEARN Learning) (agent ?LEARN ?AGENT)) (instance ?AGENT CognitiveAgent))
	has axiom (=> (holdsDuring ?TIME (exists (?LEARN) (and (instance ?LEARN Learning) (agent ?LEARN ?AGENT) (patient ?LEARN ?PROP)))) (holdsDuring (ImmediateFutureFn ?TIME) (believes ?AGENT ?PROP)))
	has axiom (=> (instance ?ACT EducationalProcess) (exists (?PROC) (and (instance ?PROC Learning) (subProcess ?PROC ?ACT))))
	is a kind of MentalProcess
IntentionalProcess	*is disjoint* from** NonintentionalProcess
Process	*is first domain* of** agent
	*is first domain* of** capability
	*is first domain* of** causes
	*is first domain* of** destination
	*is first domain* of** direction
	*is first domain* of** effector
	*is first domain* of** experiencer
	*is first domain* of** frequency
	*is first domain* of** hasSkill
	*is first domain* of** holdsObligation
	*is first domain* of** holdsRight
	*is first domain* of** inhibits
	*is first domain* of** instrument
	*is first domain* of** manner
	*is first domain* of** origin
	*is first domain* of** patient
	*is first domain* of** precondition
	*is first domain* of** prevents
	*is first domain* of** realization
	*is first domain* of** resource
	*is first domain* of** result
	*is first domain* of** subProcess
	*is second domain* of** causes
	*is second domain* of** inhibits
	*is second domain* of** precondition
	*is second domain* of** prevents
	*is second domain* of** subProcess


Learning
subject			fact