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

Other Versions

No versions found

Links

PhilArchive

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, 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, 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, Oxford Handbook of Philosophy of Mathematics and Logic. Oxford and New York: Oxford University Press. pp. 29--50.
Dual Tableaux: Foundations, Methodology, Case Studies.Ewa Orlowska & Joanna Golinska-Pilarek - 2011 - Springer.
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.

Analytics

Added to PP
2020-12-22

Downloads
36 (#1,462,968)

6 months
4 (#1,721,372)

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.

View all 24 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