Default Reasoning in Theories of Action

Pankaj Bhatia

Abstract


A recent method to integrating action formalisms with non-monotonic reasoning is extended. The resultant framework enables an agent to make meaningful default assumptions when using an action theory as an internal world model. While the previous approach could only model static defaults that are independent of state properties, our extension can express dynamic defaults. We address issues that arise as a result of the interaction of defaults with the solution of the frame problem by devising a general method of integrating defaults into the formal representation of action effects and demonstrating that the method prevents counter-intuitive conclusions.

References


Tunguturi, M. (2009). More On Principles and Applications of Big Data Analytics. International Journal of Statistical Computation and Simulation, 1(1), 1–10. Retrieved from https://journals.threws.com/index.php/IJSCS/article/view/43

Reiter, R.: The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression. In: Artificial Intelligence and Mathematical Theory of Computation – Papers in Honor of John McCarthy, pp. 359–380. Academic Press, London (1991)

Thielscher, M.: From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem. Artificial Intelligence 111(1-2), 277–299 (1999)

Thielscher, M.: A Unifying Action Calculus. Artificial Intelligence (to appear, 2009)

Tunguturi, M. (2010). Artificial intelligence and machine learning in the enterprise. Transactions on Latest Trends in Health Sector, 2(2). Retrieved from https://www.ijsdcs.com/index.php/TLHS/article/view/187


Refbacks

  • There are currently no refbacks.