Abstract
We outline a method of grounding natural language conditional statements with modal operators of belief and possibility. Our work extends previous works on grounding natural language statements within cognitive agent. We focus on defining criteria on conditional statement’s suitability to agents knowledge. We argue that there are two types of modality based on the positioning of modal operator and that it is often impossible to distinguish between them. We propose formal model of agent’s mental state and criteria of choosing ‘correct’ statements that can be checked against that model. The work sets up a theoretical basis on further analytic and experimental analysis.
This paper was supported by Polish Ministry of Science and Higher Education under grant no. N N519 407437.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Ajdukiewicz, K.: Conditional sentence and material implication. Studia Logica 4(1), 135–153 (1956)
Clark, M.: Ifs and Hooks. Analysis 32(2), 33–39 (1971)
Cohen, P., Levesque, H.: Communicative Actions for Artifical Agents. In: Proc. of the 1st International Conference on Multi-agent Systems, San Francisco (1995)
Arlo-Costa, H.: The Logic of Conditionals. Entry for the Stanford Encyclopedia of Philosophy (2007)
Grice, H.P.: Meaning. Philosophical Review 66, 377–388 (1957)
Harnad, S.: The Symbol Grounding Problem. Physica D 42, 335–346 (1990)
Hintikka, J.: Knowledge and belief. An introduction to the logic of the two notions. Cornell University Press (1962)
Huhns, N., Signh, M.: Cognitive Agents. IEEE Internet Computing 2(6), 87–89 (1998)
Katarzyniak, R.: The language grounding problem and its relation to the internal structure of cognitive agents. Journal of Universal Computer Science 11(2), 357–374 (2005)
Katarzyniak, R.: Gruntowanie modalnego języka komunikacji w systemach agentowych. Exit, Warsaw (2007) (in Polish)
Kripke, S.: Semantical Analysis of Modal Logic. Zeitschrift für Mathematische Logic und Grundlagen der Mathematik 9, 67–96 (1963)
Skorupa, G., Katarzyniak, R.: Extending modal language of agents, communication with modal implications. Information Systems Architecture and Technology, 127–136 (2009)
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. LNCS (LNAI), vol. 6276, pp. 271–280. Springer, Heidelberg (2010)
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. LNCS (LNAI), vol. 6423, pp. 112–121. Springer, Heidelberg (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Skorupa, G., Katarzyniak, R. (2011). Grounding Two Notions of Uncertainty in Modal Conditional Statements. In: Nguyen, N.T., Kim, CG., Janiak, A. (eds) Intelligent Information and Database Systems. ACIIDS 2011. Lecture Notes in Computer Science(), vol 6591. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20039-7_28
Download citation
DOI: https://doi.org/10.1007/978-3-642-20039-7_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-20038-0
Online ISBN: 978-3-642-20039-7
eBook Packages: Computer ScienceComputer Science (R0)