Searching for authors named "Hans Chalupsky" – sorted by Relevance.
20 documents found, showing 1 through 10.
Next 10 →
-
Using Hypothetical Reasoning as a Method for Belief Ascription
- …A key cognitive faculty that enables humans to communicate with each other is their ability to incrementally construct and use models describing the mental states of others. Every such model describing some other cognitive agent will realistically contain only a finite number of sentences in some la…
- Cited by 11 (3 self) – Add To MetaCart
-
SIMBA: Belief Ascription by Way of Simulative Reasoning
- …A key cognitive faculty that enables humans to communicate with each other is their ability to incrementally construct and use models describing the mental states of others, in particular, models of their beliefs. Not only do humans have beliefs about the beliefs of others, they can also reason with…
- Cited by 5 (0 self) – Add To MetaCart
-
Using KOJAK Link Discovery Tools to Solve the Cell Phone Calls Mini Challenge
- …We present a brief summary of the process and tools employed to generate a submission to the VAST-08 Cell Phone Calls Mini Challenge. The primary system used was KOJAK, which is an integrated suite of link discovery tools that support group detection [1], anomaly detection [4], pattern matching and …
- Add To MetaCart
-
OntoMorph: A Translation System for Symbolic Knowledge
- …A common problem during the life cycle of knowledge-based systems is that symbolically represented knowledge needs to be translated into some different form. Translation needs occur along a variety of dimensions, such as KR language syntax and expressivity, modeling conventions, representation parad…
- Cited by 88 (1 self) – Add To MetaCart
-
Using unsupervised link discovery methods to find interesting facts and connections in a bibliography dataset
- …This paper describes a submission to the Open Task of the 2003 KDD Cup. For this task contestants were asked to devise their own questions about the HEP-Th bibliography dataset, and the most interesting result would be selected as the winner. Instead of taking a more traditional approach such as sta…
- Cited by 6 (2 self) – Add To MetaCart
-
WhyNot: Debugging Failed Queries in Large Knowledge Bases
- …When a query to a knowledge-based system fails and returns "unknown", users are confronted with a problem: Is relevant knowledge missing or incorrect? Is there a problem with the inference engine? Was the query ill-conceived? Finding the culprit in a large and complex knowledge base can be a har…
- Add To MetaCart
-
Reasoning about Incomplete Agents
- …We show how the subjective and nonmonotonic belief logic SL formalizes an agent's reasoning about the beliefs of incomplete agents. SL provides the logical foundation of SIMBA, an implemented belief reasoning system which constitutes part of an artificial cognitive agent called Cassie. The emphasis…
- Cited by 8 (2 self) – Add To MetaCart
-
SL: A Subjective, Intensional Logic of Belief
- …Logics of belief are usually either quite complex, unintuitive, make overly idealistic assumptions, or all of the above, because they have to cope with the unusual characteristics of the belief operator (relation, predicate). Some of these problematic characteristics are referential opacity, the pos…
- Cited by 7 (6 self) – Add To MetaCart
-
The KOJAK group finder: Connecting the dots via integrated knowledge-based and statistical reasoning
- …Link discovery is a new challenge in data mining whose primary concerns are to identify strong links and discover hidden relationships among entities and organizations based on low-level, incomplete and noisy evidence data. To address this challenge, we are developing a hybrid link discovery system …
- Cited by 10 (4 self) – Add To MetaCart
-
STELLA - A Lisp-like Language for Symbolic Programming with Delivery in Common Lisp, C++, and Java
- …We describe STELLA, 1 a strongly typed, object-oriented, Lisp-like language, designed to facilitate symbolic programming tasks in artificial intelligence applications. STELLA preserves those features of Common Lisp deemed essential for symbolic programming such as built-in support for dynamic…
- Cited by 5 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
