Multiple agents and the heuristic ascription of belief
International Joint Conference on Artificial IntelligencePublished 23 August 1987
Yorick Wilks, Afzal Ballim
Citations43
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
A method for heuristically generating nested beliefs (what some agent believes that another agent-believes ... about a topic) is described, which isential to many processes such as discourse processing and reasoning about other agents' reasoning processes.
Abstract
A method for heuristically generating nested beliefs (what some agent believes that another agent-believes ... about a topic) is described. Such nested beliefs (points of view) are esential to many processes such as discourse processing and reasoning about other agents' reasoning processes. Particular interest is paid to the class of beliefs known as atypical beliefs and to intensional descriptions. The heuristic methods described are emboddied in a program called ViewGen that generates nested viewpoints from a set of beliefs held by the system.
Keywords
Computer Science
Elsevier eBooksA FRAMEWORK FOR REPRESENTING KNOWLEDGE
4,545 Citations1988Marvin Minsky
The enormous problem of the volume of background common sense knowledge required to understand even very simple natural language texts is discussed and it is suggested that networks of frames are a reasonable approach to represent such knowledge.
Computational LinguisticsA plan-based analysis of indirect speech acts
289 Citations1980C. Raymond Perrault, James F. Allen
An account of indirect forms of speech acts to request and inform based on the hypothesis that language users can recognize actions being performed by others, infer goals being sought, and cooperate in their achievement is proposed.
SNePS Considered as a Fully Intensional Propositional Semantic Network
174 Citations1987Stuart C. Shapiro, William J. Rapaport
A formal syntax and semantics for SNePS considered as the (modeled) mind of a cognitive agent is presented, based on a Meinongian theory of the intensional objects of thought that is appropriate for AI considered as "computational philosophy" or "comPUTational psychology".
A model of plan inference that distinguishes between the beliefs of actors and observers
143 Citations1986Martha E. Pollack
A model of PI that abandons the assumption that the agent whose plan is being inferred and the agent drawing the inference have identical beliefs about actions in the domain is described, which rests on an analysis of plans as mental phenomena.
Cognitive ScienceBeliefs, Points of View, and Multiple Environments*
83 Citations1983Yorick Wilks, Janusz S. Bień
It is argued that the mechanism proposed is compatible with a general least effort hypothesis concerning human mental functioning, and one which could explain the acquisition of unsupported beliefs.
Computational Models of Belief and the Semantics of Belief Sentences
72 Citations1982Robert C. Moore, Gary G. Hendrix
A great deal of light can be shed on the problems of belief by studying them from the viewpoint of computational models of the psychological processes and states associated with belief.
International Joint Conference on Artificial IntelligenceA computational theory of belief introspection
40 Citations1985Kurt Konolige
This paper is concerned with developing an explanatory theory of a particular type of introspection: a robot agent's knowledge of his own beliefs, which is both descriptive and prescriptive in yielding an effective means of adding introspective reasoning abilities to robot agents.
International Joint Conference on Artificial IntelligencePrepositional attitudes: Fregean representation and simulative reasoning
40 Citations1979Lewis G. Creary
A general notation that has been constructed for representing information about propositions! attitudes, and a method that is being developed for using this notation to reason about such Information, based on McCarthy's first-order theory of individual concepts and propositions.
Digital Library of the Formal Linguistics Department at the University of Warsaw (University of Warsaw)Speech acts and multiple environments
21 Citations1979Yorick Wilks, Janusz S. Bień
A system that engages in dialogue with a human user so as to discuss others and in doing so, interprets the appropriate communicative force of the user's utterances is proposed, which is a generalization of the computer science approach to expression evaluation.
International Joint Conference on Artificial IntelligenceIntensions as such: an outline
16 Citations1983John A. Barnden
A alternative system is proposed, in which there is a concept-forming function corresponding roughly to complex-concept formers (especially the phrase "the proposition that") implicit in English sentences, which has a more primitive and natural notional base.