|
Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Representation Theorems in Computer Science - A Treatment in Logic Engineering (Hardcover, 1st ed. 2019)
Loot Price: R2,657
Discovery Miles 26 570
|
|
|
Representation Theorems in Computer Science - A Treatment in Logic Engineering (Hardcover, 1st ed. 2019)
Expected to ship within 18 - 22 working days
|
Formal specifications are an important tool for the construction,
verification and analysis of systems, since without it is hardly
possible to explain whether a system worked correctly or showed an
expected behavior. This book proposes the use of representation
theorems as a means to develop an understanding of all models of a
specification in order to exclude possible unintended models,
demonstrating the general methodology with representation theorems
for applications in qualitative spatial reasoning, data stream
processing, and belief revision. For qualitative spatial reasoning,
it develops a model of spatial relatedness that captures the
scaling context with hierarchical partitions of a spatial domain,
and axiomatically characterizes the resulting relations. It also
shows that various important properties of stream processing, such
as prefix-determinedness or various factorization properties can be
axiomatized, and that the axioms are fulfilled by natural classes
of stream functions. The third example is belief revision, which is
concerned with the revision of knowledge bases under new,
potentially incompatible information. In this context, the book
considers a subclass of revision operators, namely the class of
reinterpretation operators, and characterizes them axiomatically. A
characteristic property of reinterpretation operators is that of
dissolving potential inconsistencies by reinterpreting symbols of
the knowledge base. Intended for researchers in theoretical
computer science or one of the above application domains, the book
presents results that demonstrate the use of representation
theorems for the design and evaluation of formal specifications,
and provide the basis for future application-development kits that
support application designers with automatically built
representations.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
