Toward question answering in travel domains

Authors:
Yana Todorova;Michael Gelfond
Affiliations:
Computer Science Department, Texas Tech University, Lubbock, TX;Computer Science Department, Texas Tech University, Lubbock, TX
Venue:
Correct Reasoning
Year:
2012

Citing 8
Cited 0

Extending the Smodels system with cardinality and weight constraints

Logic-based artificial intelligence
Getting to the airport: the oldest planning problem in AI

Logic-based artificial intelligence
Knowledge Representation, Reasoning, and Declarative Problem Solving

Knowledge Representation, Reasoning, and Declarative Problem Solving
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP

LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
The DLV System

JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Representing the zoo world and the traffic world in the language of the causal calculator

Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
A modular action description language

AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Conflict-driven answer set enumeration

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper gives Answer Set Prolog axiomatizations of knowledge needed to answer questions about the content of simple travel stories. We assume that the background knowledge needed to understand these stories contains a hierarchy of classes relevant to them and concentrate on answering questions about locations of movers and cardinalities of different groups of movers. The axiomatizations allow to properly answer such questions for stories with various forms of incompleteness.