Arizona State University
Author pages are created from data sourced from our academic publisher partnerships and public sources.
Share This Author
Knowledge Representation, Reasoning and Declarative Problem Solving
- Chitta Baral
- Computer Science
Chitta Baral demonstrates how to write programs that behave intelligently by giving them the ability to express knowledge and reason about it and presents a language, AnsProlog, for both knowledge representation and reasoning, and declarative problem solving.
Probabilistic reasoning with answer sets
- Chitta Baral, M. Gelfond, J. Rushton
- Computer ScienceTheory and Practice of Logic Programming
- 2 December 2008
A declarative language, P-log, that combines logical and probabilistic arguments in its reasoning is developed and it is argued that the approach to updates is more appealing than existing approaches.
Logic Programming and Knowledge Representation
This paper considers extensions of the language of definite logic programs by classical (strong) negation, disjunction, and some modal operators and shows how each of the added features extends the representational power of thelanguage.
Knowledge Representation, Reasoning and Declarative Problem Solving: Query answering and answer set computing systems
- Chitta Baral
Formalizing sensing actions A transition function based approach
A high-level action description language that allows specification of sensing actions and their effects in its domain description and allows queries with conditional plans is developed and provably correct translations of domain description in the language to axioms in first-order logic are given.
Towards Addressing the Winograd Schema Challenge - Building and Using a Semantic Parser and a Knowledge Hunting Module
This paper presents an approach that identifies the knowledge needed to answer a challenge question, hunts down that knowledge from text repositories, and then reasons with machines to come up with the answer.
Discovering drug–drug interactions: a text-mining and reasoning approach based on properties of drug metabolism
- L. Tari, Saadat Anwar, Shanshan Liang, James Cai, Chitta Baral
- Computer Science, MedicineBioinform.
- 1 September 2010
A novel approach that integrates text mining and automated reasoning to derive DDIs is proposed that can uncover potential DDIs with scientific evidences explaining the mechanism of the interactions.
MUTANT: A Training Paradigm for Out-of-Distribution Generalization in Visual Question Answering
This work presents MUTANT, a training paradigm that exposes the model to perceptually similar, yet semantically distinct mutations of the input, to improve OOD generalization, such as the VQA-CP challenge.
What to do and how to do it: Translating natural language directives into temporal and dynamic logic representation for goal management and action execution
- Juraj Dzifcak, Matthias Scheutz, Chitta Baral, P. Schermerhorn
- Computer ScienceIEEE International Conference on Robotics and…
- 12 May 2009
An integrated robotic architecture is described that can achieve the above steps by translating natural language instructions incrementally and simultaneously into formal logical goal description and action languages, which can be used both to reason about the achievability of a goal as well as to generate new action scripts to pursue the goal.
Combining Multiple Knowledge Bases
The authors define the concept of maximality and prove that the algorithms presented combine the knowledge bases to generate a maximal theory and discuss the relationships between combining multiple knowledge bases and the view update problem.