Temporal agent programs
TL;DR: This paper presents the concept of a “temporal agent program” (tap for short) and shows that using taps, it is possible to build agents on top of legacy code that can reason about the past and about the future, and that can make temporal commitments for the future now.
read more
About: This article is published in Artificial Intelligence. The article was published on 01 Mar 2001. and is currently open access. The article focuses on the topics: Legacy code.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
A Temporal Logic for Reasoning about Processes and Plans.
Drew McDermott
- 01 Jan 2005
TL;DR: A common disclaimer by an AI author is that he has neglected temporal considerations to avoid complication; the implication is nearly made that adding a temporal dimension to the research would be a familiar but tedious exercise that would obscure the new material presented by the author.
798
4 Computational modal logic
TL;DR: This chapter examines computational approaches to modal logics, and the use of translation-based and tableau-based algorithms for deciding the satisfiability of a formula is focused, both with and without reference to a background theory.
Knowledge Representation with Logic Programs
Gerhard Brewka,Jürgen Dix +1 more
- 17 Oct 1997
TL;DR: This overview shows how Knowledge Representation (KR) can be done with the help of generalized logic programs and extends this basic class of programs by additional features like Negation-as-Finite-Failure, Default-Negation, Explicit Negation, Preferences, and Disjunction.
References
•Book
Introduction to Algorithms
Thomas H. Cormen,Charles E. Leiserson,Ronald L. Rivest +2 more
- 01 Jan 1990
TL;DR: The updated new edition of the classic Introduction to Algorithms is intended primarily for use in undergraduate or graduate courses in algorithms or data structures and presents a rich variety of algorithms and covers them in considerable depth while making their design and analysis accessible to all levels of readers.
24.8K
Introduction to algorithms: 4. Turtle graphics
TL;DR: In this article, a language similar to logo is used to draw geometric pictures using this language and programs are developed to draw geometrical pictures using it, which is similar to the one we use in this paper.
15.4K
Lecture Notes in Artificial Intelligence
P. Brezillon,P. Bouquet +1 more
- 01 Jan 1999
TL;DR: The topics in LNAI include automated reasoning, automated programming, algorithms, knowledge representation, agent-based systems, intelligent systems, expert systems, machine learning, natural-language processing, machine vision, robotics, search systems, knowledge discovery, data mining, and related programming languages.
7.5K
Intelligent Agents: Theory and Practice
TL;DR: Agent theory is concerned with the question of what an agent is, and the use of mathematical formalisms for representing and reasoning about the properties of agents as discussed by the authors ; agent architectures can be thought of as software engineering models of agents; and agent languages are software systems for programming and experimenting with agents.
•Book
Foundations of logic programming
John W. Lloyd
- 01 Jan 1984
TL;DR: This is the second edition of an account of the mathematical foundations of logic programming, which collects, in a unified and comprehensive manner, the basic theoretical results of the field, which have previously only been available in widely scattered research papers.
4.5K
Related Papers (5)
Jürgen Dix,Sarit Kraus,V. S. Subrahmanian +2 more
- 15 Jul 2002
Koen V. Hindriks,Wiebe van der Hoek,John-Jules Ch. Meyer +2 more
- 01 Jan 2012