Computational aspects of the FLBC framework

Authors:
Aspassia Daskalopulu;Marek Sergot
Affiliations:
Department of Computer Science, King's College London, The Strand, London, UK;Department of Computing, Imperial College London, 180 Queen's Gate, London, UK
Venue:
Decision Support Systems - Special issue: Formal modeling and electronic commerce
Year:
2002

Citing 11
Cited 0

Introduction to artificial intelligence

Introduction to artificial intelligence
A logic-based calculus of events

New Generation Computing
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme

SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
C-logic of complex objects

PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A logic for object-oriented logic programming

PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On automated message processing in electronic commerce and work support systems: speech act theory and expressive felicity

ACM Transactions on Information Systems (TOIS)
Reasoning about the objects of attitudes and operators: towards a disquotation theory for representation of propositional content

Proceedings of the 8th international conference on Artificial intelligence and law
Logic for Problem Solving

Logic for Problem Solving
On Electronic Commerce, Subatomic Semantics and Caesar's Stabbing

HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Information Systems Track—Internet and the Digital Economy - Volume 4
Formal aspects of electronic commerce: research issues and challenges

International Journal of Electronic Commerce - Special issue: Systems for computer-mediated digital commerce
Formal language for business communication: sketch of a basic theory

International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce

Quantified Score

Hi-index	0.00

Visualization

Abstract

Recent research has sought to develop formal languages for business communication as more expressive, flexible and powerful alternatives to current electronic data interchange (EDI) standards, with potential benefits both for business-to-business exchanges in e-commerce and for general intra-organizational communication. A prominent approach in this area has become known as the formal language for business communication (FLBC) and is grounded on speech act theory, event semantics, thematic roles, and first-order logic (FOL). In this paper, we discuss some of the specific technical choices for the representation of messages in the original FLBC framework and propose two modifications. The first eliminates a problematic modal logical component from the representations of messages; the second transforms the message representation into Skolemised clausal form. Focusing on two different computational tasks, we illustrate how existing computational methods can be employed directly on the resulting representation for messages. We also propose an alternative formulation for messages using C-logic and discuss possible extensions to the resulting modified FLBC framework, for example, in establishing whether an exchange is meaningful and in compliance with the setting in which the parties have pre-agreed to operate. Finally, we consider some open problems and identify directions for future developments.