Automated Reasoning System

From GM-RKB

(Redirected from Automated Reasoner)

Jump to navigation Jump to search

An Automated Reasoning System is a Reasoning System that can solve an Automated Reasoning Task.

See: Human Reasoner, Expert System.

References

http://www.ai.sri.com/~stickel/snark.html

1984

(Lusk & Overbeek, 1984) ⇒ Ewing L. Lusk, and Ross A. Overbeek. (1984). “Automated Reasoning System." ITP. No. ANL-84-27. Argonne National Lab..

Retrieved from "http://www.gabormelli.com/RKB/index.php?title=Automated_Reasoning_System&oldid=829787"

Concept