Order of magnitude reasoning

Artificial Intelligence 51 (1-3):11-38 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(91)90107-u

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,438

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility.Joanna Golinska-Pilarek - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 255--266.
An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance.Joanna Golinska-Pilarek, Angel Mora & Emilio Munoz Velasco - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), PRICAI 2008: Trends in Artificial Intelligence. Springer. pp. 128--139.
Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility.Joanna Golińska-Pilarek & Emilio Munoz-Velasco - 2009 - International Journal of Computer Mathematics 86 (10-11):1707–1718.
Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance.Joanna Golinska-Pilarek & Emilio Munoz Velasco - 2009 - Logic Journal of the IGPL 17 (4):375–394.
Model simplification by asymptotic order of magnitude reasoning.Kenneth Man-kam Yip - 1996 - Artificial Intelligence 80 (2):309-348.
Apriority and Application: Philosophy of Mathematics in the Modern Period.Lisa Shabel - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford University Press. pp. 29--50.
Relational approach to order-of-magnitude reasoning.Alfredo Burrieza, Manuel Ojeda-Aciego & Ewa Orłowska - 2006 - In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments Ii. Springer. pp. 105--124.
Dual Tableaux: Foundations, Methodology, Case Studies.Ewa Orlowska & Joanna Golinska-Pilarek - 2011 - Springer.
Using the analytical hierarchy process (ahp) to construct a measure of the magnitude of consequences component of moral intensity.Eric W. Stein & Norita Ahmad - 2009 - Journal of Business Ethics 89 (3):391 - 407.
The Higher-Order Prover LEO-II.Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson & Frank Theiß - 2015 - Journal of Automated Reasoning 55 (4):389-404.
Using the Analytical Hierarchy Process to Construct a Measure of the Magnitude of Consequences Component of Moral Intensity.Eric W. Stein & Norita Ahmad - 2009 - Journal of Business Ethics 89 (3):391-407.
Automated reasoning in higher-order logic using the tptp thf infrastructure.Sutcliffe Geoff & Benzmüller Christoph - 2010 - Journal of Formalized Reasoning 3 (1):1-27.
Second-order reasoning in description logics.Andrzej Szalas - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):517-530.
Higher-order Aspects and Context in SUMO.Christoph Benzmüller & Adam Pease - 2012 - Journal of Web Semantics 12:104-117.
A Normative Model of Classical Reasoning in Higher Order Languages.Peter Zahn - 2006 - Synthese 148 (2):309-343.

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,443,383)

6 months
4 (#790,778)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Order of magnitude reasoning.Olivier Raiman - 1991 - Artificial Intelligence 51 (1-3):11-38.
Reverse formalism 16.Sam Sanders - 2020 - Synthese 197 (2):497-544.
Exaggeration.Daniel S. Weld - 1990 - Artificial Intelligence 43 (3):311-368.
Causal approximations.P. Pandurang Nayak - 1994 - Artificial Intelligence 70 (1-2):277-334.
Graphs of models.Sanjaya Addanki, Roberto Cremonini & J. Scott Penberthy - 1991 - Artificial Intelligence 51 (1-3):145-177.

View all 23 citations / Add more citations

References found in this work

A theory of diagnosis from first principles.Raymond Reiter - 1987 - Artificial Intelligence 32 (1):57-95.
A qualitative physics based on confluences.Johan De Kleer & John Seely Brown - 1984 - Artificial Intelligence 24 (1-3):7-83.
Order of magnitude reasoning.Olivier Raiman - 1991 - Artificial Intelligence 51 (1-3):11-38.
Exaggeration.Daniel S. Weld - 1990 - Artificial Intelligence 43 (3):311-368.
Using crude probability estimates to guide diagnosis.Johan de Kleer - 1990 - Artificial Intelligence 45 (3):381-391.

Add more references