A Combination of SLDNF Resolution with Narrowing for General Logic Programs with Equations with Respect to Extended Well-Founded Model
スポンサーリンク
概要
- 論文の詳細を見る
Negation as failure is realized to be combined with SLD resolution for general logic programs, where the combined resolution is called an SLDNF resolution. In this paper, we introduce narrowing and infinite failure to SLDNF resolution for general logic programs with equations. The combination of SLDNF resolution with narrowing and infinite failure is called an SLDNFN resolution. In Shepherdson (1992), equation theory is combined with SLDNF resolution so that the soundness may be guaranteed with respect to Clark's completion. Generalizing the method of Yamamoto (1987) for definite clause sets with equations, we formally define a least fixpoint semantics, which is an extension of Fitting (1985) and Kunen (1987) semantics, and which includes the pair of success and failure sets defined by the SLDNFN resolution. The relationship between the fixpoint semantics and the pair of sets is regarded as an extension of the relationships for general logic programs as in Marriott and et al. (1992) and in Yamasaki (1996). Instead of generalizing Clark's completion for SLDNFN resolution, we establish, as a model for general logic programs with equations, an extended well-founded model so that the SLDNFN resolution is sound and complete for non-floundering queries with respect to the extended well-founded model.
- 1999-10-25
著者
-
Yamasaki Susumu
Department Of Computing And Information Technology Okayama University
-
IRIYA Kazunori
Department of Computing and Information Technology, Okayama University
-
Iriya K
Okayama Univ. Okayama‐shi Jpn
関連論文
- A solid pseudopapillary tumor arising from the greater omentum followed by multiple metastases with increasing malignant potential
- Effect of Heavy Alcohol Intake on Long-term Results after Curative Resection of Hepatitis C Virus-related Hepatocellular Carcinoma
- Localized Nodular Idiopathic Retroperitoneal Fibrosis : Successful Treatment with Surgical Resection
- A Prospective Randomized Trial of the Preventive Effect of Pre-operative Transcatheter Arterial Embolization against Recurrence of Hepatocellular Carcinoma
- Negation as Failure through a Network(Computation and Computational Models)
- Semantics of Normal Goals as Acquisitors Caused by Negation as Failure
- A Combination of SLDNF Resolution with Narrowing for General Logic Programs with Equations with Respect to Extended Well-Founded Model
- Control Problem of a Class of Pushdown Automata Based on Posets and Its Application to Resolution Deductions
- Curative resection of hepatocellular carcinoma with intrabile duct tumor growth mimicking hilar bile duct carcinoma
- Shearing of Inclined Sheet Metals : Effect of Inclination Angle
- Intrahepatic cholangiocarcinoma : macroscopic type and stage classification
- Sequence Domains and Fixpoint Semantics for Logic Programs
- CASE REPORT OF SPLENIC ANEURYSM