Waldinger has proposed a scheme for getting around these problems by extending the logic to handle sets and tuples (still keeping an explicit state variable around).
There is a growing national need to increase the real productivity of our society, wherein "productivity" is defined to include such major factors as the quality of life of workers and the quality of products, consistent with the desires and expectations of the general public.
SRI developed evidence-centered assessment reflection tools (EC-AR) that help educators to broaden learning objectives to shift from content topics to student competencies.
Yvan G. Leclerc, M. Reddy, M. Eriksen, J. Brecht, & D. Colleen
The goal of SRI International’s Digital Earth project was to develop the infrastructure for an open, distributed, multiresolution, 3-D representation of the earth, into which massive quantities of georeferenced information can be embedded.
Two important problems in speech understanding are how to effectively integrate multiple sources of knowledge within the system and how to control the activities of the system to arrive at appropriate interpretations for utterances.
The frame problem has taken on new significance during recent attempts to develop artificially intelligent systems. The problem deals with the difficulty of creating and maintaining an appropriate informational context or "frame of reference" at each stage in certain problem-solving process.
This paper discusses two problems central to the interpretation of utterances: determining the relationship between actions described in an utterance and events in the world, and inferring the ``state of the world’’ from utterances.
The approach proposed by Carnap for the development of logical bases for probability theory is investigated by using formal structures that are based on epistemic logics.
This paper describes a mobile robot designed for experimentation in artificial intelligence (AI). Presented here are details of the robot?s hardware and software architecture. The robot is driven by two electrically powered wheels.
Researchers using epistemic logic as a formal framework for studying knowledge properties of artificial-intelligence (AI) systems often interpret the knowledge formula to mean that machine encodes in its state as a syntactic formula or can derive it inferentially.
