Editing Reason (section)

===Computer science===

====Automated reasoning====
{{Main|Automated reasoning|Computational logic}}
{{see also|Reasoning system|Case-based reasoning|Semantic reasoner|Knowledge reasoning}}
In [[artificial intelligence]] and [[computer science]], scientists study and use [[automated reasoning]] for diverse applications including [[automated theorem proving]] the [[formal semantics of programming languages]], and [[formal specification]] in [[software engineering]].

====Meta-reasoning====
{{See also|Metacognition}}
'''Meta-reasoning'''<!--boldface per [[WP:R#PLA]]--> is reasoning about reasoning. In computer science, a system performs meta-reasoning when reasoning about its operation.<ref>{{citation|year=2002|volume=2408/2002|issue=65|first=Stefania |last=Costantini |title=Computational Logic: Logic Programming and Beyond |chapter=Meta-reasoning: A Survey |series=Lecture Notes in Computer Science |doi=10.1007/3-540-45632-5_11 |pages=253–288|isbn=978-3540439608}}</ref> This requires a programming language capable of [[reflection (computer science)|reflection]], the ability to observe and modify its own structure and behaviour.