Structured clusters: A framework to reason with contradictory interests

Journal of Logic and Computation

Volumn 13, Issue 1, 2003, Pages 69-97

  Rodrigues, Odinaldo ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

Base revision; Nonmonotonic reasoning; Priority

Indexed keywords

COMPUTATIONAL COMPLEXITY; DATA STRUCTURES; INFORMATION THEORY; INTELLIGENT AGENTS; KNOWLEDGE BASED SYSTEMS;

NONMONOTONIC REASONING; STRUCTURED CLUSTERS;

LOGIC PROGRAMMING;

EID: 0037326982     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/13.1.69     Document Type: Article

References (11)

1. P.B. Andrews. Refutations by matings. IEEE Transactions on Computers, 25, 801-807, 1976.
2. W. Bibel. On matrices with connections. Journal of the Association for Computing Machinery, 28, 633-645, 1981.
3. W. Bibel. Automated Theorem Proving, 2nd revised edition. Vieweg Verlag, Braunschweig, 1987.
4. K. H. Bläsius and H.-J. Bürckert. Deduction Systems in Artificial Intelligence. Ellis Horwood Limited, 1989.
5. G. Brewka. Nonmonotonic Reasoning - Logical Foundations of Commonsense, volume 12 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1990.
6. M. Dalal. Investigations into a theory of knowledge base revision: Preliminary report. In Proceedings of the Seventh National Conference on Artificial Intelligence, P. Rosenbloom and P. Szolovits, eds., pp. 475-479. AAAI Press, Menlo Park, CA, 1988.
7. M. Davis. Eliminating the irrelevant from mechanical proofs. In Proceedings of the Symposium on Applied Mathematics XV, pp. 15-30, Providence, New York, 1963. American Mathematical Society.
8. D. Gabbay and O. Rodrigues. Structured belief bases: a practical approach to prioritised base revision. In Proceedings of First Internation Joint Conference on Qualitative and Quantitative Practical Reasoning, D. M. Gabbay, R. Kruse, A. Nonnengart, and H. J. Ohlbach, eds., pp. 267-281.Spinger-Verlag, 1997.
9. B. Nebel. Syntax based approaches to belief revision. Belief Revision, pp. 52-88, 1992.
10. D. Prawitz. An improved proof procedure. Theoria, 26, 102-139, 1960.
11. O. Rodrigues. A Methodology for Iterated Information Change. PhD thesis, Department of Computing, Imperial College, January 1998.