|
| | | | |
| | | |
| Stat |
Members: 3645
Articles: 2'504'928
Articles rated: 2609
26 April 2024 |
|
| | | | |
|
Article overview
| |
|
|
Diagnostic reasoning with A-Prolog | | Marcello Balduccini
; Michael Gelfond
; | | Date: |
18 Dec 2003 | | Journal: | TPLP Vol 3(4&5) (2003) 425-461 | | Subject: | Artificial Intelligence ACM-class: F.4.1; F.2.2 | cs.AI | | Abstract: | In this paper we suggest an architecture for a software agent which operates a physical device and is capable of making observations and of testing and repairing the device’s components. We present simplified definitions of the notions of symptom, candidate diagnosis, and diagnosis which are based on the theory of action language ${cal AL}$. The definitions allow one to give a simple account of the agent’s behavior in which many of the agent’s tasks are reduced to computing stable models of logic programs. | | Source: | arXiv, cs.AI/0312040 | | Services: | Forum | Review | PDF | Favorites | |
|
|
No review found.
Did you like this article?
Note: answers to reviews or questions about the article must be posted in the forum section.
Authors are not allowed to review their own article. They can use the forum section.
browser Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)
|
| |
|
|
|
|
News, job offers and information for researchers and scientists:
| |
REGISTER