An automated reasoning for diagnostic knowledge in a distributed environment

Authors:
Susumu Yamasaki;Mariko Sasakura
Affiliations:
Okayama University, Okayama, Japan;Okayama University, Okayama, Japan
Venue:
ISICT '03 Proceedings of the 1st international symposium on Information and communication technologies
Year:
2003

Citing 11
Cited 0

Communicating sequential processes

Communicating sequential processes
Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
A sound and complete semantics for a version of negation as failure

Theoretical Computer Science
Semantics of distributed definite clause programs

Theoretical Computer Science
Well-founded semantics coincides with three-valued stable semantics

Fundamenta Informaticae
The alternating fixpoint of logic programs with negation

PODS '89 Selected papers of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Distributed systems analysis with CCS

Distributed systems analysis with CCS
Soundness of abductive proof procedure with respect to constraint for non-ground abducibles

Theoretical Computer Science
A sound and complete procedure for a general logic program in non- floundering derivations with respect to the 3-valued stable model semantics

Theoretical Computer Science
ML with Concurrency

ML with Concurrency
From logic programming towards multi-agent systems

Annals of Mathematics and Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper is concerned with a distributed logic programming, as a model of an automated reasoning for diagnostic knowledge in a distributed environment. The distributed logic program is a network of logic programs, where negation as failure is implemented through the whole network. A logic program is installed in each site of the network, for which negation as failure through the network is incorporated in (SLD) resolution. Some comment on semantics for the whole behaviour of the network is given.