(Enter summary)
Abstract: This thesis describes a system capable of modelling agents engaged in planning and
plan recognition in a world containing multiple independent agents. It uses a database of
formulae representing propositions about its domain, and a reason maintenance system to
represent interdependencies between them. The system has been developed from recent
ideas in domain-independent single-agent planners, but the planning process is controlled
by rules that form a model of rational thought. Agents are... (Update)
Context of citations to this paper: More
.... et al. 1995) In his earlier PhD work, Taylor modeled agents who do not necessarily cooperate and where deception is possible (Taylor, 1994). This model permits arbitrary depths of nesting and does not represent mutual belief but has unique names for all referents. Having...
...be able to represent nested beliefs. Houghton s system [12] includes nested beliefs as preconditions for some utterances. Taylor s CYNIC [22] models agents beliefs and desires in terms of a variant of epistemic logic. Its simulated conversants can reason recursively about each...
Cited by: More
Using Hierarchical Autoepistemic Logic to Model Beliefs in Dialogue - Taylor (1994)
(Correct)
Combining Power With Tractability in Belief Models - Taylor, Carletta, Mellish (1996)
(Correct)
An ATMS-based Belief Model for Dialogue Simulation - Taylor (1993)
(Correct)
Active bibliography (related documents): More All
1.3: Characterizing Indirect Speech Acts - Brown (1980)
(Correct)
0.7: A "Speech Acts" Approach To Grounding In Conversation - Traum, Allen (1992)
(Correct)
0.6: Bibliography of Research in Natural Language Generation - Mark Kantrowitz (1993)
(Correct)
Similar documents based on text: More All
0.3: Social Cognition and Communication: Pragmatic Processing - Oberlander (2000)
(Correct)
0.3: What is pragmatics? Some clues from the web - Larsson (1997)
(Correct)
0.3: Rationality, Cooperation and Conversational Implicature - Lee
(Correct)
Related documents from co-citation: More All
3: Multivalued logics: A uniform approach to reasoning in artificial intelligence (context) - Ginsberg - 1988
2: The HCRC map task corpus (context) - Anderson, Bader et al. - 1991
2: Risk-taking and recovery in task-oriented dialogue (context) - Jean - 1991
BibTeX entry: (Update)
Jasper Taylor, A Multi-Agent Planner for Modelling Dialogue. Ph. D. thesis, School of Cognitive and Computing Sciences, University of Edinburgh http://citeseer.ist.psu.edu/taylor94multiagent.html More
@misc{ taylor-multiagent,
author = "J. Taylor",
title = "A Multi-Agent Planner for Modelling Dialogue",
text = "Jasper Taylor, A Multi-Agent Planner for Modelling Dialogue. Ph. D. thesis,
School of Cognitive and Computing Sciences, University of Edinburgh",
url = "citeseer.ist.psu.edu/taylor94multiagent.html" }
Citations (may not include all citations):
1044
Maintaining knowledge about temporal intervals (context) - Allen - 1983
891
STRIPS: a new approach to the application of theorem proving.. (context) - Fikes, Nillson - 1971
850
A logic for default reasoning (context) - Reiter - 1980
663
Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969
451
Planning for conjunctive goals (context) - Chapman - 1987
451
Circumscription --- a form of non-monotonic reasoning (context) - McCarthy - 1980
432
The evolution of cooperation (context) - Axelrod - 1984
366
The Sciences of the Artificial (context) - Simon - 1981
365
Pengi: An implementation of a theory of activity (context) - Agre, Chapman - 1987
334
A truth maintenance system (context) - Doyle - 1980
327
How to do things with words (context) - Austin - 1962
324
A logic-based calculus of events (context) - Kowalski, Sergot - 1986
304
A framework for representing knowledge (context) - Minsky - 1981
288
Planning in a hierarchy of abstraction spaces (context) - Sacerdoti - 1973
274
Situations and Attitudes (context) - Barwise, Perry - 1983
270
The Ecological Approach to Visual Perception (context) - Gibson - 1979
224
Speech acts: an essay in the philosophy of language (context) - Searle - 1969
217
Artificial Intelligence (context) - Rich, Knight - 1991
210
A formal theory of knowledge and action (context) - Moore - 1985
203
An Introduction to Modal Logic (context) - Hughes, Creswell - 1968
201
Understanding line drawings of scenes with shadows
- Waltz - 1975
194
Knowledge and Belief (context) - Hintikka - 1962
192
Plans as complex mental attitudes
- Pollack - 1990
182
Logic for Problem Solving (context) - Kowalski - 1979
160
Programs with common sense
- McCarthy - 1968
156
Rational interaction as the basis for communication (context) - Cohen, Levesque - 1988
156
Rational interaction as the basis for communication (context) - Cohen, Levesque - 1990
144
Knowledge in Flux (context) - Gardenfors - 1988
142
Elements of a plan-based theory of speech acts (context) - Cohen, Perrault - 1979
133
Contributing to discourse (context) - Clark, Schaefer - 1989
121
The nonlinear nature of plans (context) - Sacerdoti - 1975
107
An analysis of alpha-beta pruning (context) - Knuth, Moore - 1975
106
Understanding natural language (context) - Winograd - 1972
98
Planning English sentences (context) - Appelt - 1985
94
A deduction model of belief (context) - Konolige - 1986
94
Definite reference and mutual knowledge (context) - Clark, Marshall - 1981
85
Planning using a temporal world model (context) - Allen, Koomen - 1983
85
Achieving several goals simultaneously (context) - Waldinger - 1977
85
The second naive physics manifesto (context) - Hayes - 1985
84
Recognizing intentions from natural language utterances (context) - Allen - 1983
80
Planning in time: Windows and durations for activities and g.. (context) - Vere - 1983
73
Practical Planning (context) - Wilkins - 1988
68
An application of default logic to speech act theory (context) - Perrault - 1990
65
the epistemological status of semantic networks (context) - Brachman - 1979
58
Principles of Artificial Intelligence (context) - Nilsson - 1980
57
Becoming increasingly reactive (context) - Mitchell - 1990
56
Philosophical Review (context) - Grice - 1957
53
Discourse processing and commonsense plans (context) - Litman, Allen - 1990
50
Indirect speech acts (context) - Searle - 1975
47
What is intention (context) - Bratman - 1990
45
a program that simulates human thought (context) - Newell, Simon - 1963
43
a knowledge representation language (context) - Bobrow, Winograd et al. - 1977
43
An assumption-based truth maintenance system (context) - de Kleer - 1986
42
The logic of frames (context) - Hayes - 1979
40
A guide to the modal logics of knowledge and belief: Prelimi.. (context) - Halpern, Moses - 1985
37
Logic and conversation (context) - Grice - 1975
36
A plan-based analysis of indirect speech acts
- Perrault, Allen - 1980
34
Convention: a philosophical study (context) - Lewis - 1969
32
Grosz and Candace L (context) - Barbara - 1990
31
An efficient easily adaptable system for interpreting natura..
- Warren, Pereira - 1982
29
intention and commitment (context) - Cohen, Levesque - 1990
29
A theory of action for multiagent planning (context) - Georgeff - 1984
29
Politeness: some universals in language usage (context) - Brown, Levinson - 1987
25
Production rules as a representation for a knowledge-based c.. (context) - Davis, Buchanan et al. - 1977
25
in and Joseph Y. Halpern. Belief, awareness, and limited rea.. (context) - Fag - 1988
25
Conceptual dependency: a theory of natural language understa.. (context) - Schank - 1972
24
The intentional stance (context) - Dennett - 1987
22
Semantics for propositional attitudes (context) - Hintikka - 1974
22
nonmonotonic logics and the frame problem (context) - Hanks, McDermott - 1986
20
Generating descriptions that exploit a user's domain knowled.. (context) - Reiter - 1990
20
MIT Artificial Intelligence Laboratory (context) - Chapman, Instruction et al. - 1990
18
MIT Artificial Intelligence Laboratory (context) - Agre, Structure et al. - 1988
17
Temporal reasoning based on semi-intervals
- Freska - 1992
17
Dialogue games: Metacommunication structures for natural lan.. (context) - Levin, Moore - 1975
16
A model of naive temporal reasoning (context) - Allen, Kautz - 1985
16
dynamic-world problems in the classical planning framework (context) - Pednault
16
Speech acts and rationality
- Cohen, Levesque - 1980
15
Artificial Intelligence (context) - de Kleer, ATMS - 1986
14
Recognizing intended meaning and speakers' plans (context) - Sidner - 1981
12
Problem solving with the ATMS (context) - de Kleer - 1986
11
Formal Methods in Artificial Intelligence (context) - Ramsay - 1987
9
Conversational postulates (context) - Gordon, Lakoff - 1971
9
Eliminative materialism and the propositional attitudes (context) - Churchland - 1981
9
Conversational postulates (context) - Gordon, Lakoff - 1975
9
Project planning using a hierarchical non-linear planner (context) - Tate - 1976
8
of PLANNER: a language for proving theorems and manipulating.. (context) - Hewitt, theoretical et al. - 1972
8
A resolution method for quantified modal logics of knowledge.. (context) - Geissler, Konolige - 1986
8
The origins of consciousness in the breakdown of the bicamer.. (context) - Jaynes - 1976
8
Remnants of Meaning (context) - Schiffer - 1987
8
Possible worlds planning (context) - Ginsberg
7
Belief revision and a theory of communication (context) - Galliers - 1990
7
AMORD: explicit control of reasoning (context) - de Kleer, Doyle et al. - 1977
7
Speech acts and the recognition of shared plans (context) - Cohen, Levesque - 1980
7
Some requirements for a model of the plan inference process .. (context) - Pollack - 1987
7
A temporal logic for reasoning about processes and plans (context) - McDermott - 1982
7
AMORD: explicit control of reasoning (context) - de Kleer, Doyle et al. - 1985
6
A Computer Model of Conversation (context) - Power - 1974
6
The Game of Language (context) - Hintikka - 1983
6
meaning and implicature: Interdisciplinary foundations for p.. (context) - Thomason - 1990
6
A specification tool for planning systems (context) - Reichgelt, Shadbolt - 1990
5
Computer Science Dept (context) - Allen, Schubert et al. - 1991
5
Characterizing indirect speech acts
- Brown - 1980
5
Ten requirements for a theory of change (context) - Shoham - 1985
5
Users as individuals: individualizing user models (context) - Rich - 1979
4
MIT Artificial Intelligence Laboratory (context) - Sussman, model et al. - 1973
4
MIT Artificial Intelligence Laboratory (context) - McAllester, on et al. - 1980
4
From Folk Psychology to Cognitive Science: the Case Against .. (context) - Stich - 1983
3
the ATMS and search reduction (context) - Smith - 1988
3
Oxford University Press (context) - Schiffer - 1972
3
Plan generation in a temporal frame (context) - Tsang - 1986
3
Semantics versus pragmatics (context) - Kamp - 1988
3
Artificial Intelligence Center (context) - Cohen, Levesque et al. - 1987
2
From worlds to situations (context) - Perry - 1988
2
Indirect speech acts and what to do with them (context) - Davison - 1975
2
Justification and assumption-based truth maintenance systems.. (context) - Bodington, Elleby - 1988
2
An Introduction to Comparative Cognition (context) - Roitblat - 1987
2
Two types of convention in indirect speech acts (context) - Morgan - 1978
2
The discourse reasoner in TRAINS (context) - Traum - 1991
2
Temporal coherence in non-linear plan construction (context) - Drummond, Currie - 1987
2
The case against the case against belief (context) - Double - 1980
1
Knowledge-directed inference in BELIEVER (context) - Sridharan, Schmidt - 1978
1
Artficial Intelligence and Natural Man (context) - Boden - 1977
1
Prolog Programing for Artficial Intelligence (context) - Bratko - 1986
1
Planning as theory extension (context) - Reichgelt, Shadbolt - 1989
1
Responding to indirect speech acts (context) - Clark - 1979
1
Pre-sequences and indirect speech acts (context) - Heringer - 1977
1
Some grammatical correlates of felicity conditions and presu.. (context) - Heringer - 1972
1
Decomposition of a visual scene into bodies (context) - Guzman - 1967
1
An indirect approach to types of speech acts (context) - Ellman - 1983
1
A goal-directed production system for story understanding (context) - Schank, Wilensky - 1978
1
A strategic framework for multi-agent dialogue (context) - Galliers
1
The Fractal Geometry of Nature: Updated and Augmented (context) - Mandelbrot - 1983
1
Appleton-Century-Crofts (context) - Skinner, Behaviour - 1957
1
Artificial Intelligence (context) - Colby, Weber et al. - 1971
1
Burns and Oates (context) - Copleston, of et al. - 1966
1
A propositional language for text representation (context) - Fum, Guida et al. - 1984
1
The speaker knows best principle (context) - Forman - 1974
1
Springer-Verlag (context) - Smedslund - 1988
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC