A general first-order solution to the ramification problem with cycles

Journal of Applied Logic - Tập 11 - Trang 289-308 - 2013
Hannes Strass1, Michael Thielscher2
1Institute of Computer Science, Leipzig University, Augustusplatz 10, 04103 Leipzig, Germany
2School of Computer Science and Engineering, The University of New South Wales, Sydney, NSW 2052, Australia

Tài liệu tham khảo

Baader, 2010, Using causal relationships to deal with the ramification problem in action formalisms based on description logics, vol. 6397, 82

Baumann, 2010, State defaults and ramifications in the unifying action calculus, 435

Brewka, 1993, How to do things with worlds: On formalizing actions and plans, Journal of Logic and Computation, 3, 517, 10.1093/logcom/3.5.517

Castilho, 2002, It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation, 343

Chen, 2006, First-order loop formulas for normal logic programs, 298

Clark, 1978, Negation as failure, 293

Denecker, 2007, Inductive situation calculus, Artificial Intelligence, 171, 332, 10.1016/j.artint.2007.02.002

Denecker, 1998, An inductive definition approach to ramifications, Linköping Electronic Articles in Computer and Information Science, 3, 1

Doherty, 2008, Temporal action logics, vol. 3, 709

Ferraris, 2006, A generalization of the Lin–Zhao theorem, Annals of Mathematics and Artificial Intelligence, 47, 79, 10.1007/s10472-006-9025-2

Foo, 2002, Dealing with the ramification problem in extended propositional dynamic logic, 173

Forth, 2007, Ramifications: An extension and correspondence result for the event calculus, Journal of Logic and Computation, 17, 639, 10.1093/logcom/exm018

Gelfond, 1988, The stable model semantics for logic programming, 1070

Gelfond, 1998, Action languages, Electronic Transactions on Artificial Intelligence, 3

Gelfond, 2012, The common core of action languages B and C

Ginsberg, 1987, Reasoning about action I: A possible worlds approach, Artificial Intelligence, 35, 233

Gustafsson, 1996, Embracing occlusion in specifying the indirect effects of actions, 87

Herzig, 2007, Metatheory of actions: Beyond consistency, Artificial Intelligence, 171, 951, 10.1016/j.artint.2007.04.013

Kakas, 1997, Reasoning about actions, narratives and ramifications, Electronic Transactions on Artificial Intelligence, 1

Kakas, 2005, Modular-E: An elaboration tolerant approach to the ramification and qualification problems, 211

Kakas, 2011, Modular-E and the role of elaboration tolerance in solving the qualification problem, Artificial Intelligence, 175, 49, 10.1016/j.artint.2010.04.008

Kowalski, 1986, A logic-based calculus of events, New Generation Computing, 4, 67, 10.1007/BF03037383

Kvarnström, 2000, Tackling the qualification problem using fluent dependency constraints, Computational Intelligence, 16, 169, 10.1111/0824-7935.00111

Lifschitz, 1990, Frames in the space of situations, Artificial Intelligence, 46, 365, 10.1016/0004-3702(90)90021-Q

Lin, 1995, Embracing causality in specifying the indirect effects of actions, 1985

Lin, 1996, Embracing causality in specifying the indeterminate effects of actions, 670

Lin, 2011, Causal theories of actions revisited

Lin, 2004, ASSAT: Computing answer sets of a logic program by SAT solvers, Artificial Intelligence, 157, 115, 10.1016/j.artint.2004.04.004

McCain, 1995, A causal theory of ramifications and qualifications, 1978

McCarthy, 1969, Some philosophical problems from the standpoint of artificial intelligence, Machine Intelligence, 4, 463

McIlraith, 2000, Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes), Artificial Intelligence, 116, 87, 10.1016/S0004-3702(99)00087-9

Mueller, 2006

Pinto, 1999, Compiling ramification constraints into effect axioms, Computational Intelligence, 15, 280, 10.1111/0824-7935.00094

Reiter, 2001

Shanahan, 1999, The ramification problem in the event calculus, 140

Strass, 2012

Thielscher, 1995, Computing ramifications by postprocessing, 1994

Thielscher, 1997, Ramification and causality, Artificial Intelligence, 89, 317, 10.1016/S0004-3702(96)00033-1

Thielscher, 2011, A unifying action calculus, Artificial Intelligence, 175, 120, 10.1016/j.artint.2010.04.010

Kristof van Belleghem, Marc Denecker, D. Theseider-Dupré, A constructive approach to the ramification problem, in: Reasoning About Actions; Foundations and Applications, 1998, pp. 1–17.

Wilkins, 1988

Winslett, 1988, Reasoning about action using a possible models approach, 89

Zhang, 2002, Interpolation properties of action logics: Lazy-formalization to the frame problem, vol. 2424, 357

Zhang, 2001, EPDL: A logic for causal reasoning, 131

Thông tin
Thông tin xuất bản

Journal of Applied Logic

Tập 11

289-308

Thông tin tác giả