Abstract
We report on the novel approach to modeling a dynamic domain with limited knowledge. A domain may include participating agents such that we are uncertain about motivations and decision-making principles of some of these agents. Our reasoning setting for such domains includes deductive and inductive components. The former component is based on situation calculus and describes the behavior of agents with complete information. The latter, machine learning-based inductive component (with the elements of abductive and analogous reasoning) involves the previous experience with the agent, whose actions are uncertain to the system. Suggested reasoning machinery is applied to the problem of processing the claims of unsatisfied customers. The task is to predict the future actions of a participating agent (the company that has upset the customer) to determine the required course of actions to settle down the claim. We believe our framework reflects the general situation of reasoning in dynamic domains in the conditions of uncertainty, merging analytical and analogy-based reasoning.
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
Anshakov, O.M., Finn, V.K., Skvortsov, D.P.: On axiomatization of many-valued logics associated with formalization of plausible reasoning, Studia Logica v42 N4 (1989) 423–447.
Finn, V.K.: On the synthesis of cognitive procedures and the problem of induction NTI Series 2 N1–2 (1999) 8–45.
Galitsky, B.: Using mental simulator for emotional rehabilitation of autistic patients. FLAIRS — 03, May 12–14, St. Augustine, FL (2003).
Levesque, H.J., Reiter, R., Lesperance, Y., Lin, F., Scherl, R.B.: GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming v31, 59–84 (1997).
Muggleton, S. (ed.): Inductive Logic Programming, Academic Press (1992).
Lakemeyer, G.: On sensing in GOLOG. in Levesque, H.J., Pirri, F., (eds). Logical foundations for cognitive agents, Springer (1999).
De Raedt, L.: A perspective on Inductive Logic Programming. In Apt, K.R, Marek, V.W., Truszczynski, M., Warren, D. Eds. The Logic Programming Paradigm Springer (1999).
Shanahan, M. Solving the frame problem. MIT Press (1997).
Souchansky, M.: On-line Decision-Theoretic GOLOG Interpreter. IJCAI-01 (2001).
Vinogradov, D.V.: Logic programs for quasi-axiomatic theories NTI Series 2 N1–2 (1999) 61–64.
Wooldridge, M.: Reasoning about Rational Agents. The MIT Press Cambridge MA London England (2002).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Galitsky, B., Pampapathi, R. (2003). Deductive and Inductive Reasoning for Processing the Claims of Unsatisfied Customers. In: Chung, P.W.H., Hinde, C., Ali, M. (eds) Developments in Applied Artificial Intelligence. IEA/AIE 2003. Lecture Notes in Computer Science(), vol 2718. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45034-3_3
Download citation
DOI: https://doi.org/10.1007/3-540-45034-3_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40455-2
Online ISBN: 978-3-540-45034-4
eBook Packages: Springer Book Archive