Önermelerin oluşturduğu sonsuz onaylanma mekanizmasının epistemolojik, sözel, ve analitik olarak incelemesi.

Strawson proposed in the early seventies an attractive threefold distinction regarding how context bears on the meaning of 'what is said' when a sentence is uttered. The proposed scheme is somewhat crude and, being aware of this aspect, Strawson himself raised various points to make it more adequate. In this paper, we review the scheme of Strawson, note his concerns, and add some of our own. However, our main point is to defend the essence of Strawson's approach and to recommend (...) it as a starting point for research into intended meaning and context. (shrink)

Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic programs. During the computation of an answer set, systems are faced with choice points where they have to select a literal and assign it a truth value. Generally, systems utilize some heuristics to choose new literals at the choice points. The heuristic used is one of the key factors for the performance of (...) the system. A new heuristic for answer set programming has been developed. This heuristic is inspired by hierarchical planning. The notion of criticality, which was introduced for generating abstraction hierarchies in hierarchical planning, is used in this heuristic. The resulting system (CSMODELS) uses this new heuristic in a static way. CSMODELS is based on the system SMODELS. The experimental results show that this new heuristic is promising for answer set programming. A comparison of search times with SMODELS demonstrate CSMODELS’ usefulness. (shrink)

Trying to define nothingness has always been a challenge for philosophers. What exactly is it? Does it share properties similar to spaces? Can we treat it as a ''thing'' ? We can say an object is inside nothingness, but how do we imagine that ''containment'' ?