Task FF[1]: Design of the Specification Layer

This task aims at the design of appropriate (coalgebraic) modal logics for the specification layer of the SHI P framework, including general process logics as well as domain-specific logics for the targeted application area, AAL. Generally, these logics need to support a pluggable notion of datatype, and incorporate support for uncertainty, common-sense reasoning, and time. Domain specific aspects to be covered in AAL include deontics, intentionality, planning, security, and preferences.

All Tickets

Ticket Priority Summary Owner
No tickets found

Last modified 8 years ago Last modified on 25.02.2011 10:16:23