Inductive definability in formal language theory
نویسندگان
چکیده
منابع مشابه
Truth and Inductive Definability
The purpose of this note is to give an exposition of Kripke’s theory of truth [4] within the context of the theory of induction on abstract structures. The results are not presented in full generality: That is not needed for the applications made here. For that, see Moschovakis [6], Kechris and Moschovakis, [2], and McGee [5, ch. 5]. Useful papers here, besides Kripke’s original, include Feferm...
متن کامل1 Formal Language Theory
This chapter provides a gentle introduction to formal language theory, aimed at readers with little background in formal systems. The motivation is natural language processing (NLP), and the presentation is geared towards NLP applications, with linguistically motivated examples, but without compromising mathematical rigor. The text covers elementary formal language theory, including: regular la...
متن کاملRelative Definability in Formal Ontologies
The paper investigates technical meta-logical notions and theorems relating to definitions and relative definability and shows how these are relevant to the concerns of knowledge representation. In particular they can be used to identify sets of primitives that are sufficent to fully describe a given domain. Fundamental definability theorems of Tarski are examined, and it is shown how these can...
متن کاملFormal Language Theory For Natural Language Processing
This paper reports on a course whose aim is to introduce Formal Language Theory to students with little formal background (mostly linguistics students). The course was first taught at the European Summer School for Logic, Language and Information to a mixed audience of students, undergraduate, graduate and postgraduate, with various backgrounds. The challenges of teaching such a course include ...
متن کاملInductive Definability and the Situation Calculus
We explore the situation calculus within the framework of inductive deenability. A consequence of this view of the situation calculus is to establish direct connections with diierent variants of the-First we show that the induction principle on situations Reiter, 1993] is implied by an inductive deenition of the set of situations. Then we consider the frame problem from the point of view of ind...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1978
ISSN: 0022-0000
DOI: 10.1016/0022-0000(78)90025-9