We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
DEFAULT REASONING BY ANT COLONY OPTIMIZATION.
- Authors
Lupea, Mihaiela
- Abstract
Drawing conclusions from incomplete information by making default assumptions represents default reasoning. Default logics, a class of nonmonotonic logical systems, formalize this type of reasoning using special inference rules, the defaults. During the inferential process, a default theory is extended with plausible conclusions (beliefs) obtaining default extensions. The very high theoretical complexity of the extension computation problem suggests the use of non-deterministic techniques for an efficient computation. In this paper we propose a uniform theoretical approach of the extension computation problem for all default logics (classical, justified, constrained, rational) applying Ant Colony Optimization metaheuristic.
- Subjects
DEFAULT reasoning; FORMAL language semantics; COMPUTATIONAL complexity; NONMONOTONIC logic; INFORMATION theory; ARTIFICIAL neural networks
- Publication
Studia Universitatis Babes-Bolyai, Informatica, 2009, Issue 2, p71
- ISSN
1224-869X
- Publication type
Article