Abstract
This work is focus in the following critical questions:
-
1
How to incorporate modalities in the process of argumentation reasoning?
-
2
Is it possible to build arguments faced with incomplete information?
Our proposal is based in a specification language which has the following properties: a) it permits to give specifications of modalities in a natural way; b) it defines a process of argumentation reasoning considering modalities; and c) it permits to build arguments from incomplete information.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cortés, U., Tolchinsky, P., Nieves, J.C., López-Navidad, A., Caballero, F.: Arguing the discard of organs for tranplantation in CARREL. In: CATAI 2005, pp. 93–105 (2005)
Davey, B.A., Priestly, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, Cambridge (2002)
M.-W. O. Diccionary, http://www.m-w.com/
Gelder, A.V., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of the ACM 38(3), 620–650 (1991)
Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing 9, 365–385 (1991)
Nieves, J.C., Jayaraman, B.: Relaxation in partial order programming. In: Workshop on Logic and Computation: MICAI 2002 (2002)
Osorio, M., Jayaraman, B.: Relating aggregation and negation-as-failure. New Generation Comput. 17(3), 255–284 (1999)
Osorio, M., Jayaraman, B., Plaisted, D.A.: Theory of partial-order programming. Sci. Comput. Program. 34(3), 207–238 (1999)
Osorio, M., Navarro, J.A., Arrazola, J.: Applications of Intuitionistic Logic in Answer Set Programming. Theory and Practice of Logic Programming (TPLP) 4, 325–354 (2004)
Osorio, M., Nieves, J.C., Jayaraman, B.: Aggregation in functional query languages. Journal of Functional and Logic Programming 2004(2) (August 2004)
Parsons, S., McBurney, P.: Argumentation-based dialogues for agent co-ordination. Group Decision and Negotiation 12(5), 415–439 (2003)
Pearce, D.: Stable Inference as Intuitionistic Validity. Logic Programming 38, 79–91 (1999)
Tolchinsky, P., Cortés, U., Nieves, J.C., López-Navidad, A., Caballero, F.: Using arguing agents to increase the human organ pool for transplantation. In: Proc. of the Third Workshop on Agents Applied in Health Care (IJCAI 2005) (2005)
van Dalen, D.: Logic and structure, 3rd edn. Springer, Berlin (1994) (aumented edition)
Vázquez-Salceda, J., Cortés, U., Padget, J., López-Navidad, A., Caballero, F.: Extending the CARREL System to mediate in the organ and tissue allocation processes: A first approach. Artificial Intelligence in Medicine 3, 233–258 (2003)
von Fintel, K.: Modality and language. In: Borchert, D.M. (ed.) Encyclopedia of Philosophy, 2nd edn. Macmillan, Basingstoke (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nieves, J.C., Cortés, U. (2006). Modality Argumentation Programming. In: Torra, V., Narukawa, Y., Valls, A., Domingo-Ferrer, J. (eds) Modeling Decisions for Artificial Intelligence. MDAI 2006. Lecture Notes in Computer Science(), vol 3885. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11681960_29
Download citation
DOI: https://doi.org/10.1007/11681960_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-32780-6
Online ISBN: 978-3-540-32781-3
eBook Packages: Computer ScienceComputer Science (R0)