|Abstract||The consideration of careful reasoning can be traced to Aristotle and earlier authors. The possibility of rigorous rules for drawing conclusions can certainly be traced to the Middle Ages when types o f syllogism were studied. Shortly after the introduction of computers, the audacious scientist naturally envisioned the automation of sound reasoning—reasoning in which conclusions that are drawn follow l ogically and inevitably from the given hypotheses. Did the idea spring from the intent to emulate..|
|Keywords||No keywords specified (fix it)|
|Categories||No categories specified (fix it)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Dov M. Gabbay (2000). Goal-Directed Proof Theory. Kluwer Academic.
Richmond H. Thomason, Progress Towards a Formal Theory of Practical Reasoning: Problems and Prospects.
Maria Alvarez (2010). Reasons for Action and Practical Reasoning. Ratio 23 (4):355-373.
Michael Clark (1997). Review of P. Wahlgren, Automation of Legal Reasoning. [REVIEW] Information and Communications Technology Law 6.
Gilbert Harman, Kelby Mason & Walter Sinnott-Armstrong (2010). Moral Reasoning. In John Michael Doris (ed.), The Moral Psychology Handbook. Oxford University Press.
Arthur Buchsbaum & Tarcisio Pequeno (1993). A Reasoning Method for a Paraconsistent Logic. Studia Logica 52 (2):281 - 289.
Michael L. Anderson, John Grant & Don Perlis, On the Reasoning of Real-World Agents: Toward a Semantics for Active Logic.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?