Negation as Failure through a Network(Computation and Computational Models)
スポンサーリンク
概要
- 論文の詳細を見る
This paper deals with distributed procedures, caused by negation as failure through a network, where general logic programs are distributed so that they communicate with each other in terms of negation as failure inquiries and responses, but not in terms of derivations of SLD resolutions. The common variables as channels in share for distributed programs are not treated, but negation as failure validated in the whole network is the object for communications of distributed programs. We can define the semantics for the distributed programs in a network. At the same time, we have distributed proof procedures for distributed programs, by means of negation as failure to be implemented through the network, where the soundness of the procedure is guaranteed by the defined semantics.
- 2004-05-01
著者
-
Yamasaki Susumu
Department Of Intelligence Computing And System Graduate School Of Natural Science And Technology
-
Yamasaki Susumu
Department Of Computing And Information Technology Okayama University
-
IRIYA Kazunori
Department of Computing and Information Technology, Okayama University
-
Iriya Kazunori
Department Of Intelligence Computing And System Graduate School Of Natural Science And Technology:(p
関連論文
- 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