 |
Natural Language Understanding |
This report describes a project to
implement the methods discussed by Allen
for the problem of encoding a context free logical form
representation of simple English language sentences. The goal has been
to extend previous work on English language sentence parsing to the
point where the resulting syntactic structure can be reduced to its
context independent logical form. This representation will be used to
study the context and knowledge based dependencies of the sentence
meaning and to study how ambiguity can be resolved through context
differences. |
|
Intuitionistic Logic in Business Systems |
Business computer systems model the
real world where the absolute truth cannot always be established. This
can lead to different points of view and a problem with client
satisfaction. We consider intuitionistic logic as a more natural way for
a business system to implement situational reasoning and we show how a
proposition and its refutation can be used to develop both a specialized
and a generalized extension to a rule-based business model. |
|
Operator Overloading in C |
This thesis is concerned with
investigating an approach for adding problem notation to a computer
language. A method is proposed for modifying a programming
language to fit problem notation by including the capability of defining
a problem specific set of symbols or operators in the language. |
|
Implementing Generalized Operator Overloading |
This paper, published in Software: Practice and Experience, presents a practical method of adding problem-specific notation to an established computer language. Our idea is to use unrestricted operator overloading as a tool to map the problem domain notation directly into an existing programming language. |
|
Optimizing SQL Processing |
We show various classes of syntactically equivalent SQL queries, each of which can exhibit substantial differences in data access depending on the characteristics of the query formulation and the success of the database query optimizer. We conclude that on-line analytic processing systems must not depend on dynamic user specified SQL queries if consistent overall system performance is required. |
