Titlebook: GWAI-86 und 2. ?sterreichische Artificial-Intelligence-Tagung; Ottenstein/Nieder?st Claus-Rainer Rollinger,Werner Horn Conference proceedin

BARK

放氣

The Construction of Programming Knowledge from System Explorations and Explanatory Text: A Cognitivelied problems such as making computer systems more usable. A formal specification of human information processing would assist computer scientists in their efforts to tailor systems to the needs of the human user (Newell, 1985; Polson, 1986).

otic-capsule

我邪惡

興奮過(guò)度

Decision Making in Unclear Situationsto make decisions in such an environment, too. Here we discuss some of the usual methods of decision making in two-person games and give an analysis of the problems induced by unclear situations. Two classes of such situations are distinguished and a model for improved decision making based on the p

雪白

State Space Algorithms for Searching Game Treesfor example, performs most often superior to SSS*. Introducing directional search characteristics to SSS* and DUAL* gives insight in the utility of global node information. As a result, the totally directional . search is shown to be just a restricted case of SSS* and D UAL*.

男學(xué)院

Explicit and Implicit Beliefsfs B#L, which allows local inconsistencies, but forbids global ones. We prove its soundness and completeness. The semantics for the B#L logic is given by a Kripke model. We show how to introduce quantifiers to this logic and discuss its computational properties..The paper is organized as follows

悲觀

歡樂(lè)中國(guó)