Browsing by Keywords "Commonsense Reasoning"
Now showing items 1-6 of 6
-
Contexts and situations
(Bilkent University, 1994)The issue of context arises in assorted areas of Artificial Intelligence, Mathematical Logic, and Natural Language Semantics. Although its importance is realized by various researchers, there is not much work towards a ... -
Nonstandard set theories and information management
(Springer/Kluwer Academic Publishers, 1996)The merits of set theory as a foundational tool in mathematics stimulate its use in various areas of artificial intelligence, in particular intelligent information systems. In this paper, a study of various nonstandard ... -
Representing the Zoo World and the Traffic World in the language of the Causal Calculator
(Elsevier, 2004-03)The work described in this report is motivated by the desire to test the expressive possibilities of action language C+. The Causal Calculator (CCALC) is a system that answers queries about action domains described in a ... -
Situated modeling of epistemic puzzles
(Bilkent University, 1994)Situation theory is a mathematical theory of meaning introduced by Jon Barwise and John Perry. It has evoked great theoretical and practical interest and motivated the framework of a few ‘computational’ systems. PROSIT ... -
The use of a theorem prover to verifity a liquid flow control program
(Bilkent University, 1993)Program verification is an important task since it produces reliable software. Verification of real-time control programs needs special attention since these run in the real world and it is difficult to determine their ... -
The use of situation theory in context modeling
(Wiley-Blackwell Publishing, Inc., 1997)At the heart of natural language processing is the understanding of context dependent meanings This paper presents a preliminary model of formal contexts based on situation theory. It also gives a worked-out example to ...