- Full text PDF available (6)
- This year (0)
- Last 5 years (0)
- Last 10 years (0)
Journals and Conferences
Competition for and consumption of resources are at the core of ethical issues. Solutions to these problems have been at the core of both operating system design and Internet algorithms. The solutions are traditionally integrated into the software. However, the emergence of intelligent autonomous agents such a bots and spiders which compete with human users… (More)
When does a statement constitute an answer to question? How can it be known that the statement is a correct answer to a question? Under what conditions is a piece of software the solution to a user’s requirements. The answer to these questions depends on the degree of certainty required. A formal definition of the problem domain, language, and theory is… (More)
In their 1975 Turing Award Lecture, Alan Newell and Herbert Simon described symbol systems and heuristic search as the key ideas for understanding how information is processed and how intelligence is achieved. Since then, there have been a number of remarkable advances in domain specific systems such as Chess programs, sophisticated knowledge based expert… (More)
This work makes several original contributions. The first is a descriptive rubric based on three areas of philosophy, ontology, epistemology, and axiology. It is employed to describe theories. The second is a hierarchical taxonomy for theories and a taxonomy for empirical theories. This taxonomy clarifies the relationships between theories in mathematics… (More)
This paper is an introduction to the relationship between information, meaning, and truth.
The relationship between mathematical logic, theory of computation, philosophy, software quality characteristics, scientific theories, and software design.