Assumption based Multi-Valued Semantics for Extended Logic Programs
Stamate, Daniel.
2006.
'Assumption based Multi-Valued Semantics for Extended Logic Programs'.
In: 36th IEEE International Symposium on Multiple-Valued Logics (IEEE ISMVL 2006). UNDEFINED 5/1/2006.
[Conference or Workshop Item]
| Item Type | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information |
Originality: Presents a new approach for handling imperfect information, adding to incomplete knowledge by unified inferences from a set of assumptions. Two of the rules are standard, but one is introduced in this paper. Rigour: contains theoretical results based on algebraic structures (bi-lattices) and confidence-doubt. Significance: Possible applications of the results include imperfect knowledge representation and intelligent agents reasoning with imperfect information. Symposium run annually by the Multiple-Valued Logic Technical Committee of the IEEE Computer Society. Papers are reviewed by two reviewers |
| Departments, Centres and Research Units | Computing |
| Date Deposited | 12 Mar 2009 15:41 |
| Last Modified | 20 Jun 2017 13:09 |