By Frank M. Brown
Read or Download The Frame Problem in Artificial Intelligence. Proceedings of the 1987 Workshop PDF
Similar intelligence & semantics books
A workshop on Singularities, Bifuraction and Dynamics used to be held at Warwick in July 1989, as a part of a year-long symposium on Singularity concept and its purposes. The court cases fall into halves: quantity I as a rule on connections with algebraic geometry and quantity II on connections with dynamical platforms thought, bifurcation conception and purposes within the sciences.
This e-book offers a thought, a proper language, and a realistic technique for the specification, use, and reuse of problem-solving tools. The framework built through the writer characterizes knowledge-based platforms as a selected kind of software program structure the place the purposes are built via integrating conventional job requisites, challenge fixing tools, and area types: this strategy turns wisdom engineering right into a software program engineering self-discipline.
Whereas a lot has been written concerning the parts of textual content new release, textual content making plans, discourse modeling, and consumer modeling, Johanna Moore's e-book is without doubt one of the first to take on modeling the complicated dynamics of explanatory dialogues. It describes an explanation-planning structure that permits a computational procedure to take part in an interactive discussion with its clients, concentrating on the data constructions procedure needs to construct in an effort to tricky or make clear previous utterances, or to respond to follow-up questions within the context of an ongoing discussion.
- Reference and Referring
- Learning and Reinforcement
- Intelligent Signal Processing
- Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications
Extra resources for The Frame Problem in Artificial Intelligence. Proceedings of the 1987 Workshop
Acknowledgements This paper is an outgrowth of ideas developed by John McCarthy in his re search on commonsense and non-monotonic reasoning, and I am grateful for the opportunity to discuss my work with him. I have also benefitted from discussions with Michael Gelfond, Michael GeorgefF, Matthew Ginsberg, Robert Givan, Patrick Hayes, Robert Kowalski, Drew McDermott, Nils Nilsson, Donald Perlis, Raymond Reiter and Yoav Shoham. This research was partially supported by DARPA under Contract N0039-82-C-0250.
These fluents form a "coordinate frame" in the quotient set of the space of situations relative to this equivalence relation. 43 44 Circumscription Approaches and Criticisms 4. A n A l t e r n a t i v e F o r m u l a t i o n The formalization of the Yale shooting problem proposed above has two defects. First, we were only able to show that actions lead to the expected results in term models of the circumscription, not in arbitrary models. Second, we exploited some special features of the problem that are not present in more complex problems of this kind.
We also simplify the notation in two ways. First, we shall assume throughout that all free variables are universally quantified. Second we assume that, in any formula involving the history variable w, both s and succ(s, w) are elements of w, without stating this explicitly. In reasoning about actions and events, one of the most important things we need to know is how they affect the world - that is, we must be able to specify the effects of actions and events when performed in given situations.
The Frame Problem in Artificial Intelligence. Proceedings of the 1987 Workshop by Frank M. Brown