Home Catalogue search

eng

Refine your search:

Search in the Catalogues and Directories






	Sort by
Simple Search

Hits 1 – 17 of 17

1	Cognitive Tools for Humanoid Robots in Space
	Sofge, Donald; Perzanowski, Dennis; Skubic, Marjorie...
	In: DTIC AND NTIS (2004)
	BASE
	Show details

2	Finding the FOO: A Pilot Study for a Multimodal Interface
	Perzanowski, Dennis; Brock, Derek; Adams, William...
	In: DTIC AND NTIS (2003)
	BASE
	Show details

3	Communicating with Teams of Cooperative Robots
	Perzanowski, D.; Schultz, A. C.; Adams, W....
	In: DTIC AND NTIS (2002)
	BASE
	Show details

4	Extending Grammars to New Domains.
	Robinson,J J
	In: DTIC AND NTIS (1984)
	BASE
	Show details

5	Interaction of Human Cognitive Models and Computer-Based Models in Supervisory Control
	Sheridan, T. B.
	In: DTIC AND NTIS (1984)
	BASE
	Show details

6	Noun Phrase Compression in Navy Messages.
	Bachenko,Joan C; Heitmeyer,Constance L
	In: DTIC AND NTIS (1983)
	BASE
	Show details

7	The Syntactic Theory of Belief and Knowledge.
	Haas,Andrew R
	In: DTIC AND NTIS (1983)
	BASE
	Show details

8	Inquiry Semantics: A Functional Semantics of Natural Language Grammar
	Mann, William C.
	In: DTIC AND NTIS (1983)
	BASE
	Show details

9	A Multiple-Context Equality-Based Reasoning System.
	Barton,George Edward , Jr
	In: DTIC AND NTIS (1983)
	Abstract: Expert systems are too slow. This work attacks that problem by speeding up a useful system component that remembers facts and tracks down simple consequences. The redesigned component can assimilate new facts more quickly because it uses a compact, grammar-based internal representation to deal with whole classes of equivalent expressions at once. It can support faster hypothetical reasoning because it remembers the consequences of several assumption sets at once. The new design is targeted for situations in which many of the sorted facts are equalities. The deductive machinery considered here supplements stored premises with simple new conclusions. The stored premises include permanently asserted facts and temporarily adopted assumptions. The new conclusions are derived by substituting equals for equals and using the properties of the logical connectives and, or, and not. The deductive system provides supporting premises for its derived conclusions. Reasoning that involves quantifiers is beyond the scope of its limited and automatic operation. The expert system of which the reasoning system is a component is expected to be responsible for overall control of reasoning. (Author)
	Keyword: Artificial intelligence; Computer logic; Expert systems; Reasoning; Bionics; Computer programming; Decision making; Deductive systems; Grammars; Human Factors Engineering & Man Machine System; Linguistics; Logic devices; Logic elements; Parenthesis grammars; Problem solving
	URL: http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA132369 http://www.dtic.mil/docs/citations/ADA132369
	BASE
	Hide details

10	Foundations for the Development of a Simple Natural Language Interface for Task Knowledge Elicitation and Representation.
	Rowley,M B
	In: DTIC AND NTIS (1982)
	BASE
	Show details

11	Knowledge Representation and Retrieval for Natural Language Processing
	Frisch,Alan M; Allen,James F
	In: DTIC AND NTIS (1982)
	BASE
	Show details

12	Anaphora for Limited Domain Systems
	Hayes, Philip J
	In: DTIC AND NTIS (1981)
	BASE
	Show details

13	Visual Analog Representations for Natural Language Understanding.
	Waltz,David L; Boggess,Lois
	In: DTIC AND NTIS (1979)
	BASE
	Show details

14	Research in Natural Language Understanding
	Woods, W A; Brachman, R J
	In: DTIC AND NTIS (1978)
	BASE
	Show details

15	A Framework for Processing Dialogue
	Brown, Gretchen P
	In: DTIC AND NTIS (1977)
	BASE
	Show details

16	The Causal Representation and Simulation of Physical Mechanisms.
	Rieger,Chuck; Grinberg,Milt
	In: DTIC AND NTIS (1976)
	BASE
	Show details

17	Feasibility Study for Design of a Biocybernetic Communication System
	Pinneo, Lawrence R; Johnson, Patricia; Herron, Jennine...
	In: DTIC AND NTIS (1975)
	BASE
	Show details

© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern