Müjdat Pakkan, Varol Akman  Home/Search
Context Related
| bilkent.edu.tr/pub/...BUCEIS9406.ps.z bilkent.edu.tr/tech...BUCEIS9406.ps.z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: bilkent.edu.tr/t...ABSTRACTS.1994 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : The success of set theory as a foundation for mathematics inspires its use in artificial intelligence, particularly in commonsense reasoning. In this survey, we briefly review classical set theory from an AI perspective, and then consider alternative set theories. Desirable properties of a possible commonsense set theory are investigated, treating different aspects like cumulative hierarchy, self-reference, cardinality, etc. Assorted examples from the ground-breaking research on the subject... (Update)
Similar documents based on text: More All
1.1: Nonstandard Set Theories and Information Management - Akman, Pakkan (1994) (Correct)
0.9: Sets in Context and Related Issues - Akman, Surav (1994) (Correct)
0.8: HYPERSOLVER: A Graphical Tool for Commonsense Set Theory - Pakkan, Akman (1996) (Correct)
BibTeX entry: (Update)
M. Pakkan and V. Akman. Issues in Commonsense Set Theory. In K. Oflazer, V. Akman, and U. Halici, editors, Proceedings of the First Turkish Symposium on Artificial Intelligence and Neural Networks, pages 47--52. Bilkent University, Ankara, 1992. http://citeseer.ist.psu.edu/pakkan92issues.html More
@article{ pakkan94issues,
author = "Mujdat Pakkan and Varol Akman",
title = "Issues in Commonsense Set Theory",
journal = "Artificial Intelligence Review",
volume = "8",
number = "4",
pages = "279-308",
year = "1994",
url = "citeseer.ist.psu.edu/pakkan92issues.html" }
Citations (may not include all citations):663 Some Philosophical Problems from the Standpoint of Artificia.. (context) - McCarthy - 1969
304 A Framework for Representing Knowledge (context) - Minsky - 1981
274 Situations and Attitudes (context) - Barwise, Perry - 1983
200 Introduction to Mathematical Logic (context) - Mendelson - 1987
160 Programs with Common Sense - McCarthy - 1959
159 Non-Well-Founded Sets (context) - Aczel - 1988
101 Programming with Sets: An Introduction to SETL (context) - Schwartz, Dewar et al. - 1986
63 Admissible Sets and Structures (context) - Barwise - 1975
58 Naive Set Theory (context) - Halmos - 1974
44 Languages with Self-Reference I: Foundations (context) - Perlis - 1985
40 Toward Useful Type-Free Theories (context) - Feferman - 1984
37 The Liar: An Essay on Truth and Circularity (context) - Barwise, Etchemendy - 1987
35 Set Theory: An Introduction to Independence Proofs (context) - Kunen - 1980
33 Foundations of Set Theory (context) - Fraenkel, Bar-Hillel et al. - 1973
29 Mathematical Logic in Artificial Intelligence (context) - McCarthy - 1988
[Article contains additional citations not shown here]
Documents on the same site (http://www.cs.bilkent.edu.tr/tech-reports/1994/ABSTRACTS.1994.html): More
BABY-SIT: A Computational Medium Based on Situations - Tin, Akman (1993) (Correct)
Object-Space Parallel Polygon Rendering on.. - Kurç, Aykanat, Özgüç (1994) (Correct)
Sets in Context and Related Issues - Akman, Surav (1994) (Correct)
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