The meaning of analogical reasoning in locally stratified logic programs are described by generalized stable model (GSM) semantics. Although studies on the theoretical aspects of analogical reasoning have recently been on the increase, there have been few attempts to give declarative semantics for analogical reasoning. This paper takes notice of the fact that GSM semantics gives meaning to the effect that the negated predicates represent exceptional cases. We define predicates that denote unusual cases regarding analogical reasoning; for example, ab(x)
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copy
Ryohei ORIHARA, "Analogical Reasoning as a Form of Hypothetical Reasoning" in IEICE TRANSACTIONS on Information,
vol. E75-D, no. 4, pp. 477-486, July 1992, doi: .
Abstract: The meaning of analogical reasoning in locally stratified logic programs are described by generalized stable model (GSM) semantics. Although studies on the theoretical aspects of analogical reasoning have recently been on the increase, there have been few attempts to give declarative semantics for analogical reasoning. This paper takes notice of the fact that GSM semantics gives meaning to the effect that the negated predicates represent exceptional cases. We define predicates that denote unusual cases regarding analogical reasoning; for example, ab(x)
URL: https://global.ieice.org/en_transactions/information/10.1587/e75-d_4_477/_p
Copy
@ARTICLE{e75-d_4_477,
author={Ryohei ORIHARA, },
journal={IEICE TRANSACTIONS on Information},
title={Analogical Reasoning as a Form of Hypothetical Reasoning},
year={1992},
volume={E75-D},
number={4},
pages={477-486},
abstract={The meaning of analogical reasoning in locally stratified logic programs are described by generalized stable model (GSM) semantics. Although studies on the theoretical aspects of analogical reasoning have recently been on the increase, there have been few attempts to give declarative semantics for analogical reasoning. This paper takes notice of the fact that GSM semantics gives meaning to the effect that the negated predicates represent exceptional cases. We define predicates that denote unusual cases regarding analogical reasoning; for example, ab(x)
keywords={},
doi={},
ISSN={},
month={July},}
Copy
TY - JOUR
TI - Analogical Reasoning as a Form of Hypothetical Reasoning
T2 - IEICE TRANSACTIONS on Information
SP - 477
EP - 486
AU - Ryohei ORIHARA
PY - 1992
DO -
JO - IEICE TRANSACTIONS on Information
SN -
VL - E75-D
IS - 4
JA - IEICE TRANSACTIONS on Information
Y1 - July 1992
AB - The meaning of analogical reasoning in locally stratified logic programs are described by generalized stable model (GSM) semantics. Although studies on the theoretical aspects of analogical reasoning have recently been on the increase, there have been few attempts to give declarative semantics for analogical reasoning. This paper takes notice of the fact that GSM semantics gives meaning to the effect that the negated predicates represent exceptional cases. We define predicates that denote unusual cases regarding analogical reasoning; for example, ab(x)
ER -