{"type":"ScholarlyArticle","title":"A Logical Approach to Reasoning by Analogy","authors":[{"name":"Todd R. Davies","slug":"todd-r-davies","given":"Todd R.","family":"Davies","affiliation":"Artificial Intelligence Center SRI International Menlo Park , CA 94025 , USA"},{"name":"Stuart J. Russell","slug":"stuart-j-russell","given":"Stuart J.","family":"Russell","affiliation":"Computer Science Division University of California Berkeley , CA 94 720 , USA"}],"abstract":"We analyze the logical form of the domain knowledge that grounds analogical inferences and generalizations from a single instance. The form of the assumptions which justify analogies is given schematically as the \"determination rule\", so called because it expresses the relation of one set of variables determining the values of another set. The determination relation is a logical generalization of the different types of dependency relations defined in database theory. Specifically, we define determination as a relation between schemata of first order logic that have two kinds of free variables: (1) object variables and (2) what we call \"polar\" variables, which hold the place of truth values. Determination rules facilitate sound rule inference and valid conclusions projected by analogy from single instances, without implying what the conclusion should be prior to an inspection of the instance. They also provide a way to specify what information is sufficiently relevant to decide a question, prior to knowledge of the answer to the question.","doi":null,"url":"https://ijcai.org/proceedings/1987/53","pdf":"https://ijcai.org/proceedings/1987/0053.pdf","markdown":"https://ijcai.org/proceedings/1987/53.md","bibtex":"https://ijcai.org/proceedings/1987/bibtex/53","volume":{"slug":"1987","title":"Proceedings of the Tenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1987","url":"https://ijcai.org/proceedings/1987/","year":1987,"location":"Milan, Italy","dates":"","editors":"John McDermott","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Knowledge Acquisition","track":"Knowledge Acquisition","number":53,"pages":{"first":264,"last":269},"keywords":[],"videos":[],"references":[{"position":1,"raw":"Burstein, M. H. A Model of Incremental Analogical Reasoning and Debugging. In Proceedings of the Na- tional Conference on Artficial Intelligence , 1983, pp. 45-48.","title":"A Model of Incremental Analogical Reasoning and Debugging","authors":"M H Burstein","year":"1983","venue":"Proceedings of the National Conference on Artficial Intelligence","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"Carbonell, J. G. A Computational Model of Analogi- cal Problem Solving. In Proceedings of the Se-venth International Jo int Conference on Artificial Int elli- gence, 1981 , pp. 147-152.","title":"A Computational Model of Analogical Problem Solving","authors":"J G Carbonell","year":"1981","venue":"Proceedings of the Se-venth International Jo int Conference on Artificial Int elligence","doi":null,"url":null,"internal_url":"/proceedings/1981/31"},{"position":3,"raw":"Carbonell, J. G. Derivational Analogy and Its Role in Problem Solving. In Proceedings of the National Conference on Artificial Intelligence, 1983, pp. 64-69.","title":"Derivational Analogy and Its Role in Problem Solving","authors":"J G Carbonell","year":"1983","venue":"Proceedings of the National Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"Carbonell, J. G. Derivational Analogy. In Michalski , R. S., Carbonell, J. G., and Mitchell, T. M., editors, Machine Learning II, Morgan Kaufmann, 1986.","title":"Derivational Analogy","authors":"J G Carbonell","year":"1986","venue":"Machine Learning II","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"Carnap, R. Logical Foundations of Probability. Uni- versity of Chicago Press, 1963.","title":"Logical Foundations of Probability","authors":"R Carnap","year":"1963","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"Davies, T . Analogy. Undergraduate honors thesis, Stanford University, 1985. Issued as Informal Note No. IN-CSLI-85-4, Center for the Study of Language and Information, Stanford University, 1985.","title":"Analogy","authors":"T Davies","year":"1985","venue":null,"doi":null,"url":null,"internal_url":null},{"position":7,"raw":"Davies, T. R. A Normative Theory of Generalization and Reasoning by Analogy. To appear in Helman, 'David H. , editor, Analogical Reasoning: Perspecti-ves of Artificial Intelligence, Cognitive Science, and Phi- losophy, D. Reidel, Forthcoming.","title":"A Normative Theory of Generalization and Reasoning by Analogy","authors":"T R Davies","year":null,"venue":"Analogical Reasoning: Perspecti-ves of Artificial Intelligence, Cognitive Science, and Philosophy","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"Gallier, J. H. Logic for Computer Science: Foun- dations of Automatic Theorem Proving. Harper and Row, 1986.","title":"Logic for Computer Science: Foundations of Automatic Theorem Proving","authors":"J H Gallier","year":"1986","venue":null,"doi":null,"url":null,"internal_url":null},{"position":9,"raw":"Genesereth, M. R. and Nilsson, N. J . Logical Foun- dations of Artificial Intelligence. Morgan Kaufmann, In Press.","title":"Logical Foundations of Artificial Intelligence","authors":"M R Genesereth, N J Nilsson","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":10,"raw":"Gentner, D. Structure Mapping: A Theoretical Framework for Analogy. Cognitive Science, 7:155-170, 1983.","title":"Structure Mapping: A Theoretical Framework for Analogy","authors":"D Gentner","year":"1983","venue":"Cognitive Science","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"Goodman, N. Fact, Fiction, and Forecast. Harvard University Press, 1983.","title":"Fact, Fiction, and Forecast","authors":"N Goodman","year":"1983","venue":null,"doi":null,"url":null,"internal_url":null},{"position":12,"raw":"Greiner, R. Learning by Understanding Analogies. Ph.D. thesis, Stanford University, 1985. Issued as Technical Report No. S'l'AN-CS-85-1071, Department of Computer Science, Stanford University, 1985.","title":"Learning by Understanding Analogies","authors":"R Greiner","year":"1985","venue":null,"doi":null,"url":null,"internal_url":null},{"position":13,"raw":"Hesse, M. Models and Analogies in Science. Notre Dame University Press, 1966.","title":"Models and Analogies in Science","authors":"M Hesse","year":"1966","venue":null,"doi":null,"url":null,"internal_url":null},{"position":14,"raw":"Holland, J., Holyoak, K., Nisbett, R. , and Thagard, P. Induction: Processes of Inference, Learning, and Discovery. MIT Press, 1986.","title":"Induction: Processes of Inference, Learning, and Discovery","authors":"J Holland, K Holyoak, R Nisbett, P Thagard","year":"1986","venue":null,"doi":null,"url":null,"internal_url":null},{"position":15,"raw":"Kedar-Cabelli, S. Purpose-directed Analogy. In The Seventh Annual Conference of the Cognitive Science Society, 1985, pp. 150-159.","title":"Purpose-directed Analogy","authors":"S Kedar-Cabelli","year":"1985","venue":"The Seventh Annual Conference of the Cognitive Science Society","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"Leblanc, H. A Rationale for Analogical Inference. Philosophical Studies, 20:29-31, 1969.","title":"A Rationale for Analogical Inference","authors":"H Leblanc","year":"1969","venue":"Philosophical Studies","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"Lenat, D. CYC: Using Common Sense Knowledge to Overcome Brittleness and Knowledge Acquisition Bottlenecks. The AI Magazine, 6:65-85, 1986.","title":"Using Common Sense Knowledge to Overcome Brittleness and Knowledge Acquisition Bottlenecks","authors":"D Lenat, Cyc","year":"1986","venue":"The AI Magazine","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"Marciszewski, W . Dictionary of Logic as Applied in the Stttdy of Langtwge. Martinus Nijhoff Publishers, 1981.","title":"Dictionary of Logic as Applied in the Stttdy of Langtwge","authors":"W Marciszewski","year":"1981","venue":null,"doi":null,"url":null,"internal_url":null},{"position":19,"raw":"Mill, J. S. A System of Logic. Harper and Brothers Publishers, 1900.","title":"A System of Logic","authors":"J S Mill","year":"1900","venue":null,"doi":null,"url":null,"internal_url":null},{"position":20,"raw":"Mitchell, T. M., Keller, R. M., and Kedar-Cabelli , S. T . Explanation-based Generalization: A Unifying View. Machine Learning, 1(1), 1986.","title":"Explanation-based Generalization: A Unifying View","authors":"T M Mitchell, R M Keller, S T Kedar-Cabelli","year":"1986","venue":"Machine Learning","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"Nilsson, N. J. Shakey the Robot. Technical Note 323, Artificial Intelligence Center, SRI International, Menlo Park, CA, 1984.","title":"Shakey the Robot","authors":"N J Nilsson","year":"1984","venue":null,"doi":null,"url":null,"internal_url":null},{"position":22,"raw":"Rosenbloom, P. S., and Newell, A. The Chunking of Goal Hierarchies: A Generalized Model of Practice. In Michalski, R. S., Carbonell, J. G., and Mitchell, T. M., editors, Machine Learning II, Morgan Kauf- mann, 1986.","title":"The Chunking of Goal Hierarchies: A Generalized Model of Practice","authors":"P S Rosenbloom, A Newell","year":"1986","venue":"Machine Learning II","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"Russell, S. J. The Compleat Guide to MRS. Tech- nical Report No. STAN-CS-85-1080, Department of Computer Science, Stanford University, 1985.","title":"The Compleat Guide to MRS","authors":"S J Russell","year":"1985","venue":null,"doi":null,"url":null,"internal_url":null},{"position":24,"raw":"Russell, S. J. A Quantitative Analysis of Analogy by Similarity. In Proceedings of the National Conference on Artificial Intelligence, 1986, pp. 284-288.","title":"A Quantitative Analysis of Analogy by Similarity","authors":"S J Russell","year":"1986","venue":"Proceedings of the National Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"Russell, S. J . Analogical and Inductive Reasoning. Ph.D. thesis, Stanford University, 1986.","title":"Analogical and Inductive Reasoning","authors":"S J Russell","year":"1986","venue":null,"doi":null,"url":null,"internal_url":null},{"position":26,"raw":"Russell, S. J., and Grosof, B. N. A Declarative Ap- proach to Bias in Concept Learning. In Proceedings of the National Conference on Artificial Intelligence, 1987.","title":"A Declarative Approach to Bias in Concept Learning","authors":"S J Russell, B N Grosof","year":"1987","venue":"Proceedings of the National Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":27,"raw":"Shaw, W. H. and Ashley, L. R. Analogy and In- ference. Dialogue: Canadian Journal of Philosophy, 22:415-432, 1983.","title":"Analogy and Inference","authors":"W H Shaw, L R Ashley","year":"1983","venue":"Dialogue: Canadian Journal of Philosophy","doi":null,"url":null,"internal_url":null},{"position":28,"raw":"Ullman, J. D. PrincipleJ of Database Systems. Com- puter Science Press, 1983.","title":"PrincipleJ of Database Systems","authors":"J D Ullman","year":"1983","venue":null,"doi":null,"url":null,"internal_url":null},{"position":29,"raw":"V~di, M. Y. The Implication and Finite Implication Problems for Typed Template Dependencies. Tech- nical Report No. STAN-CS-82-912, Department of Computer Science, Stanford University, 1982.","title":"The Implication and Finite Implication Problems for Typed Template Dependencies","authors":"M Y V~di","year":"1982","venue":null,"doi":null,"url":null,"internal_url":null},{"position":30,"raw":"Weitzenfeld, J . S. Valid Reasqning by Analogy. Phi- losophy of Science, 51 :137-149, 1984.","title":"Valid Reasqning by Analogy","authors":"J S Weitzenfeld","year":"1984","venue":"Philosophy of Science","doi":null,"url":null,"internal_url":null},{"position":31,"raw":"Wilson, P. R. On the Argument by Analogy. Philos- ophy of Science, 31 :34-39, 1964.","title":"On the Argument by Analogy","authors":"P R Wilson","year":"1964","venue":"Philosophy of Science","doi":null,"url":null,"internal_url":null},{"position":32,"raw":"Winston, P. H. Learning and Reasoning by Analogy. Communications of the A CM, 23:689-703, 1980.","title":"Learning and Reasoning by Analogy","authors":"P H Winston","year":"1980","venue":"Communications of the A CM","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}