Abstracts 1995 - 1998:

Logical Foundations

---

Abstracts 1995 - 1998: other topics

• Agent Technology

• Knowledge Engineering

• AI and Design

Logical foundations: abstracts 1995 - 1998

• Brazier, F.M.T., Treur, J., Wijngaards, N.J.E. and Willems, M., Temporal semantics of task models and problem solving methods. Data and Knowledge Engineering, Elsevier. To appear, 1998.

  Abstract
  A formal approach to modelling and specifying complex dynamic tasks is introduced. A basic assumption is that complex (reasoning) tasks can be modelled by a compositional architecture wherein components correspond to tasks. Explicitation of the control of a system's problem solving behaviour is essential when modelling complex reasoning tasks. The semantics of the task models and problem solving methods involved is a description of a compositional system's behaviour, and a temporal approach provides a means to describe the dynamics involved. Temporal models are used to formalise this semantics. The compositional structure of information states, transitions and reasoning traces provides a transparant model of the system's behaviour, both conceptually and formally.

• Engelfriet, J., Jonker, C.M. and J. Treur, Compositional Verification of Multi-Agent Systems in Temporal Multi- Epistemic Logic. In: J.P. Mueller, M.P. Singh, A.S. Rao (eds.), Proceedings of the Fifth International Workshop on Agent Theories, Architectures and Languages, ATAL'98. To appear, 1998.

  Abstract
  When a compositional multi-agent system is to be verified, it is natural to do this compositionally. In this paper we explore the use of a temporal epistemic logic to formalize specification, properties, and their proofs, of compositional multi-agent systems. The specification of the system, its properties and their proofs are of a compositional nature. It is shown that compositional proofs are valid under certain restrictions. Finally, the possibility of incorporating default persistence of information in a system into a temporal specification, is explored.

• Engelfriet J. and Treur, J., Interpretation of Default Logic in Temporal Logic. Journal of Logic, Language and Information. In press, 1998.

• Hoek, W. van der, Meyer, J.J. Ch., Treur, J., Temporal Epistemic Default Logic. Journal of Logic, Language and Information. In press, 1998.

• Marek, V.W., Treur, J. Truszczynski, M., Representation Theory for Default Logic. Annals of Mathematics and Artificial Intelligence, vol. 21, 1997, pp. 343- 358.

• Engelfriet, J., Jonker, C.M., and Treur, J., Compositional Verification of Knowledge-Based Systems in Temporal Epistemic Logic. In: A. Bossi (ed.), Verification, Model Checking and Abstract Interpretation, Dipartimento di Matematica Applicata ed Informatica, Universita Ca Foscari di Venezia, Venetie, Technical Report CS97-14, 1997, 10 pp.

• Engelfriet J., and Treur J., A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning. In: D.M. Gabbay, R. Kruse, A. Nonnengart, H.J. Ohlbach (eds.), Qualitative and Quantitative Practical Reasoning, Proc. ECSQARU/FAPR-97, Lecture Notes in Artificial Intelligence, vol. 1244, Springer-Verlag, Berlin, 1997, pp. 252-266.

• Allis V.E., Tan Y.H., Treur J., Meta-level Selection Techniques for the Control of Default Reasoning. Future Generation Computer Systems, vol. 12, Special double issue (2-3): Reflection and Meta-level AI Architectures, (R. Lopez de Mantaras, ed.), 1996, pp. 189-201.

• Engelfriet J., Treur J., Executable Temporal Logic for Nonmonotonic Reasoning. Journal of Symbolic Computation, vol. 22, (no. 5&6), 1996, pp. 615-625.

• Engelfriet J., Herre H., Treur J., Nonmonotonic Reasoning with Multiple Belief Sets. Proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR'96, Springer Verlag, Lecture Notes in Artificial Intelligence, vol. 1085, 1996, pp. 331-344.

• Engelfriet, J., Marek, V.W., Treur, J., Truszczynski, M., Infinitary Default Logic for Specification of Nonmonotonic Reasoning. Proceedings of the European Workshop on Logics in Artificial Intelligence, JELIA'96, Springer Verlag, Lecture Notes in Artificial Intelligence, vol. 1126, 1996, pp. 224-236.

• Engelfriet J., and Treur J., Semantics for Default Logic Based on Specific Branching Time Models. In: Wahlster, W. (ed.), Proceedings of the 12th European Conference on Artificial Intelligence, ECAI'96, John Wiley & Sons, Chichester, 1996, pp. 60-64.

• Engelfriet J., and Treur J., Specification of Nonmonotonic Reasoning. In: Proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR'96, Springer-Verlag, Lecture Notes in Artificial Intelligence, vol. 1085, 1996, pp. 111-125.

• Brazier F.M.T., Langen P.H.G. van, Treur J., A logical theory of design. In: J.S. Gero (ed.), Advances in Formal Design Methods for CAD, Proceedings of the Second International Workshop on Formal Methods in Design. Chapman & Hall, New York, 1996, pp. 243-266.

• Engelfriet, J., and Treur, J., Temporal Theories of Reasoning. Journal of Applied Non-Classical Logics, 5, 1995, pp. 239-261.

• Engelfriet, J., Herre, H., and Treur, J., Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract). In: C. Froidevaux, J. Kohlas (eds.), Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Proc. ECSQARU'95, Lecture Notes in AI, vol. 946, Springer-Verlag, 1995, pp. 189-196.

• Hoek, W. van der, Meyer, J.- J.Ch., and Treur, J., Temporalizing Epistemic Default Logic. In: R.B. Feenstra, R. Wieringa (eds.), Information Systems-Correctness and Reusability. Selected papers from the IS-CORE-95 Workshop, World Scientific Publishers, 1995, pp. 173-190.