UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Functional Completion (2013)
Vladimir Lifschitz
and
Fangkai Yang
Nonmonotonic causal logic is a knowledge representation language designed for describing domains that involve actions and change. The process of literal completion, similar to program completion familiar from the theory of logic programming, can be used to translate some nonmonotonic causal theories into classical logic. Its applicability is restricted, however, to theories that deal with truth-valued fluents, represented by predicate symbols. In this note we introduce functional completion--a more general process that can be applied to causal theories in which fluents are treated as functions.
View:
PDF
Citation:
Journal of Applied Non-Classical Logics
, Vol. 23, 1-2 (2013).
Bibtex:
@article{funccomp13, title={Functional Completion}, author={Vladimir Lifschitz and Fangkai Yang}, volume={23}, journal={Journal of Applied Non-Classical Logics}, number={1-2}, url="http://www.cs.utexas.edu/users/ai-lab?funccomp", year={2013} }
People
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu
Fangkai Yang
Ph.D. Alumni
fkyang [at] cs utexas edu
Areas of Interest
Causal Theories
Common Sense Reasoning
Logic
Nonmonotonic Reasoning
Reasoning about Actions