Papers by Gregory Tseytin
An Attempt towards "Text -> Reality" Models Employing Association Nets
Old paper about an approach to deep understanding of natural language (translation from unpublish... more Old paper about an approach to deep understanding of natural language (translation from unpublished Russian original), 4 co-authors
Association nets described in previous papers now presented in a form close to traditional mathem... more Association nets described in previous papers now presented in a form close to traditional mathematical logic. A revised version with computer-tested examples.
A Formalization of Reasoning not Derived from Standard Predicate Logic
Theoretical Computer Science, 1999
An Exception Handling Proposal for ALGOL 68
Algol Bulletin, 1988
Features of natural languages in programming languages
THIS IS A STORY of how I changed my views from the belief that good knowledge must always be repr... more THIS IS A STORY of how I changed my views from the belief that good knowledge must always be represented as a set of logical statements, within a suitable mathematical model of reality, to my present opinion that knowledge is basically algorithmic.
Targeted marketing is an increasing trend in advertising with companies attempting to send heavil... more Targeted marketing is an increasing trend in advertising with companies attempting to send heavily customised mail shots to only that subset of customers identified as likely to be interested. This requires detailed demographic data on the target group and, when the customer is identified by virtue of having paid by credit card or ordered by mail, such data may be readily available. When customers are anonymous as, for example, at a supermarket checkout, Phenomenal Data Mining has been proposed as a methodology for making demographic and lifestyle inferences from analysis of captured point-ofsale dataP lanners of Public Transport systems require an understanding of patterns of commuter behaviour. This is traditionally derived by expensive survey or diary methods. We show that there are underlying similarities between EPOS and pre-paid ticket data captured by the on-bus Wayfarer system used by the Dublin Bus company and investigate Phenomenal Data Mining as complementary low-cost methodology for analysing this data, We expect that it will be possible to make statistically valid identifications of commuter trips.
The development of programming as well as some studies in artificial intelligence have produced t... more The development of programming as well as some studies in artificial intelligence have produced their own conceptualizations used in the representation of tasks being solved and methods applied. This paper is an attempt at logic-like representation of a programming system, based on the open data model and object-oriented programming, earlier developed and extensively used by the author for various tasks including authomatic programming and natural language understanding. This is suggested as an alternative to traditional logic systems in description of common thinking.
Lecture Nnotes in Computer Science, 1974
One of the things we need in order to use theorem-proving techniques in actual programming (and n... more One of the things we need in order to use theorem-proving techniques in actual programming (and not only in illustrations) is a language that would enable a programmer to state h~ ~ reasoning about the program in a convenient form that easily matches his way of thinking. In this paper an approach to creating such a language is suggested and some features of it are discussed. Thus the
Data mining concepts are used frequently throughout the transportation research sector. This pape... more Data mining concepts are used frequently throughout the transportation research sector. This paper uses the concept of the market basket technique on public transport users as a means of gaining more insight into their transport demands.
On the complexity of derivation in propositional calculus
... A heuristic interpretation can also be given to various restrictions on a derivation describe... more ... A heuristic interpretation can also be given to various restrictions on a derivation described in terms of the calculus GL . ... Page 5. ON THE COMPLEXITY OF DERIVATION INPROPOSITIONAL CALCULUS 119 theorems proved above throw some light on the ...
A system of formal reasoning, termed object-oriented logic (OOL), is presented which is based on ... more A system of formal reasoning, termed object-oriented logic (OOL), is presented which is based on the logical concepts present in modern computer programming and not related directly to predicate logic. It is expected to be e cient in deriving simple conclusions when information is centered around objects and in combining independently designed subsystems. Some examples are discussed, as well as relation to other systems for logic and/or programming.
The aim of this research is to try to understand the mental mechanisms involved in understanding ... more The aim of this research is to try to understand the mental mechanisms involved in understanding natural language by observing and simulating on computer the re lationships between texts and corresponding formal structures in small problem a reas where tasks for the computer are sufficiently clear.
Uploads
Papers by Gregory Tseytin