The Workshop on Logic-Based Artificial Intelligence

By Minker, Jack | AI Magazine, Winter 1999 | Go to article overview

The Workshop on Logic-Based Artificial Intelligence


Minker, Jack, AI Magazine


The Workshop on Logic-Based Artificial Intelligence (LBAI), sponsored by the National Science Foundation and the American Association for Artificial Intelligence, was held in Washington, D.C., on 13 to 15 June 1999. The workshop was organized by Jack Minker and John McCarthy. The Program Committee members were Krzysztof Apt, John Horty, Sarit Kraus, Vladimir Lifschitz, John McCarthy, Jack Minker, Don Perlis, and Ray Reiter. The purpose of the workshop was to bring together researchers who use logic as a fundamental tool in AI to permit them to review accomplishments, assess future directions, and share their research in LBAI. This article is a summary of the workshop.

The areas selected for discussion at the workshop were abductive and inductive reasoning, applications of theorem proving, commonsense reasoning, computational logic, constraints, logic and high-level robotics, logic and language, logic and planning, logic for agents and actions, logic of causation and action, logic, probability and decision theory, nonmonotonic reasoning, theories of belief, and knowledge representation.

Sessions consisted of one to four lectures. Following the lectures in each session, a discussion was held to assess accomplishments and directions of research related to the topic of the session. In addition, 12 different logic-based systems were discussed briefly, and the systems were demonstrated. A brief synopsis of the lectures and the systems demonstrated follows.

Description of Workshop

In "Abductive and Inductive Reasoning," F. Buccafurri, T. Eiter, G. Gottlob, and N. Leone provided a first step toward integrating model-checking methods with AI. They developed an abstract concept of a system repair problem that is solved by applying logic-based abduction. S. H. Muggleton and F. A. Marginean noted that data-refinement operators in inductive logic programming have been viewed as functions from clauses to sets of clauses. Searches carried out by genetic algorithms allow larger changes by combining pairs of search nodes. They introduce and discuss binary refinement operators within the subsumption lattice that are functions from pairs of clauses to sets of clauses.

In "Applications of Theorem Proving," J. Moore discussed the capabilities of the ACL2 system (the successor of the Boyer-Moore NQTHM prover). ACL2 defines the state of the art in microprocessor verification. It has been used to formally model a Motorola CAP digital signal processor and the Rockwell-Collins JEM1 microprocessor (the world's first silicon JAVA virtual machine). The use of ACL2 uncovered at least four hardware design bugs--bugs that had survived hundreds of millions of test cases--in time to fix them before the processor was shipped. A. Levy addressed data-integration systems that require a flexible mechanism to describe contents of sources. He surveyed the main logic-based languages that have been considered for describing data sources in data-integration systems and the specialized inference techniques developed in this context. P. Nayak and B. Williams dealt with a reactive self-configuring system installed in the National Aeronautics and Space Administration Deep Space 1 spacecraft now in flight. This autonomous system performs failure analysis and correction for a variety of tasks during the years of active service of the spacecraft. D. Gunning spoke about knowledge base projects at the Defense Advanced Research Projects Agency, where general reasoning systems are needed both to handle the general question-answering problem and to reason from first principles in unanticipated situations.

In "Commonsense Reasoning," McCarthy noted that logical AI involves representing knowledge of an agent's world, its goals, and the current situation by sentences in logic. He characterized a large number of concepts that have arisen in research in logical AI. E. Sandewall addressed what the appropriate research methodology is when logic is used in our field. …

The rest of this article is only available to active members of Questia

Sign up now for a free, 1-day trial and receive full access to:

  • Questia's entire collection
  • Automatic bibliography creation
  • More helpful research tools like notes, citations, and highlights
  • Ad-free environment

Already a member? Log in now.

Notes for this article

Add a new note
If you are trying to select text to create highlights or citations, remember that you must now click or tap on the first word, and then click or tap on the last word.
One moment ...
Default project is now your active project.
Project items

Items saved from this article

This article has been saved
Highlights (0)
Some of your highlights are legacy items.

Highlights saved before July 30, 2012 will not be displayed on their respective source pages.

You can easily re-create the highlights by opening the book page or article, selecting the text, and clicking “Highlight.”

Citations (0)
Some of your citations are legacy items.

Any citation created before July 30, 2012 will labeled as a “Cited page.” New citations will be saved as cited passages, pages or articles.

We also added the ability to view new citations from your projects or the book or article where you created them.

Notes (0)
Bookmarks (0)

You have no saved items from this article

Project items include:
  • Saved book/article
  • Highlights
  • Quotes/citations
  • Notes
  • Bookmarks
Notes
Cite this article

Cited article

Style
Citations are available only to our active members.
Sign up now to cite pages or passages in MLA, APA and Chicago citation styles.

(Einhorn, 1992, p. 25)

(Einhorn 25)

1

1. Lois J. Einhorn, Abraham Lincoln, the Orator: Penetrating the Lincoln Legend (Westport, CT: Greenwood Press, 1992), 25, http://www.questia.com/read/27419298.

Cited article

The Workshop on Logic-Based Artificial Intelligence
Settings

Settings

Typeface
Text size Smaller Larger Reset View mode
Search within

Search within this article

Look up

Look up a word

  • Dictionary
  • Thesaurus
Please submit a word or phrase above.
Print this page

Print this page

Why can't I print more than one page at a time?

Full screen

matching results for page

Cited passage

Style
Citations are available only to our active members.
Sign up now to cite pages or passages in MLA, APA and Chicago citation styles.

"Portraying himself as an honest, ordinary person helped Lincoln identify with his audiences." (Einhorn, 1992, p. 25).

"Portraying himself as an honest, ordinary person helped Lincoln identify with his audiences." (Einhorn 25)

"Portraying himself as an honest, ordinary person helped Lincoln identify with his audiences."1

1. Lois J. Einhorn, Abraham Lincoln, the Orator: Penetrating the Lincoln Legend (Westport, CT: Greenwood Press, 1992), 25, http://www.questia.com/read/27419298.

Cited passage

Welcome to the new Questia Reader

The Questia Reader has been updated to provide you with an even better online reading experience.  It is now 100% Responsive, which means you can read our books and articles on any sized device you wish.  All of your favorite tools like notes, highlights, and citations are still here, but the way you select text has been updated to be easier to use, especially on touchscreen devices.  Here's how:

1. Click or tap the first word you want to select.
2. Click or tap the last word you want to select.

OK, got it!

Thanks for trying Questia!

Please continue trying out our research tools, but please note, full functionality is available only to our active members.

Your work will be lost once you leave this Web page.

For full access in an ad-free environment, sign up now for a FREE, 1-day trial.

Already a member? Log in now.