IDA Dept. of Computer and Information science, Linköping University

IDA Technical Reports: abstract

Generated: Thu, 19 Apr 2018 11:49:53

Nadjm-Tehrani, S. (1991). Analysis of the Overtaking Scenario: Specification of an Autonomous Car and a Driver Support System. Technical Report LiTH-IDA-R-91-07, Department of Computer and Information Science, Linköping University, Sweden. (bibtex),

Abstract: Representation of real world phenomena in terms of theories in logic and drawing inferences from the theories are known to be cumbersome and impractical for applications of modest complexity. In this paper I advocate one possible use of logic in designing decision support systems. It is suggested that logic-based languages, even if not used in the final system dealing with the application, are a good specification language which also provide the possibility of rapid prototyping. In addition, logic can be used for analysis of the solution, arriving at meta-theories which can benefit the final application. These issues are discussed in the context of a non-trivial application: that of providing support to a driver in a co-driver system.

Goto (at Linköping University): CS Dept TR Overview