Advertisement

Journal of Intelligent Information Systems

, Volume 2, Issue 2, pp 149–164 | Cite as

Mechanical proof systems for logic II, consensus programs and their processing

  • Helena Rasiowa
  • V. Wiktor Marek
Article

Abstract

We continue our investigations and study automated theorem proving for reasoning about perception of reasoning agents and their consensus reaching. Using our earlier techniques and those of logic programming we develop the processing techniques for consensus programs.

Keywords

consensus reaching logic programs resolution refutation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Apt, K. (1990). Logic Programming. In J. van Leeuven (Ed.),Handbook of Theoretical Computer Science. Cambridge, MA: MIT Press, pp. 493–574.Google Scholar
  2. Fagin, R., Halpern, J.Y., and Vardi, M. (1988). Model-Theoretical Analysis of Knowledge. IBM research report RJ 6461.Google Scholar
  3. Fitting, M. (1992). Many-Valued Modal Logics. II.Fundamenta Informaticae, 17, 55–73.Google Scholar
  4. Halpern, J.Y. (ed.) (1986).Theoretical Aspects of Reasoning about Knowledge. Morgan Kaufmann.Google Scholar
  5. Halpern, J.Y., and Moses, Y. (1984). Toward a Theory of Knowledge and Ignorance: Preliminary Report.Proc. AAAI Workshop Non-Monotonic Reasoning, pp. 125–143.Google Scholar
  6. Mazer, M.S. (1988). A Knowledge Theoretic Account of Recovery in Distributed Systems in M. Vardi (Ed.),TARK'88, pp. 309–324.Google Scholar
  7. Moses, Y. (ed.) (1992).Theoretical Aspects of Reasoning about Knowledge. Morgan Kaufmann.Google Scholar
  8. Nerode, A., and Shore, R. (1993).Logic for Applications. Springer-Verlag.Google Scholar
  9. Orlowska, E. (1985). Mechanical Proof Methods for Post Logics.Logique Anal. (N.S.), 28, 110–111, 173–192.Google Scholar
  10. Orlowska, E. (1990). Logic for Reasoning about Knowledge.Z. Math. Logik Grund. Math. Google Scholar
  11. Parikh, R. (Ed.) (1990).Theoretical Aspects of Reasoning about Knowledge. Morgan Kaufmann.Google Scholar
  12. Pawlak, Z. (1982). Rough Sets.International Journal of Computer and Information Sciences, 11, 341–356.Google Scholar
  13. Rasiowa, H. (1987). Algebraic Approach to Some Approximate Reasonings. Proc.ISMVL'87, IEEE Press, pp. 342–347.Google Scholar
  14. Rasiowa, H. (1988). Logic of Approximation Reasoning.Proc. CSL'87, Lecture notes in Computer Science, vol. 329, Springer-Verlag, pp. 188–210.Google Scholar
  15. Rasiowa, H. (1990), On Approximation Logics: A Survey, Kurt Gödel Gesellschaft, Jahrbuch, pp. 63–87.Google Scholar
  16. Rasiowa, H. (1991). Mechanical Proof Systems for Logic: Reaching Consensus by Groups of Intelligent Agents.International Journal of Approximate Reasoning, 5, 415–432.Google Scholar
  17. Rasiowa, H., and Marek, W. (1989). On Reaching Consensus by Groups of Intelligent Agents.Proc. ISMIS'89, North-Holland, pp. 234–243.Google Scholar
  18. Robinson, G.A. (1965), A Machine Oriented Logic Based on the Resolution Principle.Journal of the Association for Computing Machinery, 12, 23–41.Google Scholar
  19. Vardi, M.Y. (ed.) (1988).Theoretical Aspects of Reasoning about Knowledge. Morgan Kaufmann.Google Scholar

Copyright information

© Kluwer Academic Publishers 1993

Authors and Affiliations

  • Helena Rasiowa
    • 1
  • V. Wiktor Marek
    • 2
  1. 1.Institute of MathematicsWarsaw UniversityWarsawPoland
  2. 2.Computer Science DepartmentUniversity of KentuckyLexington

Personalised recommendations