Tackling the qualification problem using fluent dependency constraints: Preliminary report

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn , Issue , 1998, Pages 97-104

  Doherty, Patrick ^a   Kvarnstrom, Jonas ^a  

^a LINKÖPING UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

ACTION LOGIC; ACTION SCENARIOS; DEPENDENCY CONSTRAINTS; FIRST ORDER; FLUENTS; RAMIFICATION PROBLEMS; RESEARCH TOOLS; STRONG FORM;

EID: 0343479467     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.1998.674138     Document Type: Conference Paper

References (14)

1. P. Doherty. Reasoning about Action and Change Using Occlusion. In: Proceedings of the 11th European Conference on Artificial Intelligence, 1994, 401-405.
2. P. Doherty,W. Lukaszewicz. Circumscribing Features and Fluents. In: Proceedings of the 1st International Conference on Temporal Logic, Lecture Notes on Artificial Intelligence, vol. 827, Springer-Verlag, 1994, 82-100.
3. P. Doherty. PMON+: A Fluent Logic for Action and Change, Formal Specification, Version 1.0. Department of Computer and Information Science, Linkoping University. Technical report LITH-IDA-96-33. 1996. http://www.ida.liu.se/publications/techrep/96/tr96.html
4. P. Doherty, J. Kvarnstrom. Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report. Linkoping Electronic Articles in Computer and Information Science, 1997. http://www.ep.liu.se/ea/cis/1997/016.
5. M. Ginsburg, D. E. Smith. Reasoning about Action II: the Qualification Problem, Artificial Intelligence J., 35, 1988, 311-342.
6. E Giunchiglia and V. Lifschitz. Dependent fluents. In Proc. of the 14th Int'l Conf. on Artificial Intelligence, 1995.
7. J. Gustafsson, P. Doherty. Embracing Occlusion in Specifying the Indirect Effects of Actions. In: Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann Publishers, San Francisco, 1996, 87-98.
8. L. Karlsson, J. Gustafsson. Reasoning about Actions in a Multi-agent Environment. Linkoping Electronic Articles in Computer and Information Science, 1997. http://www.ep.liu.se/ea/cis/1997/014. Also submitted for journal publication.
9. J. Kvarnstrom, P. Doherty. VITAL: A Research Tool for Visualizing and Querying Action Scenarios in TAL. http://anton.ida.liu.se/vital/vital.html.
10. F. Lin, R. Reiter. State Constraints Revisited, Journal of Logic and Computation, special issue on actions and processes, 4, 1994, 655-678.
11. E. Sandewall. Filter Preferential Entailment for the Logic of Action and Change. In: Proc. of the 11th Int'l Joint Conf. on Artificial Intelligence, (IJCAI-89),Morgan Kaufmann Publishers, 1989.
12. E. Sandewall. Features and Fluents. A Systematic Approach to the Representation of Knowledge about Dynamical Systems. Volume 1. Oxford University Press, 1994.
13. M. Thielscher. Ramification and causality. Artificial Intelligence J., 1997.
14. V. Lifschitz. Formal theories of action. The Frame Problem in Artificial Intelligence. Morgan Kaufmann Publishers, San Francisco, 1987.