39. Representation Theorems in Computer Science : A Treatment in Logic Engineering.

Özçep, Özgür Lütfü (2019) 39. Representation Theorems in Computer Science : A Treatment in Logic Engineering. Springer International Publishing AG, 2019. ProQuest Ebook Central. ISBN 9783030257842

[img] Text
39. Representation Theorems in Computer Science.pdf
Restricted to Registered users only

Download (5MB)
Official URL: http://ebookcentral.proquest.com/lib/polije-ebooks...

Abstract

Özçep, Özgür Lütfü. Representation Theorems in Computer Science : A Treatment in Logic Engineering, Springer International Publishing AG, 2019. ProQuest Ebook Central, http://ebookcentral.proquest.com/lib/polije-ebooks/detail.action?docID=5830025. Created from polije-ebooks on 2020-01-27 23:42:48. In many applications of computer science (CS), formal specifications are an im�portant tool for the construction, the verification, and the analysis of systems. The reason is that without formal specifications one could hardly explain whether a sys�tem worked “correctly” or showed an “expected behaviour”. Examples of formal specifications can be found in classical CS applications such as database appli�cations, natural-language processing relying on knowledge bases or autonomous systems (agents) which require formal specifications for goals, plans, or hypotheses on the current state of the environment. A system designer faces the challenging task of designing formal specifications that capture his intended model of the application domain or the intended behaviour of the system as appropriately as possible. But the chosen formal specification may fail to capture the intended model or may contain non-intended models. The latter happens, in particular, in those cases where the expressiveness-feasibility bal�ance was chosen in favour of a polynomial-time algorithm instead of an expressive language. Testing for the existence of non-intended models from a semantical per�spective is quite more complex than a satisfiability test of the formal specification. The missing quality feedback during the design of formal specifications in the area of databases, knowledge bases, and agents is the motivation for a theoretically important and practically relevant research question: given a formal language from one of the applications mentioned above and given a formal specification in that lan�guage, how can one develop a deep understanding of all models of the specification? In following this research query, the work described in this monograph relies on a method based on so-called representation theorems. A valid representation theorem for a formal specification states that the set of all models of a formal specification is representable by a subset of all models. Hereby, the representing models are required to be constructed according to a simple principle. This monograph develops representation results in the context of three applica�tions mentioned in the beginning. The first is from the area of qualitative spatial.

Item Type: Book
Subjects: 410 - Rumpun Ilmu Teknik > 450 - Teknik Elektro dan Informatika > 459 - Ilmu Komputer
Divisions: Perpustakaan > E-Book
Depositing User: Teguh Widodo
Date Deposited: 18 Nov 2021 07:12
Last Modified: 18 Nov 2021 07:12
URI: https://sipora.polije.ac.id/id/eprint/4283

Actions (login required)

View Item View Item