DE eng

Search in the Catalogues and Directories

Hits 1 – 16 of 16

1
Nonmonotonic reasoning : an overview
Brewka, Gerhard; Dix, Jürgen; Konolige, Kurt. - Stanford, Calif. : CSLI Publ., 1997
BLLDB
UB Frankfurt Linguistik
Show details
2
Abductive theories in artificial intelligence
In: Principles of knowledge representation (Stanford, CA, 1996), p. 129-152
MPI für Psycholinguistik
Show details
3
Philosophy and cognitive science : categories, consciousness, and reasoning ; proceedings of the Second International Colloquium on Cognitive Science
García Suárez, Alfonso (Mitarb.); Lehrer, Keith (Mitarb.); Larrazabal, Jesus M. (Hrsg.). - Dordrecht [u.a.] : Kluwer, 1996
BLLDB
UB Frankfurt Linguistik
Show details
4
A computational theory of belief introspection
In: Reflexivity (Amsterdam [etc.], 1992), p. 343-362
MPI für Psycholinguistik
Show details
5
Quantification in Autoepistemic Logic
In: DTIC (1991)
BASE
Show details
6
Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning: Preliminary Report
In: DTIC (1991)
BASE
Show details
7
A Practical Nonmonotonic Theory for Reasoning About Speech Acts
In: DTIC (1988)
Abstract: A prerequisite to a theory of the way agents understand speech acts is a theory of how their beliefs and intentions are revised as a consequence of events. This process of attitude revision is an interesting domain for the application of non-monotonic reasoning because speech acts have a conventional aspect that is readily represented by defaults, but that interacts with an agent's beliefs and intentions in many complex ways that may override the defaults. Perrault has developed a theory of speech acts, based on Rieter's default logic, that captures the conventional aspect; it does not, however, adequately account for certain easily observed facts about attitude revision resulting from speech acts. A natural theory of attitude revision seems to require a method of stating preferences among competing defaults. We present here a speech act theory, formalized in hierarchic autoepistemic logic (a refinement of Moore's autoepistemic logic), in which revision of both the speaker's and hearer's attitudes can be adequately described. As a collateral benefit, efficient automatic reasoning methods for the formalism exist The theory has been implemented and is now being employed by an utterance-planning system. ; Sponsored in part by the Defense Advanced Research Projects Agency. Published in the Proceedings of the Annual Meeting of the Association for Computational Linguistics (26th).
Keyword: *REASONING; *SPEECH; *THEORY; ATTITUDE REVISION; ATTITUDES(PSYCHOLOGY); AUTOEPISTEMIC LOGIC; BELIEFS; Cybernetics; HAEL(HIERARCHIC AUTOEPISTEMIC LOGIC); INTENTIONS; Linguistics; LOGIC; NATURAL LANGUAGE PROCESSING; NONMONOTONIC REASONING; Psychology; SPEECH ACTS; UNDERSTANDING; UTTERANCE PLANNING
URL: http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA458634
http://www.dtic.mil/docs/citations/ADA458634
BASE
Hide details
8
Readings in nonmonotonic reasoning
Minker, Jack (Mitarb.); Ginsberg, Matthew L. (Hrsg.); Israel, David I. (Mitarb.). - Los Altos, Cal. : Morgan Kaufmann, 1987
BLLDB
UB Frankfurt Linguistik
Show details
9
On the relation between default and autoepistemic logic
Konolige, Kurt. - Stanford, Calif. : Center for the Study of Language and Information, 1987
BLLDB
UB Frankfurt Linguistik
Show details
10
A deduction model of belief
Konolige, Kurt. - London : Pitman [u.a.], 1986
BLLDB
UB Frankfurt Linguistik
Show details
11
Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, march 19 - 22, 1986, Monterey, Calif.
Immermann, N. (Mitarb.); Shapiro, S. (Mitarb.); Martins, J. (Mitarb.). - Los Altos, Calif. : Kaufmann, 1986
BLLDB
UB Frankfurt Linguistik
Show details
12
Formal theories of the commonsense world
Carbonell, Jaime G. (Mitarb.); Schmidt, Charles F. (Mitarb.); Minton, Steven (Mitarb.). - Norwood, N.J. : Ablex Publ., 1985
BLLDB
UB Frankfurt Linguistik
Show details
13
Belief and Incompleteness
In: DTIC (1984)
BASE
Show details
14
Knowledge representation
Brachman, Ronald J. (Mitarb.); Levesque, Hector J. (Mitarb.); Rich, Charles (Mitarb.)...
In: AAAI-82 (American Association for Artificial Intelligence - 1982). - Los Altos, Cal. : William Kaufmann, Inc. (1982), 189-224
BLLDB
Show details
15
The Database as Model: A Metatheoretic Approach
In: DTIC (1981)
BASE
Show details
16
Mechanical Intelligence: Research and Applications
In: DTIC AND NTIS (1979)
BASE
Show details

Catalogues
7
0
0
0
0
0
0
Bibliographies
8
0
0
0
0
0
0
0
2
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
6
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern