Venkat Ajjanagadde

Learn More
This paper deals with three distinctions pertaining to knowledge representation, namely, the rules vs facts distinction, roles vs fillers distinction, and predicates vs types distinction. Though these distinctions may indeed have some intuitive appeal, the exact natures of these distinctions are not entirely clear. This paper discusses some of the problems(More)
Abductive reasoning plays a dominant role in a wide variety of cognitive tasks, including diagnosis, language understanding, and learning. Our work is aimed at developing a computational model of abductive reasoning keeping in view some of the important aspects that cut across specific instances of abductive reasoning. A significant portion of the paper is(More)
Unclear Distinctions lead to Unnecessary Shortcomings: Examining the rule vs fact, role vs ller, and type vs predicate distinctions from a connectionist representation and reasoning perspective Venkat Ajjanagadde Wilhelm-Schickard Institute, Universitaet Tuebingen Sand 13, D-72076 Tuebingen, Germany venkat@occam.informatik.uni-tuebingen.de Abstract This(More)
McCarthy has observed that the representational power of most connectionist systems is restricted to unary predicates applied to a fixed object. More recently, Fodor and Pylyshyn have made a sweeping claim that connectionist systems cannot incorporate systematicity and compositionality. These comments suggest that representing structured knowledge in a(More)
Human agents draw a variety of inferences effortlessly, spontaneously, and with remarkable efficiency as though these inferences are a reflex response of their cognitive apparatus. The work presented in this paper is a step toward a computational account of this remarkable reasoning ability. We describe how a connectionist system made up of simple and slow(More)
This paper describes a knowledge representation and reasoning system that performs a limited but interesting class of inferences over a restricted class of first-order sentences with optimal eticiency. The proposed system can answer yes-no as well as w/z-queries in time that is only proportional to the Zength of the shortest derivation of the query and is(More)
  • 1