Chronological ignorance: experiments in nonmonotonic temporal reasoning
Artificial Intelligence
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Handbook of logic in artificial intelligence and logic programming (vol. 3): nonmonotonic reasoning and uncertain reasoning
General patterns in nonmonotonic reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Inheritance comes of age: applying nonmonotonic techniques to problems in industry
Artificial Intelligence - Special issue: artificial intelligence 40 years later
Object-Oriented System Specification Using Defaults
Proceedings of the Third Workshop on Information Systems and Artificial Intelligence: Management and Processing of Complex Data Structures
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
| Hi-index | 0.00 |
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise specifications, to enhance reusability of existing systems, and to allow a more economic description of systems. In this paper we develop a framework for default specifications of reactive systems. We present a formalisation of non-monotonicity in temporal logic based on the notion of default institution. Default institutions were defined as an extension of institutions in order to allow partial reuse of existing modules. The semantics of defaults is given by a (generalised) distance between interpretations. In this way, by defining a pre-order between temporal morphisms and using temporal logic as a specification language, we get a way of handling defaults in specifications of reactive systems. We illustrate the developed formalism with an example in which a specification is reused, but where the new behaviour contradicts the initial specification. In this example, the initial specification is seen as a default to which exceptions are added.