Advertisement

FMEC: Overview and Interpretation

  • Steven O. Kimbrough
  • D.J. Wu
Part of the International Handbooks on Information Systems book series (INFOSYS)

Abstract

This paper is an integrative essay on the activities and intellectual concerns of the FMEC community. The paper frames these concerns around three ‘non-standard’ formalisms (logic, graphs, and procedures), three themes or general problems (representation, inference, and learning), and seven more specific topics (electronic data interchange, electronic contracting, speech acts, special logics, system and process modelling, strategy formation, and computational discovery). In addition, the paper introduces each of the chapters in this book and places them within the general FMEC framework. An appendix to the paper records the bibliographic history of the FMEC community.

Keywords

Decision Support System Strategy Formation Electronic Commerce Electronic Data Interchange Business Communication 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Aal92]
    W.M.P. van der Aalst, Timed coloured Petri nets and their application to logistics, Ph.D. thesis, Eindhoven University of Technology, Eindhoven, The Netherlands, 1992.Google Scholar
  2. [AB02]
    Alan S. Abrahams and Jean M. Bacon, A software implementation of Kimbrough’s disquotation theory for representing and enforcing electronic commerce contracts, Group Decision and Negotiation 11 (2002), no. 6, 487–524.CrossRefGoogle Scholar
  3. [Abr02]
    Alan S. Abrahams, Developing and executing electronic commerce applications with occurrences, Ph.D. thesis, University of Cambridge Computer Laboratory, 2002.Google Scholar
  4. [AH94]
    K. A. Andersen and J. N. Hooker, Bayesian logic, Decision Support Systems 11 (1994), no. 2, 191–210.CrossRefGoogle Scholar
  5. [BCK00]
    Hemant K. Bhargava, Vidyanand Choudhary, and Ramayya Krishnan, Pricing and product design: Intermediary strategies in an electronic market, International Journal of Electronic Commerce 5 (2000), no. 1, 37–56.Google Scholar
  6. [BDLT00]
    Roger W.H. Bons, Frank Dignum, Ronald M. Lee, and Yao-Hua Tan, A formal analysis of auditing principles for electronic trade procedures, International Journal of Electronic Commerce 5 (2000), no. 1, 57–82.Google Scholar
  7. [Bha90]
    Hemant Kumar Bhargava, A logic model for model management: An embedded languages approach, Ph.D. thesis, University of Pennsylvania, Philadelphia, PA, 1990, Available as a technical report from the Department of Operations and Information Management.Google Scholar
  8. [BI94]
    Michael Bieber and Thomás Isakowitz, Text editing and beyond: A study in logic modeling, Decision Support Systems 11 (1994), no. 2, 219–240.CrossRefGoogle Scholar
  9. [BKM97]
    Hemant K. Bhargava, Ramayya Krishnan, and Rudolf Müller, Electronic commerce in decision technologies: A business cycle analysis, International Journal of Electronic Commerce 1 (1997), no. 4, 109–128.Google Scholar
  10. [BL88]
    Marvin Belzer and Barry Loewer, A conditional logic for defeasible beliefs, Decision Support Systems 4 (1988), no. 1, 129–142.CrossRefGoogle Scholar
  11. [Bla90]
    Robert W. Blanning, The sensitivity properties of hierarchical logic-based models, Decision Support Systems 6 (1990), no. 2, 89–97.CrossRefGoogle Scholar
  12. [Bla94]
    —, A relational algebra for propositional logic, Decision Support Systems 11 (1994), no. 2, 211–218.CrossRefGoogle Scholar
  13. [Bon97]
    Roger W.H. Bons, Designing trustworthy trade procedures for open electronic commerce, Ph.D. thesis, EURIDIS at Erasmus University, Rotterdam, The Netherlands, September 1997.Google Scholar
  14. [Cau94]
    Robert L. Causey, EVID: A system for interactive defeasible reasoning, Decision Support Systems 11 (1994), no. 2, 103–131.CrossRefGoogle Scholar
  15. [Che92]
    K. T. Chen, Schematic evaluation of internal accounting control systems, Ph.D. thesis, University of Texas at Austin, Austin, Texas, 1992.Google Scholar
  16. [CK97]
    Ivo Cathomen and Stefan Klein, The development of FEDI in Switzerland: A life-cycle approach, International Journal of Electronic Commerce 1 (1997), no. 4, 129–145.Google Scholar
  17. [Cov97]
    Michael A. Covington, On designing a language for electronic commerce, International Journal of Electronic Commerce 1 (1997), no. 4, 31–48.Google Scholar
  18. [Cov98]
    —, Speech acts, electronic commerce, and KQML, Decision Support Systems 22 (1998), no. 3, 203–211.CrossRefGoogle Scholar
  19. [Das99]
    Aspassia Daskalopulu, Logic-based tools for the analysis and representation of legal contracts, Ph.D. thesis, Department of Computing, Imperial College, University of London, 1999.Google Scholar
  20. [DDM02]
    Aspassia Daskalopulu, Theo Dimitrakos, and Tom Maibaum, Evidence-based electronic contract performance monitoring, Group Decision and Negotiation 11 (2002), no. 6, 469–485.CrossRefGoogle Scholar
  21. [Dew92]
    S. D. Dewitz, Contracting on a performative network: Using information technology as a legal intermediary, Ph.D. thesis, University of Texas at Austin, Austin, TX, 1992.Google Scholar
  22. [DK99]
    Frank Dignum and Ruurd Kuiper, Specifying deadlines with continuous time using deontic and temporal logic, International Journal of Electronic Commerce 3 (1998-99), no. 2, 67–86.Google Scholar
  23. [DRL94]
    Sandra K. Dewitz, Young Ryu, and Ronald M. Lee, Defeasible reasoning in law, Decision Support Systems 11 (1994), no. 2 133–155, Typographical error in publication. The first author is Sandra D. Dewitz.CrossRefGoogle Scholar
  24. [DS02]
    Aspassia Daskalopulu and Marek Sergot, Computational aspects of the FLBC framework, Decision Support Systems 33 (2002), no. 3, 267–290.CrossRefGoogle Scholar
  25. [Fan03]
    Christina Fang, Strategy as valuation, Ph.D. thesis, University of Pennsylvania, Philadelphia, PA, 2003.Google Scholar
  26. [FKP+02]
    [FKP+02]_Christina Fang, Steven O. Kimbrough, Stefano Pace, Annapurna Valluri, and Zhiqiang Zheng, On adaptive emergence of trust behavior in the game of stag hunt, Group Decision and Negotiation 11 (November 2002), no. 6, 449–467.CrossRefGoogle Scholar
  27. [GKS97]
    Georg Geyer, Christoph Kuhn, and Beat Schmid, Designing a market for quantitative knowledge, International Journal of Electronic Commerce 1 (1997), no. 4, 89–108.Google Scholar
  28. [GVN94]
    P. Geerts, D. Vermeir, and D. Nute, Ordered logic: Defeasible reasoning for multiple agents, Decision Support Systems 11 (1994), no. 2, 157–190.CrossRefGoogle Scholar
  29. [Her96]
    Henning Herrestad, Formal theories of rights, Ph.D. thesis, University of Oslo, Oslo, Norway, 1996, Available as ISBN 82-7833-015-0, Karnovs Forlag, publisher.Google Scholar
  30. [HK98]
    Gary H. Hua and Steven O. Kimbrough, On hypermedia-based argumentation decision support systems, Decision Support Systems 22 (1998), no. 3, 259–275.CrossRefGoogle Scholar
  31. [Hoo88]
    J. N. Hooker, A quantitative approach to logical inference, Decision Support Systems 4 (1988), no. 1, 45–69.CrossRefGoogle Scholar
  32. [Hua95]
    Hua Hua, Theory and applications of argumentation support systems, Ph.D. thesis, University of Pennsylvania, Philadelphia, PA, 1995, Available as a technical report from the Department of Operations and Information Management.Google Scholar
  33. [Jer88]
    Robert G. Jeroslow, Spatial imbedding for linear and for logic structures, Decision Support Systems 4 (1988), no. 1, 71–86.CrossRefGoogle Scholar
  34. [Jon02]
    Andrew J.I. Jones, On the concept of trust, Decision Support Systems 33 (2002), no. 3, 225–232.CrossRefGoogle Scholar
  35. [KA88]
    Steven O. Kimbrough and Fred Adams, Why nonmonotonic logic?, Decision Support Systems 4 (1988), 111–127.CrossRefGoogle Scholar
  36. [Kim99]
    Steven O. Kimbrough, Formal language for business communication: Sketch of a basic theory, International Journal of Electronic Commerce 3 (Winter 1998-99), no. 2, 23–44.Google Scholar
  37. [Kim80]
    —, The concepts of fitness and selection in evolutionary biology, Journal of Social and Biological Structures 3 (1980), 149–170.CrossRefGoogle Scholar
  38. [Kim90]
    —, On representation schemes for promising electronically, Decision Support Systems 6 (1990), no. 2, 99–121.CrossRefGoogle Scholar
  39. [Kim03]
    —, Computational modeling and explanation: Opportunities for the information and management sciences, Computational Modeling and Problem Solving in the Networked World: Interfaces in Computing and Optimization (Hemant K. Bhargava and Nong Ye, eds.), Operations Research/Computer Science Interfaces Series, Kluwer, Boston, MA, 2003, pp. 31–57.Google Scholar
  40. [KL88]
    Steven O. Kimbrough and Ronald M. Lee, Logic modeling: A tool for management science, Decision Support Systems 4 (1988), no. 1, 3–16.CrossRefGoogle Scholar
  41. [KL97]
    —, Formal aspects of electronic commerce: Research issues and challenges, International Journal of Electronic Commerce 1 (1997), no. 4, 11–30.Google Scholar
  42. [KM93]
    Steven O. Kimbrough and Scott A. Moore, On obligation, time, and defeasibility in systems for electronic commerce, Proceedings of the Twenty-Sixth Annual Hawaii International Conference on System Sciences, Volume III, Information Systems: DSS/Knowledge-Based Systems (Los Alamitos, California) (Jay F. Nunamaker, Jr. and Ralph H. Sprague, Jr., eds.), IEEE Computer Society Press, 1993, pp. 493–502.Google Scholar
  43. [KPL03]
    Gary Kleinman, Dan Palmon, and Picheng Lee, The effects of personal and group level factors on the outcomes of simulated auditor and client teams, Group Decision and Negotiation 11 (2003), no. 1, 57–84.CrossRefGoogle Scholar
  44. [Kri90]
    Ramayya Krishnan, A logic modeling language for automated model construction, Decision Support Systems 6 (1990), no. 2, 123–152.CrossRefGoogle Scholar
  45. [Kro97]
    Cristen Krogh, Normative structures in natural and artificial systems, Ph.D. thesis, University of Oslo, Oslo, Norway, 1997, Available at http://www.uio.no/∼krogh/documents/papers/complex97.ps.Google Scholar
  46. [KT00]
    Steven O. Kimbrough and Yao-Hua Tan, On lean messaging with unfolding and unwrapping for electronic commerce, International Journal of Electronic Commerce 5 (2000), no. 1, 83–108.Google Scholar
  47. [KWZ02]
    Steven O. Kimbrough, D. J. Wu, and Fang Zhong, Computers play the beer game: Can artificial agents manage supply chains?, Decision Support Systems 33 (2002), no. 3, 323–333.CrossRefGoogle Scholar
  48. [Lee80]
    Ronald M. Lee, CANDID: a logical calculus for describing financial contracts, Ph.D. thesis, The Wharton School, University of Pennsylvania, Philadelphia, PA, 1980, Available as WP-80-06-02, Department of Operations and Information Management (née Decision Sciences).Google Scholar
  49. [Lee88]
    —, A logic model for electronic contracting, Decision Support Systems 4 (1988), no. 1, 27–44.Google Scholar
  50. [Lee99]
    —, Distributed electronic trade scenarios: Representation, design, prototyping, International Journal of Electronic Commerce 3 (1999), no. 2, 105–136.Google Scholar
  51. [Lee02]
    —, Automated generation of electronic procedures: Procedure constraint grammars, Decision Support Systems 33 (2002), no. 3, 291–308.Google Scholar
  52. [Lom99]
    Alessio R. Lomuscio, Information sharing among ideal agents, Ph.D. thesis, School of Computer Science, University of Birmingham, Birmingham, UK, February 1999.Google Scholar
  53. [LS99]
    Markus A. Lindemann and Beat F. Schmid, Framework for specifying, building, and operating electronic markets, International Journal of Electronic Commerce 3 (1998-99), no. 2, 7–22.Google Scholar
  54. [LWJ03]
    Alessio R. Lomuscio, Michael Wooldridge, and Nicholas R. Jennings, A classification scheme for negotiation in electronic commerce, Group Decision and Negotiation 11 (2003), no. 1, 31–56.CrossRefGoogle Scholar
  55. [Moo93]
    Scott A. Moore, Saying and doing: Uses of formal languages in the conduct of business, Ph.D. thesis, University of Pennsylvania, The Wharton School, Philadelphia, PA, 19104, USA, December 1993.Google Scholar
  56. [Moo98]
    —, Categorizing automated messages, Decision Support Systems 22 (1998), no. 3, 213–241.Google Scholar
  57. [Moo00]
    —, KQML and FLBC: Contrasting agent communication languages, International Journal of Electronic Commerce 5 (2000), no. 1, 109–124.Google Scholar
  58. [NE98]
    Donald Nute and Katrin Erk, Defeasible logic graphs: I. theory, Decision Support Systems 22 (1998), no. 3, 277–293.CrossRefGoogle Scholar
  59. [NHH98]
    Donald Nute, Zachary Hunter, and Christopher Henderson, Defeasible logic graphs: II. implementation, Decision Support Systems 22 (1998), no. 3, 295–306.CrossRefGoogle Scholar
  60. [NMB90]
    Donald Nute, Robert I. Mann, and Betty F. Brewer, Controlling expert system recommendations with defeasible logic, Decision Support Systems 6 (1990), no. 2, 153–164.CrossRefGoogle Scholar
  61. [Nut88]
    Donald Nute, Defeasible reasoning and decision support systems, Decision Support Systems 4 (1988), no. 1, 97–110.CrossRefADSGoogle Scholar
  62. [Oli96]
    Jim R. Oliver, On artificial agents for negotiation in electronic commerce, Ph.D. thesis, University of Pennsylvania, The Wharton School, Department of Operations and Information Management, Philadelphia, PA, April 1996.Google Scholar
  63. [Oli97]
    —, Artificial agents learn policies for multi-issue negotiation, International Journal of Electronic Commerce 1 (1997), no. 4, 49–88.Google Scholar
  64. [Ong92]
    Kay Liang Ong, A formal model for maintaining consistency of evolving bureaucratic policies: A logical and abductive approach, Ph.D. thesis, University of Texas at Austin, Austin, TX, 1992.Google Scholar
  65. [PT02]
    Balaji Padmanabhan and Alexander Tuzhilin, Knowledge refinement based on the discovery of unexpected patterns in data mining, Decision Support Systems 33 (2002), no. 3, 309–321.CrossRefGoogle Scholar
  66. [Roe92]
    Stephen F. Roehrig, Probabilistic and defeasible reasoning using extended path analysis, Ph.D. thesis, University of Pennsylvania, Philadelphia, PA, 1992, Available as a technical report from the Department of Operations and Information Management.Google Scholar
  67. [Ryu92]
    Young U. Ryu, A formal representation of normative systems: A defeasible deontic reasoning approach, Ph.D. thesis, University of Texas at Austin, Austin, TX, 1992.Google Scholar
  68. [Ryu98]
    —, A logic-based modeling of resource consumption and production, Decision Support Systems 22 (1998), no. 3, 243–257.Google Scholar
  69. [Sco88]
    Peter C. Scott, Requirements analysis assisted by logic modeling, Decision Support Systems 4 (1988), no. 1, 17–25.CrossRefMATHGoogle Scholar
  70. [SF90]
    Shimon Schocken and Tim Finin, Meta-interpreters for rule-based inference under uncertainty, Decision Support Systems 6 (1990), no. 2, 165–181.CrossRefGoogle Scholar
  71. [TT99]
    Yao-Hua Tan and Walter Thoen, A logical model of directed obligations and permissions to support electronic contracting, International Journal of Electronic Commerce 3 (1998-99), no. 2, 87–104.Google Scholar
  72. [TT02]
    —, Formal aspects of a generic model of trust for electronic commerce, Decision Support Systems 33 (2002), no. 3, 233–246.CrossRefGoogle Scholar
  73. [vR96]
    Victor Emil van Reijswoud, The structure of business communication: Theory, model and application, Ph.D. thesis, Technische Universiteit Delft, Delft, The Netherlands, June 1996, ISBN: 90-9009439-3. Address: Victor E. van Reijswoud, Juffrouw Idastraat 1, 2513 BE Den Haag, The Netherlands.Google Scholar
  74. [Wid88]
    George R. Widmeyer, Logic modeling with partially ordered preferences, Decision Support Systems 4 (1988), no. 1, 87–95.CrossRefGoogle Scholar
  75. [Wid90]
    —, Reasoning with preferences and values, Decision Support Systems 6 (1990), no. 2, 183–191.CrossRefGoogle Scholar
  76. [Win97]
    Hung Wing, Managing complex, open, web-deployable trade objects, Ph.D. thesis, University of Queensland, Department of Computer Science and Electrical Engineering, The University of Queensland, Brisbane Qld 4072, Australia, December 1997.Google Scholar
  77. [WS02]
    D. J. Wu and Yanjun Sun, Cooperation in multi-agent bidding, Decision Support Systems 33 (2002), no. 3, 335–347.CrossRefMathSciNetGoogle Scholar
  78. [WSdMD03]
    Hans Weigand, Mareike Schoop, Aldo de Moor, and Frank Dignum, B2b negotiation support: The need for a communication perspective, Group Decision and Negotiation 11 (2003), no. 1, 3–29.CrossRefGoogle Scholar
  79. [Wu97]
    D. J. Wu, Using genetic algorithms to determine near-optimal pricing, investment and operating strategies in the electric power industry, Ph.D. thesis, University of Pennsylvania, Philadelphia, PA, USA, 1997.Google Scholar
  80. [Wu00]
    —, Artificial agents for discovering business strategies for network industries, International Journal of Electronic Commerce 5 (2000), no. 1, 9–36.Google Scholar
  81. [Wv99]
    Hans Weigand and Willem-Jan van den Heuvel, Meta-patterns for electronic commerce transactions based on the formal langauge for business communication (FLBC), International Journal of Electronic Commerce 3 (1998-99), no. 2, 45–66.Google Scholar
  82. [Wv02]
    —, Cross-organizational workflow integration using contracts, Decision Support Systems 33 (2002), no. 3, 247–265.CrossRefGoogle Scholar
  83. [ZKW02]
    Fang Zhong, Steven O. Kimbrough, and D. J. Wu, Cooperative agent systems: Artificial agents play the ultimatum game, Journal of Group Decision and Negotiation 11 (November 2002), no. 6, 433–447.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Steven O. Kimbrough
    • 1
  • D.J. Wu
    • 2
  1. 1.University of PennsylvaniaPhiladelphiaUSA
  2. 2.Georgia Institute of TechnologyAtlantaUSA

Personalised recommendations