Semantics of Normal Goals as Acquisitors Caused by Negation as Failure
スポンサーリンク
概要
- 論文の詳細を見る
We are concerned with semantic views on an extended version of SLD resolution with negation as failure (SLDNF resolution) for normal logic programs, which Eshghi and Kowalski (1989) presented by making the SLDNF resolution capable of keeping negated predicates in memory and of extracting abducible predicates. This paper deals with its formal representation in relational form, for the purpose of interpreting the normal goal as an acquisitor of negated predicates stored in memory. Some set acquired by the derivations which the normal goal evokes is defined to be a semantics of the goal, under the constraint that the set is as large as possible and does not violate consistency in model theory. The semantics is discussed with relation to the 3-valued logic model theory, where the model theory is represented by alternating fixpoint semantics (Van Gelder, 1993). For simplicity of treatment, this paper is concerned with the normal logic program in the propositional logic.
- 2003-06-01
著者
-
Yamasaki Susumu
Department Of Intelligence Computing And System Graduate School Of Natural Science And Technology Ok
-
Yamasaki Susumu
Department Of Computing And Information Technology Okayama University
関連論文
- 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