Principles of Knowledge Representation and Reasoning 1994
DOI: 10.1016/b978-1-4832-1452-8.50100-7
|View full text |Cite
|
Sign up to set email alerts
|

An Integrated Implementation of Simulative, Uncertain and Metaphorical Reasoning about Mental States

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
13
0

Year Published

1998
1998
2013
2013

Publication Types

Select...
3
3

Relationship

2
4

Authors

Journals

citations
Cited by 12 publications
(13 citation statements)
references
References 6 publications
0
13
0
Order By: Relevance
“…The key point is that this reasoning from the literal meaning of the utterance, conducted within the pretence context, link up with the knowledge displayed as (2). That knowledge is itself of a very fundamental, general nature, and does not, for instance, rely on the notion of store-room.…”
Section: The Mentioned Ideas Were Involved In John's Mind In Such a Wmentioning
confidence: 98%
See 3 more Smart Citations
“…The key point is that this reasoning from the literal meaning of the utterance, conducted within the pretence context, link up with the knowledge displayed as (2). That knowledge is itself of a very fundamental, general nature, and does not, for instance, rely on the notion of store-room.…”
Section: The Mentioned Ideas Were Involved In John's Mind In Such a Wmentioning
confidence: 98%
“…Reasoning (sub)goals, provided facts and derived propositions are all called hypotheses for convenience. Hypotheses are actually (Barnden et al 1994) terms in a first-order, episode-based logic akin to that of, say, Hobbs (1990), but for simplicity of presentation they will be portrayed here as formulas in a first-order modal logic.…”
Section: Att-meta's Basic Reasoningmentioning
confidence: 99%
See 2 more Smart Citations
“…The project has led to the development of a computer program called ATT-Meta. ATT-Meta performs types of reasoning that we claim are needed for metaphor understanding (Barnden, 1998(Barnden, , 2001aBarnden et al, 1994Barnden et al, , 1996Barnden et al, , 2002bBarnden & Lee, 1999; Lee & Barnden, 2001a). The present article, however, reports theoretical considerations that, while generated by the development of ATT-Meta, are important independently of that program and are of potential interest to metaphor researchers in non-computational disciplines.…”
Section: Introductionmentioning
confidence: 99%