Analogy calculus (Q1802070): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Jia-Fu Xu / rank | |||
Property / reviewed by | |||
Property / reviewed by: Jan Šefránek / rank | |||
Property / author | |||
Property / author: Jia-Fu Xu / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Jan Šefránek / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: Nuprl / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Model theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3723721 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computational approaches to analogical reasoning: A comparative analysis / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3786027 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5812175 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5828993 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3786003 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proof theory. 2nd ed / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3791125 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Analogy model and analogy correspondence / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0304-3975(93)90002-b / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2913641506 / rank | |||
Normal rank |
Latest revision as of 10:32, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Analogy calculus |
scientific article |
Statements
Analogy calculus (English)
0 references
27 March 1994
0 references
The paper is devoted to the problem of analogical reasoning. The authors proposed a calculus \(LK_ A\), the system is based on Gentzen's \(LK\) calculus of sequents. First, two \(LK\)-rules are modified, then some additional initial segments, called equality axioms and analogy axioms are introduced. An analogy relation \(\sim\) is defined by the axioms (1) \(t\sim s\to s\sim t\) (2) \(t\sim s\), \(s\sim r\to t\sim r\), where \(t\), \(s\), and \(r\) are terms. Cut elimination and interpolation theorems are proven. It is shown that \(LK_ A\) is consistent and \(LK_ A\) is a conservative extension of \(LK_ e\), an equational logic calculus. Analogy correspondence is a set of sentences of the following forms: \[ \forall x_ 1\cdots\forall x_ n\forall y_ 1\cdots\forall y_ n\bigl(x_ 1\sim y_ 1\wedge\cdots\wedge x_ n\sim y_ n\supset f(x_ 1,\ldots,x_ n)\sim g(y_ 1,\ldots,y_ n)\bigr) \] \[ \forall x_ 1\cdots\forall x_ n\forall y_ 1\cdots\forall y_ n\bigl(x_ 1\sim y_ 1\wedge\cdots\wedge x_ n\sim y_ n\supset P(x_ 1,\ldots,x_ n)\equiv Q(y_ 1,\ldots,y_ n)\bigr) \] It is defined when an analogy correspondence \(A_ c\) is consistent with (suitable for, proper to) a formula \(A\). Then for any formulas \(A,B\) without analogy symbol \(\sim\) is defined when \(A\) is analogous (strongly analogous) to \(B\) based on \(A_ c\), and \(A\) is (strongly) analogous to \(B\). A model semantics of \(LK_ A\) is given, it is shown that \(LK_ A\) is sound. The final theorem characterizes the concept of analogy: Let \(A\) be analogous to \(B\) based on \(A_ c\), and \(M\) be a model of \(A_ c\), then \(M\) is a model of \(A\) iff \(M\) is a model of \(B\).
0 references
analogical reasoning
0 references
calculus of sequents
0 references
cut elimination
0 references
interpolation theorems
0 references
equational logic
0 references