Situation Theory and Its Applications:

Author: Peter Aczel

Publisher: Center for the Study of Language (CSLI)

ISBN: 9781881526087

Category: Computers

Page: 416

View: 6596

Release On

Situation theory is the result of an interdisciplinary effort to create a full-fledged theory of information. Created by scholars and scientists from cognitive science, computer science and AI, linguistics, logic, philosophy, and mathematics, it aims to provide a common set of tools for the analysis of phenomena from all these fields. Unlike Shannon-Weaver type theories of information, which are purely quantitative theories, situation theory aims at providing tools for the analysis of the specific content of a situation (signal, message, data base, statement, or other information-carrying situation). The question addressed is not how much information is carried, but what information is carried.

Handbook of Logic and Language

Author: Johan F.A.K. van Benthem,Alice ter Meulen

Publisher: Elsevier

ISBN: 9780444537270

Category: Mathematics

Page: 1168

View: 5402

Release On

The logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science and game theory. This new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as a historical perspective. It is divided into three parts covering Frameworks, General Topics and Descriptive Themes. Completely revised and updated - includes over 25% new material Discusses the interface between logic and language Many of the authors are creators or active developers of the theories

Incomplete Information: Rough Set Analysis

Author: Ewa Orlowska

Publisher: Physica

ISBN: 3790818887

Category: Computers

Page: 613

View: 3330

Release On

In 1982, Professor Pawlak published his seminal paper on what he called "rough sets" - a work which opened a new direction in the development of theories of incomplete information. Today, a decade and a half later, the theory of rough sets has evolved into a far-reaching methodology for dealing with a wide variety of issues centering on incompleteness and imprecision of information - issues which playa key role in the conception and design of intelligent information systems. "Incomplete Information: Rough Set Analysis" - or RSA for short - presents an up-to-date and highly authoritative account of the current status of the basic theory, its many extensions and wide-ranging applications. Edited by Professor Ewa Orlowska, one of the leading contributors to the theory of rough sets, RSA is a collection of nineteen well-integrated chapters authored by experts in rough set theory and related fields. A common thread that runs through these chapters ties the concept of incompleteness of information to those of indiscernibility and similarity.

Handbook of Modal Logic

Author: Patrick Blackburn,Johan F.A.K. van Benthem,Frank Wolter

Publisher: Elsevier

ISBN: 9780080466668

Category: Mathematics

Page: 1260

View: 6489

Release On

The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing. The articles survey the field from a wide variety of perspectives: the underling theory is explored in depth, modern computational approaches are treated, and six major applications areas of modal logic (in Mathematics, Computer Science, Artificial Intelligence, Linguistics, Game Theory, and Philosophy) are surveyed. The book contains both well-written expository articles, suitable for beginners approaching the subject for the first time, and advanced articles, which will help those already familiar with the field to deepen their expertise. Please visit: - Compact modal logic reference - Computational approaches fully discussed - Contemporary applications of modal logic covered in depth

Logics of Time and Computation

Author: Robert Goldblatt

Publisher: Center for the Study of Language and Information Publications

ISBN: 9780937073933

Category: Mathematics

Page: 180

View: 1470

Release On

Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.

The Situation in Logic

Author: Jon Barwise

Publisher: Center for the Study of Language (CSLI)

ISBN: 9780937073322

Category: Mathematics

Page: 327

View: 7768

Release On

Situation Theory and situation semantics are recent approaches to language and information, approaches first formulated by Jon Barwise and John Perry in Situations and Attitudes (1983). The present volume collects some of Barwise's papers written since then, those directly concerned with relations among logic, situation theory, and situation semantics. Several papers appear here for the first time.

Formal specification and synthesis of procedural controllers for process systems

Author: Arturo Sánchez

Publisher: Springer Verlag


Category: Technology & Engineering

Page: 221

View: 6637

Release On

The operation of process plants involves a large number of event-driven activities, such as the start-up and shut-down of the plant, the execution of emergency procedures and equipment interlocking. These activities are normally carried out by procedural control systems (such as PLCs or DCSs). Despite the extent to which these control systems are used in practice, limited theoretical frameworks exist to support their analysis and design. This is particularly relevant in flexible production environments which are characterised by frequent changes in the product recipes, production modes and equipment configuration. The book outlines a formal framework for the synthesis of control systems employed in the automation of event-driven process operations. The approach used builds on other theories initially proposed in computing and control disciplines.


Handbuch pragmatischen Denkens

Author: Herbert Stachowiak

Publisher: N.A

ISBN: 9783787306602

Category: Language Arts & Disciplines

Page: 481

View: 7403

Release On

Research Centers Directory

Author: N.A

Publisher: N.A

ISBN: 9780810383579

Category: Learned institutions and societies

Page: N.A

View: 1912

Release On

Research institutes, foundations, centers, bureaus, laboratories, experiment stations, and other similar nonprofit facilities, organizations, and activities in the United States and Canada. Entry gives identifying and descriptive information of staff and work. Institutional, research centers, and subject indexes. 5th ed., 5491 entries; 6th ed., 6268 entries.

Struktur Und Interpretation Von Computerprogrammen/ Structure and Interpretation of Computer Programs

Eine Informatik-einfhrung/ a Computer Science Introduction

Author: Harold Abelson,Julie Sussman,Gerald Jay Sussman

Publisher: Springer

ISBN: 9783540423423

Category: Computers

Page: 682

View: 6905

Release On

Die Übersetzung der bewährten Einführung in die Informatik, entstanden am Massachusetts Institute of Technology (MIT), wird seit Jahren erfolgreich in der Lehre eingesetzt. Schritt für Schritt werden Konstruktion und Abstraktion von Daten und Prozeduren dargestellt. Von der Modularisierung bis zum Problemlösen mit Registermaschinen werden verschiedene Programmierparadigmen entwickelt und die effektive Handhabung von Komplexität gezeigt. Als Programmiersprache wird SCHEME verwendet, ein Dialekt von LISP. Alle Programme laufen in jeder dem IEEE-Standard entsprechenden SCHEME-Implementierung.

A Manual of Intensional Logic

Author: Johan F. A. K. van Benthem

Publisher: Center for the Study of Language and Information Publications

ISBN: 9780937073292

Category: Mathematics

Page: 145

View: 1217

Release On

Intensional logic is the technical study of such intensional phenomena in human reasoning as modality, knowledge, or flow of time. These all require a richer semantic picture than standard truth values in one static environment. Such a picture is provided by so-called possible worlds semantics, a paradigm which is surveyed in this book, both as to its external sources of motivation and as to the internal dynamics of the resulting program. In particular, Manual of Intensional Logic presents the major classical topics, including modal logic, tense logic, and conditional logic, all of which illustrate motivations coming from philosophy and linguistics. The Book also discusses recent computational applications in computer science and AI. Finally, Manual of Intensional Logic takes up recent developments in the study of language and information making themselves felt in the area. The Book examines the role of partial information--with illustrations drawn from different branches of Intensional Logic--and various influences stemming from current theories of the semantics of natural language, involving generalized quantifiers and theories of types.

Language, Proof, and Logic

Author: Dave Barker-Plummer,Jon Barwise,John Etchemendy

Publisher: Stanford Univ Center for the Study

ISBN: 9781575866321

Category: Computers

Page: 606

View: 3890

Release On

Rev. ed. of: Language, proof, and logic / Jon Barwise & John Etchemendy.