Combining knowledge with many-valued logics

Data and Knowledge Engineering

Volumn 23, Issue 3, 1997, Pages 297-315

  Messing, Barbara ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

Bilattices; Distributed knowledge acquisition; Semantic conflicts; Signed logics

Indexed keywords

COMPUTATIONAL LINGUISTICS; ENCODING (SYMBOLS); EXPERT SYSTEMS; FORMAL LOGIC; KNOWLEDGE REPRESENTATION;

TRUTH VALUE SPACES;

KNOWLEDGE ACQUISITION;

EID: 0031236812     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(97)00012-8     Document Type: Article

References (39)

1. S. Adali and V.S. Subrahmanian, Amalgamating Knowledge Bases II: Distributed Mediators, to appear in: Int. J. of Cooperative Information Systems.
2. M. Bacharach (ed.), Foundations of Decision Theory (Blackwell, Oxford, 1994).
3. J.F. Baldwin, Evidential Support Logic Programming, Fuzzy Sets and Systems 24 (1987) 1-26.
4. N.D. Belnap, A useful four-valued logic, in J.M. Dunn and G. Epstein (ed.), Modern Uses of Multiple-valued Logics (Reidel, 1977) pp. 8-37.
5. S. Benferhat, D. Dubois and H. Prade, Representing defaults in possibilistic logic, Proceedings KR 92, Cambridge, MA, pp. 673-684.
6. G. Brewka, Nonmonotonic reasoning: Logical foundations of commonsense, Cambridge Tract in Theoretical Computer Science 12, 1991.
7. B.A. Davey and H.A. Priestley, Introduction to lattices and order (Cambridge University Press, 1994).
8. R. Dieng, O. Corby and S. Lapalut, Acquisition and exploitation of gradual knowledge, Int. J. Human-Computer Studies 42 (1995) 465-499.
9. D. Dubois and H. Prade, Fuzzy Sets and Systems: Theory and Application (Academic Press, 1980).
10. M. Fitting, Negation as refutation, in Rohit Parikh (ed.), Proceedings of the Fourth Annual Symposium on Logic in Computer Science (IEEE, 1990) pp. 63-70.
11. M. Fitting, Bilattices and the semantics of logic programming, J. Logic Programming 11 (1991).
12. S. French, Decision Theory: An Introduction to the Mathematics of Rationality (Ellis Horwood, John Wiley & Sons, 1986).
13. M.L. Ginsberg (ed.), Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Angeles, 1987).
14. M. Ginsberg, Multivalued logics, Computational Intelligence 4(3) (1988).
15. M. Ginsberg, Bilattices and modal operators, J. Logic and Computation (1991).
16. R. Hähnle, Automated deduction in multiple-valued logics, International Series of Monographs on Computer Science, Vol. 10 (Oxford Science Publications, 1992).
17. R. Hähnle, Exploiting data dependencies in many-valued logics, Journal of Applied Non-Classical Logics 6(1) (1996) 49-69.
18. Michael Kifer and V.S. Subrahmanian, Theory of generalized annotated logic programming and its applications, Journal of Logic Programming 12 (1992) 335-367.
19. S.M. Leach and J.J. Lu, Computing annotated logic, in Proceedings of the Eleventh International Conference on Logic Programming (MIT Press, MA, 1994) pp. 257-271.
20. J.J. Lu, Logic Programming with Signs and Annotations, J. Logic and Computation 6(6), 1996, pp. 755-778.
21. J.J. Lu, N.M. Murray and E. Rosenthal, Signed formulas and annotated logics, Proceedings of the 23rd International Symposium on Multiple-valued Logics (1993) pp. 48-53.
22. J.J. Lu, N.M. Murray and E. Rosenthal, Signed formulas and fuzzy operator logics, Proceedings of the International Conference on Methodologies for Intelligent Systems ISMIS 94, Charlotte, NC, USA (Springer, LNCS) Vol. 869 (1994) pp. 75-84.
23. J.J. Lu, A. Nerode and V.S. Subrahmanian, Hybrid knowledge bases, IEEE Transactions on Knowledge and Data Engineering, 8(5) (1996) 773-785.
24. B. Messing, REGULA: Knowledge Representation and Processing in Many-valued Logics, Research Report No. 320 (Institut für Angewandte Informatik und Formale Beschreibungsverfahren, University of Karlsruhe) 1995.
25. B. Messing, Darstellung und Integration von Wissen in verbandsbasierten signierten Logikprogrammen, DISKI 132 (infix-Verlag, St. Augustin, 1996) in Germany.
26. B. Mobasher, D. Pigozzi and G. Slutzki, Multi-valued logic programming semantics: An algebraic approach, in Theoretical Computer Science 171(1-2): 77-109 (1997).
27. N.M. Murray and E. Rosenthal, Signed formulas: A liftable meta-logic for multiple-valued logic, Proc. of the International Symposium on Methodologies for Intelligent Systems (Springer, 1993) pp. 275-284.
28. A. Rapoport, Decision Theory and Decision Behaviour: Normative and Descriptive Approaches (Kluwer Academic Publisher, 1989).
29. D.W. Roberts, Analysis of forest succession with fuzzy graph theory, Ecological Modeling 45 (1989) 261-274.
30. J. Rosenschein and G. Zlotkin, Designing Conventions for Automated Negotiation Among Agents (MIT Press, 1994).
31. E. Saliger, Betriebswirtschaftliche Entscheidungstheorie (R. Oldenbourg Verlag, München, Wien, 1993).
32. V.S. Subrahmanian, S. Adali, A. Brink, R. Emery, J.J. Lu, A. Rajput, T. Rogers, R. Ross and C. Ward, HERMES: A Heterogeneous Reasoning and Mediator System, in press.
33. Y. Shoham and M. Tennenholz, On social laws for artificial agent societies: Off-line design, Artificial Intelligence 73 (1995) 231-252 (Elsevier Science).
34. V.S. Subrahmanian, Paraconsistent disjunctive deductive databases, Theoretical Computer Science 93 (1992) 115-141.
35. V.S. Subrahmanian, Amalgamating knowledge bases, ACM Transactions on Database Systems 19(2) (1994) 291-331.
36. I.B. Turksen, Measurement of fuzziness: Interpretation of the axioms of measure, in Proceedings of the Conference on Fuzzy Information and Knowledge Representation for Decision Analysis, IFAC (Oxford, 1984) pp. 97-102.
37. G. Wiederhold, Mediators in the architecture of future information systems, IEEE Computer (March 1992) 38-49.
38. L.A. Zadeh, Fuzzy sets and applications, Selected Papers (Wiley, New York, 1987).
39. C. Zhang, Cooperating under uncertainty in distributed expert systems, Artificial Intelligence 56 (1992) (Elsevier Science).