Browsing by Keywords "Commonsense Reasoning"

Now showing items 1-6 of 6

    • Contexts and situations 

      Surav, Mehmet (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 

      Akman, V.; Pakkan, M. (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 

      Akman, V.; Erdoğan, S. T.; Lee, J.; Lifschitz, V.; Turner, H. (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 

      Ersan, Murat (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 

      Uçar, Erkan (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 

      Akman, V.; Surav, M. (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 ...