Summarizing Knowledge Base with Modal Conditionals

  • Grzegorz Skorupa
  • Radosław Katarzyniak
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7653)


Work proposes and evaluates a method of summarizing transaction base with conditional formulas and their modal extensions. Modality expresses certainty levels using phrases ‘It is possible, that’ and ‘I believe, that’. Method is based on previous works on grounding of natural language statements. Semantics of conditionals, as opposed to associative rules, are consistent with their conventional natural language meaning. A software simulation is described and implemented. Some interesting results are discussed showing methods pros and cons.


statement grounding modal statements conditional sentences transaction base summary conditional relation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Ajdukiewicz, K.: Conditional sentence and material implication. Studia Logica 4(1), 135–153 (1956)CrossRefGoogle Scholar
  2. 2.
    Grice, H.P.: Meaning. Philosophical Review 66, 377–388 (1957)CrossRefGoogle Scholar
  3. 3.
    Harnad, S.: The symbol grounding problem. Physica D 42, 335–346 (1990)CrossRefGoogle Scholar
  4. 4.
    Hintikka, J.: Knowledge and belief. An introduction to the logic of the two notions. Cornell University Press, Ithica (1962)Google Scholar
  5. 5.
    Katarzyniak, R.: Gruntowanie modalnego języka komunikacji w systemach agentowych. Exit, Warsaw (2007)Google Scholar
  6. 6.
    Kripke, S.: Semantical analysis of modal logic. Zeitschrift für Mathematische Logic und Grundlagen der Mathematik 9, 67–96 (1963)MathSciNetzbMATHCrossRefGoogle Scholar
  7. 7.
    Skorupa, G., Katarzyniak, R.: Applying Possibility and Belief Operators to Conditional Statements. In: Setchi, R., Jordanov, I., Howlett, R.J., Jain, L.C. (eds.) KES 2010, Part I. LNCS, vol. 6276, pp. 271–280. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  8. 8.
    Skorupa, G., Katarzyniak, R.: Conditional Statements Grounded in Past, Present and Future. In: Pan, J.-S., Chen, S.-M., Nguyen, N.T. (eds.) ICCCI 2010, Part III. LNCS, vol. 6423, pp. 112–121. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  9. 9.
    Skorupa, G., Katarzyniak, R.: Modelling Relationship between Antecedent and Consequent in Modal Conditional Statements. In: Jędrzejowicz, P., Nguyen, N.T., Hoang, K. (eds.) ICCCI 2011, Part II. LNCS, vol. 6923, pp. 120–129. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  10. 10.
    Strawson, P.F.: Introduction to Logical Theory. Methuen & Co. Ltd., New York (1952)zbMATHGoogle Scholar
  11. 11.
    Woods, M.: Conditionals. Oxford University Press (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Grzegorz Skorupa
    • 1
  • Radosław Katarzyniak
    • 1
  1. 1.Institute of InformaticsWroclaw University of TechnologyPoland

Personalised recommendations