Non-alethic reasoning in distributed systems

Authors:
Jair Minoro Abe;Kazumi Nakamatsu;Seiki Akama
Affiliations:
Institute For Advanced Studies, University of São Paulo, São Paulo, SP, Brazil;School of H.E.P.T., Himeji Institute of Technology, HIMEJI, Japan;Computational Logic Laboratory, Department of Information Systems, Teikyo Heisei University, Ichihara-shi, Chiba, Japan
Venue:
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Year:
2005

Citing 7
Cited 0

Formal theories of knowledge in AI and robotics

New Generation Computing
Knowledge and common knowledge in a distributed environment

Journal of the ACM (JACM)
Reasoning about knowledge

Reasoning about knowledge
Distributed Processes and the Logic of Knowledge

Proceedings of the Conference on Logic of Programs
An axiomatic approach to the logical omniscience problem

TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
The synthesis of digital machines with provable epistemic properties

TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Foundations of knowledge for distributed systems

TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this work we present some of our investigations concerning paraconsistent, paracomplete and non-alethic systems for knowledge representation in AI. Inconsistency and paracompleteness are natural phenomena in describing parts of our reality. Thus, we need more generical tools, i.e., formal systems for modeling contradictory and paracomplete knowledge, and in this paper we focus non-alethic knowledge in distributed systems.