reasoning (Reasoning)

The Class of IntentionalPsychologicalProcesses which involve concluding, on the basis of either deductive or inductive evidence, that a particular Proposition or Sentence is true.

Ontology

SUMO / PROCESSES

Superclass(es)

entity

physical

process

intentional process
is subclass of

entity

physical

process

internal change

biological process

psychological process
is subclass of

intentional psychological process

reasoning

Coordinate term(s)

calculating classifying comparing learning planning predicting selecting

Related WordNet synsets

reasoning, logical thinking, abstract thought: thinking that is coherent and logical
reason: think logically
reason, reason out, conclude: decide by reasoning; draw or come to a conclusion; "We reasoned that it was cheaper to rent than to buy a house"
deduce, infer, deduct, derive: reason by deduction; establish by deduction
inferential, illative: relating to or having the nature of illation or inference; "the illative faculty of the mind"

See more related synsets on a separate page.

Axioms (1)

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))