Cited By
View all- Dinsmore J(2018)Logic-based processing of semantically complex natural language discourseNew Generation Computing10.1007/BF030371509:1(39-68)Online publication date: 20-Dec-2018
Spaceprobe: A system for representing complex knowledge
Author: 
J DinsmoreAuthors Info & Claims
Pages 399 - 407
Abstract
Spaceprobe is an experimental system for representing and reasoning about such things as beliefs, wants, fictions, hypotheses (both possibilities and counterfactuals), situations, generalizations, and time in a uniform and principled way. It is based on the theory of Knowledge Partitioning and Simulative Reasoning [2, 4, 5].
References
[1]
Bobrow, Daniel and Donald Norman, /975. "Some principles of memory schemata. In D. Bobrow and A. Collins, Representations and understanding. New York: Academic Press.
[2]
Dinsmore, John, 1981, The inheritance of presupposition. Amsterdam: Benjam~ns.
[3]
Dinsmore, John. 1982. "The semantic nature of Reichenbach's tense system". Glossa 16:2, 216-239.
[4]
Dinsmore, John. to appear. "Mental spaces from a functional perspective".
[5]
Dinsmore, John. to appear. "Foundations of knowledge partitioning and simulative reasoning".
[6]
Dinsmore, John. 1986. Spaceprobe Users' Manual. MS, SIU-C.
[7]
Fahlman, Scott. 1979. NETL: a system for representing and using real-world knowledMe. Cambridge, MA: MiT Press.
[8]
Fauconnier, Gilles. 1985. Mental sPa_ces: aspects of meaning construction in natural language. Cambridge, MA: Badford/MIT Press.
[9]
Hendrix, Gary. 1979. Encoding kn0wledge in partitioned semantic networks. In N. Findler (ed.), Associative networks. New York: Academic Press, pp. 51-92.
[10]
Lewis, David. 1973. Counterfactuals. Cambridge, MA: Harvard University Press.
[11]
McDermott, Drew and G.J. Sussman. 1972. The Conniver reference manual. Technical report memo 259, MIT.
Index Terms
- Spaceprobe: A system for representing complex knowledge
Recommendations
Representing states in iterated belief revision
AbstractIterated belief revision requires information about the current beliefs. This information is represented by mathematical structures called doxastic states. Most literature concentrates on how to revise a doxastic state and neglects that it may ...
Representing belief function knowledge with graphical models
KSEM'11: Proceedings of the 5th international conference on Knowledge Science, Engineering and ManagementBelief function theory is an appropriate framework to model different forms of knowledge including probabilistic knowledge. One simple and efficient way to reason under uncertainty, is the use of compact graphical models, namely directed acyclic graphs. ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Copyright © 1986 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 December 1986
Check for updates
Qualifiers
- Article
Conference
ISMIS86
Sponsor:
ISMIS86: ACM SIGART International Symposium on Methodologies for Intelligent Systems
October 22 - 24, 1986
Tennessee, Knoxville, USA
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 178Total Downloads
- Downloads (Last 12 months)20
- Downloads (Last 6 weeks)4
Reflects downloads up to 17 Feb 2025
Other Metrics
Citations
Cited By
View all- Dinsmore J(2018)Logic-based processing of semantically complex natural language discourseNew Generation Computing10.1007/BF030371509:1(39-68)Online publication date: 20-Dec-2018
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in