An automated reasoning for diagnostic knowledge in a distributed environment
Pages 530 - 535
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.
References
[1]
Bruns, G., Distributed Systems Analysis with CCS, Prentice-Hall, 1996.
[2]
Dung, P. M., An argumentation-theoretic foundation for logic programming, J. of Logic Programming, 22, pp.151--177, 1995.
[3]
Eshghi, K. and Kowalski, R. A., Abduction compared with negation by failure, Proc. of 6th ICLP, pp. 234--255, 1989.
[4]
Gelfond, M. and Lifschitz, V., The stable model semantics for logic programs, Proc. of 5th ICLP, pp. 1070--1080, 1988.
[5]
Hoare, C. R. A., Communicating Sequential Processes, Prentice-Hall, 1986.
[6]
Kakas, A. C., Kowalski, R. A. and Toni, F., Abductive logic programming, J. of Logic and Computation, 2, pp. 719--770, 1992.
[7]
Kowalski, R. A. and Sadri, F., From logic programming to multi-agent systems, Annals of Mathematics and Artificial Intelligence, 25, pp. 391--419, 1999.
[8]
Lloyd, J. W., Foundations of Logic Programming, 2nd, Extended Edition, Springer-Verlag, 1993.
[9]
Nielson, F. (ed.), ML with Concurrency, Monograph in Computer Science, Springer-Verlag, 1996.
[10]
Przymusinski, T., Well-founded semantics coincides with three-valued stable semantics, Foundamenta Informaticae, 13, pp. 445--463, 1990.
[11]
Ramanujam, R., Semantics of distributed definite clause programs, Theoretical Computer Science, 68, pp. 203--220, 1989.
[12]
Shepherdson, J. C., A sound and complete semantics for a version of negation as failure, Theoretical Computer Science, 65, p. 343--371, 1989.
[13]
Van Gelder, A., The alternating fixpoint of logic programs with negation, J. of Computer and System Sciences, 47, pp. 185--221, 1993.
[14]
Yamasaki, S. and Kurose, Y., Soundness of abductive proof procedure with respect to constraint for non-ground abducibles, Theoretical Computer Science, 206, pp. 257--281, 1998.
[15]
Yamasaki, S. and Kurose, Y., A sound and complete proof procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics, Theoretical Computer Science, 266, pp. 489--512, 2001.
[16]
Yamasaki, S. and Sasakura, M., Towards Distributed Programming Systems with Visualizations Based on Nonmonotonic Reasoning, Proc. SSGRR 2001, 76, 2001.
[17]
You, J.-H. and Yuan, L. Y., On the equivalence of semantics for normal logic programs, J. of Loigc Programming, 22, pp. 211--222, 1995.
Index Terms
- An automated reasoning for diagnostic knowledge in a distributed environment
Index terms have been assigned to the content through auto-classification.
Recommendations
Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics
We study the problem of embedding Halpern and Moses‘s modal logic of minimal knowledge states into two families of modal formalism for nonmonotonic reasoning, McDermott and Doyle‘s nonmonotonic modal logics and ground nonmonotonic modal logics. First, we ...
Using Isabelle in Two Courses on Logic and Automated Reasoning
Formal Methods TeachingAbstractWe present our experiences teaching two courses on formal methods and detail the contents of the courses and their positioning in the curriculum. The first course is a bachelor course on logical systems and logic programming, with a focus on ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
September 2003
614 pages
Publisher
Trinity College Dublin
Publication History
Published: 24 September 2003
Check for updates
Qualifiers
- Article
Conference
ISICT '03
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 90Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 14 Nov 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in